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

Formal Language: 



Term 1: Term 2:

(subclass Snake Reptile) Mid-level-ontology.kif 12562-12562 Snake ist eine teilkategorie von Reptile
(subclass Rattlesnake Snake) Mid-level-ontology.kif 12572-12572 Rattlesnake ist eine teilkategorie von Snake
(subclass ConstrictorSnake Snake) Mid-level-ontology.kif 12577-12577 ConstrictorSnake ist eine teilkategorie von Snake


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