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 20191-20191 Cattle ist eine teilkategorie von HoofedMammal
(subclass Cattle DomesticAnimal) Mid-level-ontology.kif 20192-20192 Cattle ist eine teilkategorie von DomesticAnimal
(subclass Cow Cattle) Mid-level-ontology.kif 20196-20196 Cow ist eine teilkategorie von Cattle
(subclass Calf Cattle) Mid-level-ontology.kif 20205-20205 Calf ist eine teilkategorie von Cattle
(subclass Bull Cattle) Mid-level-ontology.kif 20214-20214 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