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

如图，主要是（6）～（9），不知道怎么按照这个owl语句用protege表示