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 28574-28577
(subclass DomesticAnimal Animal) Mid-level-ontology.kif 17805-17805
(subclass DomesticCat DomesticAnimal) Mid-level-ontology.kif 17856-17856
(subclass DomesticDog DomesticAnimal) Mid-level-ontology.kif 17867-17867
(subclass Mule DomesticAnimal) Mid-level-ontology.kif 17935-17935
(subclass Sheep DomesticAnimal) Mid-level-ontology.kif 17954-17954
(subclass Cow DomesticAnimal) Mid-level-ontology.kif 17968-17968
(subclass Ferret DomesticAnimal) Mid-level-ontology.kif 28763-28763
(subclass GuineaPig DomesticAnimal) Mid-level-ontology.kif 28781-28781
(subclass Hamster DomesticAnimal) Mid-level-ontology.kif 28793-28793
(subclass Livestock DomesticAnimal) Economy.kif 4210-4210


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