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

Formal Language: 



Term 1: Term 2:

(subclass PoweredVehicle Vehicle) Transportation.kif 1793-1793 PoweredVehicle ist eine teilkategorie von Vehicle
(subclass SelfPoweredRoadVehicle PoweredVehicle) Transportation.kif 1804-1804 SelfPoweredRoadVehicle ist eine teilkategorie von PoweredVehicle
(subclass EmergencyVehicle PoweredVehicle) Transportation.kif 1887-1887 EmergencyVehicle ist eine teilkategorie von PoweredVehicle
(subclass EmergencyRoadVehicle PoweredVehicle) Transportation.kif 1893-1893 EmergencyRoadVehicle ist eine teilkategorie von PoweredVehicle
(subclass Train PoweredVehicle) Transportation.kif 2048-2048 Train ist eine teilkategorie von PoweredVehicle
(subclass MotorizedRailwayCar PoweredVehicle) Transportation.kif 2111-2111 MotorizedRailwayCar ist eine teilkategorie von PoweredVehicle
(subclass Locomotive PoweredVehicle) Transportation.kif 2116-2116 Locomotive ist eine teilkategorie von PoweredVehicle
(subclass ElectrifiedRailwayCar PoweredVehicle) Transportation.kif 2166-2166 ElectrifiedRailwayCar ist eine teilkategorie von PoweredVehicle
(subclass MotorRailcar PoweredVehicle) Transportation.kif 2204-2204 MotorRailcar ist eine teilkategorie von PoweredVehicle
(subclass Airplane PoweredVehicle) Transportation.kif 2583-2583 Airplane ist eine teilkategorie von PoweredVehicle
(subclass APC PoweredVehicle) MilitaryDevices.kif 1574-1574 APC ist eine teilkategorie von PoweredVehicle
(subclass AAV PoweredVehicle) MilitaryDevices.kif 1649-1649 AAV ist eine teilkategorie von PoweredVehicle
(subclass LCAC PoweredVehicle) MilitaryDevices.kif 1947-1947 LCAC ist eine teilkategorie von PoweredVehicle


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