(=> (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 | Livre est une sous-classe de Document |
(subclass Book HardcopyDocument) | Media.kif 1073-1073 | Livre est une sous-classe de HardcopyDocument |
(subclass ChristianBible Book) | Mid-level-ontology.kif 7864-7864 | ChristianBible est une sous-classe de livre |
(subclass OldTestament Book) | Mid-level-ontology.kif 7875-7875 | OldTestament est une sous-classe de livre |
(subclass NewTestament Book) | Mid-level-ontology.kif 7879-7879 | NewTestament est une sous-classe de livre |
(subclass ReferenceBook Book) | Mid-level-ontology.kif 14913-14913 | ReferenceBook est une sous-classe de livre |
(subclass Novel Book) | Mid-level-ontology.kif 14946-14946 | Novel est une sous-classe de livre |
(subclass GuideBook Book) | Mid-level-ontology.kif 26410-26410 | GuideBook est une sous-classe de livre |