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

Formal Language: 



Term 1: Term 2:

(subclass Mammal WarmBloodedVertebrate) Merge.kif 13568-13568
(subclass Herbivore Mammal) Mid-level-ontology.kif 17833-17833
(subclass Llama Mammal) Mid-level-ontology.kif 18094-18094
(subclass Skunk Mammal) Mid-level-ontology.kif 18103-18103
(subclass Rhinoceros Mammal) Mid-level-ontology.kif 28609-28609
(subclass Ferret Mammal) Mid-level-ontology.kif 28762-28762
(subclass MammalCub Mammal) Mid-level-ontology.kif 28797-28797
(subclass AquaticMammal Mammal) Merge.kif 13574-13574
(subclass HoofedMammal Mammal) Merge.kif 13578-13578
(subclass Marsupial Mammal) Merge.kif 13582-13582
(subclass Carnivore Mammal) Merge.kif 13586-13586
(subclass Rodent Mammal) Merge.kif 13609-13609
(subclass Primate Mammal) Merge.kif 13614-13614
(subclass Camel Mammal) Economy.kif 4241-4241


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