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

Formal Language: 



Term 1: Term 2:

(subclass AssaultAmphibianBatallion Battalion) MilitaryPersons.kif 650-650 AssaultAmphibianBatallion ist eine teilkategorie von Battalion
(subclass AssaultAmphibianBatallion AssaultAmphibianUnit) MilitaryPersons.kif 651-651 AssaultAmphibianBatallion ist eine teilkategorie von AssaultAmphibianUnit


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