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

Formal Language: 



Term 1: Term 2:

(subclass ArmoredVehicle Vehicle) MilitaryDevices.kif 1596-1596 ArmoredVehicle ist eine teilkategorie von Vehicle
(subclass APC ArmoredVehicle) MilitaryDevices.kif 1575-1575 APC ist eine teilkategorie von ArmoredVehicle
(subclass MilitaryTank ArmoredVehicle) MilitaryDevices.kif 1608-1608 MilitaryTank ist eine teilkategorie von ArmoredVehicle


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