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

Formal Language: 



Term 1: Term 2:

(subclass LAV25 LAV) MilitaryDevices.kif 1520-1520 LAV25 ist eine teilkategorie von LAV
(subclass LAV25 AmphibiousVehicle) MilitaryDevices.kif 1521-1521 LAV25 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