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

Formal Language: 



Term 1: Term 2:

(subclass Feline Carnivore) Merge.kif 14638-14638 Feline ist eine teilkategorie von Carnivore
(subclass DomesticCat Feline) Mid-level-ontology.kif 20082-20082 DomesticCat ist eine teilkategorie von Feline
(subclass Lion Feline) Mid-level-ontology.kif 30358-30358 Lion ist eine teilkategorie von Feline
(subclass Tiger Feline) Mid-level-ontology.kif 30400-30400 Tiger ist eine teilkategorie von Feline
(subclass Cheetah Feline) Mid-level-ontology.kif 30556-30556 Cheetah ist eine teilkategorie von Feline


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