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

Formal Language: 



Term 1: Term 2:

(subclass GliderPlane Aircraft) Transportation.kif 2593-2593 GliderPlane ist eine teilkategorie von Aircraft
(subclass GliderPlane UnpoweredVehicle) Transportation.kif 2594-2594 GliderPlane ist eine teilkategorie von UnpoweredVehicle


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