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

Formal Language: 



Term 1: Term 2:

(subclass AssaultAmphibianUnit MilitaryUnit) MilitaryPersons.kif 635-635 AssaultAmphibianUnit ist eine teilkategorie von MilitaryUnit
(subclass AssaultAmphibianBatallion AssaultAmphibianUnit) MilitaryPersons.kif 651-651 AssaultAmphibianBatallion ist eine teilkategorie von AssaultAmphibianUnit
(subclass AssaultAmphibianPlatoon AssaultAmphibianUnit) MilitaryPersons.kif 659-659 AssaultAmphibianPlatoon 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