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 è una sottoclasse di MammiferoUngulato
(subclass Cattle DomesticAnimal) Mid-level-ontology.kif 20192-20192 Cattle è una sottoclasse di DomesticAnimal
(subclass Cow Cattle) Mid-level-ontology.kif 20196-20196 Cow è una sottoclasse di Cattle
(subclass Calf Cattle) Mid-level-ontology.kif 20205-20205 Calf è una sottoclasse di Cattle
(subclass Bull Cattle) Mid-level-ontology.kif 20214-20214 Bull è una sottoclasse di Cattle
(subclass GuernseyCattle Cattle) Economy.kif 4903-4903 GuernseyCattle è una sottoclasse di Cattle
(subclass SenepolCattle Cattle) Economy.kif 4904-4904 SenepolCattle è una sottoclasse di 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