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(platoon)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Military.kif 755-755	US military rank o2 is a command rank of echelon of platoon
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	Platoon is a subclass of military unit

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Military.kif 737-737	Platoon is a sub echelon of company- military
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 594-594	Anti armor platoon is a subclass of platoon
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 658-658	Assault amphibian platoon is a subclass of platoon
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 611-611	HeavyMG platoon is a subclass of platoon
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 545-545	LAR platoon is a subclass of platoon
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 552-552	Mortar platoon is a subclass of platoon
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