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

Formal Language: 



Term 1: Term 2:

(subclass TwoStrokeEngine IntermittentCombustionEngine) Cars.kif 240-240 TwoStrokeEngine ist eine teilkategorie von IntermittentCombustionEngine
(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