| (=> (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 26395-26395 | Book ist eine teilkategorie von Document |
| (subclass Book HardcopyDocument) | Media.kif 1073-1073 | Book ist eine teilkategorie von HardcopyDocument |
| (subclass ChristianBible Book) | Mid-level-ontology.kif 7863-7863 | ChristianBible ist eine teilkategorie von Book |
| (subclass OldTestament Book) | Mid-level-ontology.kif 7874-7874 | OldTestament ist eine teilkategorie von Book |
| (subclass NewTestament Book) | Mid-level-ontology.kif 7878-7878 | NewTestament ist eine teilkategorie von Book |
| (subclass ReferenceBook Book) | Mid-level-ontology.kif 14912-14912 | ReferenceBook ist eine teilkategorie von Book |
| (subclass Novel Book) | Mid-level-ontology.kif 14945-14945 | Novel ist eine teilkategorie von Book |
| (subclass GuideBook Book) | Mid-level-ontology.kif 26398-26398 | GuideBook ist eine teilkategorie von Book |
|
|