大学语义出版关于owl本体语言和protege运用

如图,主要是(6)~(9),不知道怎么按照这个owl语句用protege表示

img

img

img