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

Formal Language: 



Term 1: Term 2:

(subclass Platoon MilitaryUnit) Military.kif 745-745 军事单位subclass
(subclass LARPlatoon Platoon) MilitaryPersons.kif 545-545 LAR排subclass
(subclass MortarPlatoon Platoon) MilitaryPersons.kif 552-552 迫击炮排subclass
(subclass AntiArmorPlatoon Platoon) MilitaryPersons.kif 594-594 反装甲排subclass
(subclass HeavyMGPlatoon Platoon) MilitaryPersons.kif 611-611 重MG排subclass
(subclass AssaultAmphibianPlatoon Platoon) MilitaryPersons.kif 658-658 突击两栖动物排subclass


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