| (=> (and (holdsDuring ?T1 (publishes ?AGENT ?COMPCLASS)) (subclass ?COMPCLASS Book)) (holdsDuring ?T1 (attribute ?AGENT BookPublishers))) |
Media.kif 1900-1904 | |
| (subclass Book Document) | Mid-level-ontology.kif 26407-26407 | 书 是 Document 的 subclass |
| (subclass Book HardcopyDocument) | Media.kif 1073-1073 | 书 是 HardcopyDocument 的 subclass |
| (subclass ChristianBible Book) | Mid-level-ontology.kif 7864-7864 | 基督教圣经 是 书 的 subclass |
| (subclass OldTestament Book) | Mid-level-ontology.kif 7875-7875 | 旧约 是 书 的 subclass |
| (subclass NewTestament Book) | Mid-level-ontology.kif 7879-7879 | 新约 是 书 的 subclass |
| (subclass ReferenceBook Book) | Mid-level-ontology.kif 14913-14913 | 参考书 是 书 的 subclass |
| (subclass Novel Book) | Mid-level-ontology.kif 14946-14946 | 小说 是 书 的 subclass |
| (subclass GuideBook Book) | Mid-level-ontology.kif 26410-26410 | GuideBook 是 书 的 subclass |
|
|