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

Formal Language: 



Term 1: Term 2:

(subclass OutboardEngine Engine) Cars.kif 4344-4344 OutboardEngine ist eine teilkategorie von Engine
(subclass SeagullOutboard OutboardEngine) Cars.kif 4743-4743 SeagullOutboard ist eine teilkategorie von OutboardEngine


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