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

Formal Language: 



Term 1: Term 2:

(subclass UnpoweredVehicle Vehicle) Transportation.kif 1783-1783 UnpoweredVehicle ist eine teilkategorie von Vehicle
(subclass Trailer UnpoweredVehicle) Transportation.kif 1821-1821 Trailer ist eine teilkategorie von UnpoweredVehicle
(subclass Wagon UnpoweredVehicle) Transportation.kif 1847-1847 Wagon ist eine teilkategorie von UnpoweredVehicle
(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