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

Formal Language: 



Term 1: Term 2:

(subclass AmphibiousVehicle LandVehicle) MilitaryDevices.kif 2019-2019 AmphibiousVehicle ist eine teilkategorie von LandVehicle
(subclass AmphibiousVehicle WaterVehicle) MilitaryDevices.kif 2020-2020 AmphibiousVehicle ist eine teilkategorie von WaterVehicle
(subclass LAV25 AmphibiousVehicle) MilitaryDevices.kif 1521-1521 LAV25 ist eine teilkategorie von AmphibiousVehicle
(subclass AAV AmphibiousVehicle) MilitaryDevices.kif 1647-1647 AAV ist eine teilkategorie von AmphibiousVehicle
(subclass LCAC AmphibiousVehicle) MilitaryDevices.kif 1944-1944 LCAC ist eine teilkategorie von AmphibiousVehicle


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