TreeView Knowledge Base Browser - MortarGun

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 1172-1173
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1171-1171	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 38585-38585
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38584-38584
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38583-38583

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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