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

Formal Language: 



Term 1: Term 2:

(subclass Canine Carnivore) Merge.kif 14633-14633 Canine ist eine teilkategorie von Carnivore
(subclass DomesticDog Canine) Mid-level-ontology.kif 20094-20094 DomesticDog ist eine teilkategorie von Canine
(subclass Fox Canine) Mid-level-ontology.kif 20132-20132 Fox ist eine teilkategorie von Canine


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