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

Formal Language: 



Term 1: Term 2:

(subclass SeagullOutboard OutboardEngine) Cars.kif 4735-4735 SeagullOutboard ist eine teilkategorie von OutboardEngine
(subclass SeagullOutboard TwoStrokeEngine) Cars.kif 4736-4736 SeagullOutboard ist eine teilkategorie von TwoStrokeEngine


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