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

Formal Language: 



Term 1: Term 2:

(subclass MilitaryVehicle MilitaryPlatform) Military.kif 130-130 MilitaryVehicle ist eine teilkategorie von MilitaryPlatform
(subclass MilitaryVehicle Vehicle) Military.kif 131-131 MilitaryVehicle ist eine teilkategorie von Vehicle
(subclass MilitaryTank MilitaryVehicle) Military.kif 145-145 MilitaryTank ist eine teilkategorie von MilitaryVehicle
(subclass MilitaryAircraft MilitaryVehicle) Military.kif 156-156 MilitaryAircraft ist eine teilkategorie von MilitaryVehicle
(subclass MilitarySupportVehicle MilitaryVehicle) Military.kif 195-195 MilitarySupportVehicle ist eine teilkategorie von MilitaryVehicle
(subclass APC MilitaryVehicle) MilitaryDevices.kif 1571-1571 APC ist eine teilkategorie von MilitaryVehicle
(subclass AAV MilitaryVehicle) MilitaryDevices.kif 1646-1646 AAV ist eine teilkategorie von MilitaryVehicle
(subclass Harrier2 MilitaryVehicle) MilitaryDevices.kif 1734-1734 Harrier2 ist eine teilkategorie von MilitaryVehicle
(subclass CH53E MilitaryVehicle) MilitaryDevices.kif 1769-1769 CH53E ist eine teilkategorie von MilitaryVehicle
(subclass CH46D MilitaryVehicle) MilitaryDevices.kif 1830-1830 CH46D ist eine teilkategorie von MilitaryVehicle
(subclass AH1 MilitaryVehicle) MilitaryDevices.kif 1890-1890 AH1 ist eine teilkategorie von MilitaryVehicle
(subclass LCAC MilitaryVehicle) MilitaryDevices.kif 1945-1945 LCAC ist eine teilkategorie von MilitaryVehicle
(subclass AMEV MilitaryVehicle) MilitaryDevices.kif 2128-2128 AMEV ist eine teilkategorie von MilitaryVehicle


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