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

Formal Language: 



Term 1: Term 2:

(subclass Carnivore Mammal) Merge.kif 13527-13527 Carnivore is a subclass of mammal
(subclass Badger Carnivore) Mid-level-ontology.kif 18023-18023 Badger is a subclass of carnivore
(subclass Bear Carnivore) Mid-level-ontology.kif 18038-18038 Bear is a subclass of carnivore
(subclass Canine Carnivore) Merge.kif 13540-13540 Canine is a subclass of carnivore
(subclass Feline Carnivore) Merge.kif 13545-13545 Feline is a subclass of carnivore


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners