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

Formal Language: 



Term 1: Term 2:

(subclass Battalion MilitaryUnit) Military.kif 732-732 Battalion ist eine teilkategorie von MilitaryUnit
(subclass LARBattalion Battalion) MilitaryPersons.kif 539-539 LARBattalion ist eine teilkategorie von Battalion
(subclass AssaultAmphibianBatallion Battalion) MilitaryPersons.kif 650-650 AssaultAmphibianBatallion ist eine teilkategorie von Battalion


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