MortarGun - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - MortarGun

MortarGun(mortar gun)

howitzer, mortar, trench_mortar

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1179-1180
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1178-1178	Mortar gun is a subclass of artillery gun

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38583-38583
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38582-38582
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38581-38581

antecedent

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

MilitaryDevices.kif 198-206

If a process is an instance of shooting and an object is an instrument for the process and the object is an instance of mortar gun,
then there exists another object such that the other object is an instrument for the process and the other object is an instance of grenade

consequent

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
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 556-561	If an agent is an instance of mortar platoon, then there exists an object such that the object is an instance of mortar gun 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