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

Formal Language: 



Term 1: Term 2:

(subclass MilitaryVehicle MilitaryPlatform) Military.kif 130-130 MilitaryVehicle è una sottoclasse di MilitaryPlatform
(subclass MilitaryVehicle Vehicle) Military.kif 131-131 MilitaryVehicle è una sottoclasse di Vehicle
(subclass MilitaryTank MilitaryVehicle) Military.kif 145-145 MilitaryTank è una sottoclasse di MilitaryVehicle
(subclass MilitaryAircraft MilitaryVehicle) Military.kif 156-156 MilitaryAircraft è una sottoclasse di MilitaryVehicle
(subclass MilitarySupportVehicle MilitaryVehicle) Military.kif 195-195 MilitarySupportVehicle è una sottoclasse di MilitaryVehicle
(subclass APC MilitaryVehicle) MilitaryDevices.kif 1571-1571 APC è una sottoclasse di MilitaryVehicle
(subclass AAV MilitaryVehicle) MilitaryDevices.kif 1646-1646 AAV è una sottoclasse di MilitaryVehicle
(subclass Harrier2 MilitaryVehicle) MilitaryDevices.kif 1734-1734 Harrier2 è una sottoclasse di MilitaryVehicle
(subclass CH53E MilitaryVehicle) MilitaryDevices.kif 1769-1769 CH53E è una sottoclasse di MilitaryVehicle
(subclass CH46D MilitaryVehicle) MilitaryDevices.kif 1830-1830 CH46D è una sottoclasse di MilitaryVehicle
(subclass AH1 MilitaryVehicle) MilitaryDevices.kif 1890-1890 AH1 è una sottoclasse di MilitaryVehicle
(subclass LCAC MilitaryVehicle) MilitaryDevices.kif 1945-1945 LCAC è una sottoclasse di MilitaryVehicle
(subclass AMEV MilitaryVehicle) MilitaryDevices.kif 2128-2128 AMEV è una sottoclasse di 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