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

Formal Language: 



Term 1: Term 2:

(subclass Mammal WarmBloodedVertebrate) Merge.kif 14626-14626
(subclass Herbivore Mammal) Mid-level-ontology.kif 20089-20089
(subclass Llama Mammal) Mid-level-ontology.kif 20345-20345
(subclass Skunk Mammal) Mid-level-ontology.kif 20354-20354
(subclass Rhinoceros Mammal) Mid-level-ontology.kif 30456-30456
(subclass Ferret Mammal) Mid-level-ontology.kif 30609-30609
(subclass MammalCub Mammal) Mid-level-ontology.kif 30644-30644
(subclass AquaticMammal Mammal) Merge.kif 14632-14632
(subclass HoofedMammal Mammal) Merge.kif 14636-14636
(subclass Marsupial Mammal) Merge.kif 14640-14640
(subclass Carnivore Mammal) Merge.kif 14644-14644
(subclass Rodent Mammal) Merge.kif 14667-14667
(subclass Primate Mammal) Merge.kif 14672-14672
(subclass Camel Mammal) Economy.kif 4918-4918


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