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

Formal Language: 



Term 1: Term 2:

(=>
    (habitatOfOrganism ?O ?L)
    (not
        (subclass ?O DomesticAnimal)))		 Mid-level-ontology.kif 30397-30400
(subclass DomesticAnimal Animal) Mid-level-ontology.kif 20017-20017 DomesticAnimal ist eine teilkategorie von Animal
(subclass DomesticCat DomesticAnimal) Mid-level-ontology.kif 20082-20082 DomesticCat ist eine teilkategorie von DomesticAnimal
(subclass DomesticDog DomesticAnimal) Mid-level-ontology.kif 20094-20094 DomesticDog ist eine teilkategorie von DomesticAnimal
(subclass Mule DomesticAnimal) Mid-level-ontology.kif 20160-20160 Mule ist eine teilkategorie von DomesticAnimal
(subclass Sheep DomesticAnimal) Mid-level-ontology.kif 20179-20179 Sheep ist eine teilkategorie von DomesticAnimal
(subclass Cattle DomesticAnimal) Mid-level-ontology.kif 20193-20193 Cattle ist eine teilkategorie von DomesticAnimal
(subclass Ferret DomesticAnimal) Mid-level-ontology.kif 30586-30586 Ferret ist eine teilkategorie von DomesticAnimal
(subclass GuineaPig DomesticAnimal) Mid-level-ontology.kif 30604-30604 GuineaPig ist eine teilkategorie von DomesticAnimal
(subclass Hamster DomesticAnimal) Mid-level-ontology.kif 30616-30616 Hamster ist eine teilkategorie von DomesticAnimal
(subclass Livestock DomesticAnimal) Economy.kif 4887-4887 Livestock ist eine teilkategorie von DomesticAnimal


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