Platoon - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Platoon

Platoon(排)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Military.kif 755-755	美國軍銜o2 是排的 command 梯隊等級
No TPTP formula. May not be expressible in strict first order.	Military.kif 746-753
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6774-6774
No TPTP formula. May not be expressible in strict first order.	Military.kif 745-745	子類排 and 軍事單位

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Military.kif 737-737	排是公司- 軍事的 sub 梯隊
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 594-594	子類反裝甲排 and 排
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 658-658	子類突擊兩棲動物排 and 排
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 611-611	子類重MG排 and 排
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 545-545	子類 LAR排 and 排
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 552-552	子類迫擊砲排 and 排
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46248-46248
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46247-46247
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46246-46246

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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