InfantryUnit - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - InfantryUnit

InfantryUnit(infantry unit)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Military.kif 673-674
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8538-8538
No TPTP formula. May not be expressible in strict first order.	Military.kif 672-672	Infantry unit is a subclass of military unit

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 502-502	Infantry company is a subclass of infantry unit
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29959-29959
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29958-29958
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29957-29957

antecedent

No TPTP formula. May not be expressible in strict first order.

Military.kif 676-685

If an agent is an instance of infantry unit,
then there exists an object such that the object is an instance of automatic gun or the object is an instance of firearm or the object is an instance of mortar gun or the object is an instance of explosive mine and the agent possesses the object

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