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

Formal Language: 



Term 1: Term 2:

(subclass SelfPoweredRoadVehicle RoadVehicle) Transportation.kif 1803-1803 SelfPoweredRoadVehicle ist eine teilkategorie von RoadVehicle
(subclass SelfPoweredRoadVehicle PoweredVehicle) Transportation.kif 1804-1804 SelfPoweredRoadVehicle ist eine teilkategorie von PoweredVehicle
(subclass Motorcycle SelfPoweredRoadVehicle) Transportation.kif 1876-1876 Motorcycle ist eine teilkategorie von SelfPoweredRoadVehicle
(subclass Automobile SelfPoweredRoadVehicle) Transportation.kif 1947-1947 Automobile ist eine teilkategorie von SelfPoweredRoadVehicle
(subclass Bus SelfPoweredRoadVehicle) Transportation.kif 1966-1966 Bus ist eine teilkategorie von SelfPoweredRoadVehicle
(subclass Truck SelfPoweredRoadVehicle) Transportation.kif 2009-2009 Truck ist eine teilkategorie von SelfPoweredRoadVehicle


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