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 30385-30388
(subclass DomesticAnimal Animal) Mid-level-ontology.kif 20016-20016 DomesticAnimal ist eine teilkategorie von Animal
(subclass DomesticCat DomesticAnimal) Mid-level-ontology.kif 20081-20081 DomesticCat ist eine teilkategorie von DomesticAnimal
(subclass DomesticDog DomesticAnimal) Mid-level-ontology.kif 20093-20093 DomesticDog ist eine teilkategorie von DomesticAnimal
(subclass Mule DomesticAnimal) Mid-level-ontology.kif 20159-20159 Mule ist eine teilkategorie von DomesticAnimal
(subclass Sheep DomesticAnimal) Mid-level-ontology.kif 20178-20178 Sheep ist eine teilkategorie von DomesticAnimal
(subclass Cattle DomesticAnimal) Mid-level-ontology.kif 20192-20192 Cattle ist eine teilkategorie von DomesticAnimal
(subclass Ferret DomesticAnimal) Mid-level-ontology.kif 30574-30574 Ferret ist eine teilkategorie von DomesticAnimal
(subclass GuineaPig DomesticAnimal) Mid-level-ontology.kif 30592-30592 GuineaPig ist eine teilkategorie von DomesticAnimal
(subclass Hamster DomesticAnimal) Mid-level-ontology.kif 30604-30604 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