Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(=>
    (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


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners