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

Formal Language: 



Term 1: Term 2:

(=>
    (and
        (equal ?S
            (OrganicObjectFn ?F))
        (subclass ?S Suet)
        (subclass ?F FatTissue))
    (or
        (initialPart ?F Cattle)
        (initialPart ?F Sheep)))		 Food.kif 2906-2914
(subclass Cattle HoofedMammal) Mid-level-ontology.kif 20192-20192 Cattle ist eine teilkategorie von HoofedMammal
(subclass Cattle DomesticAnimal) Mid-level-ontology.kif 20193-20193 Cattle ist eine teilkategorie von DomesticAnimal
(subclass Cow Cattle) Mid-level-ontology.kif 20197-20197 Cow ist eine teilkategorie von Cattle
(subclass Calf Cattle) Mid-level-ontology.kif 20206-20206 Calf ist eine teilkategorie von Cattle
(subclass Bull Cattle) Mid-level-ontology.kif 20215-20215 Bull ist eine teilkategorie von Cattle
(subclass GuernseyCattle Cattle) Economy.kif 4903-4903 GuernseyCattle ist eine teilkategorie von Cattle
(subclass SenepolCattle Cattle) Economy.kif 4904-4904 SenepolCattle ist eine teilkategorie von Cattle


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