TreeView Knowledge Base Browser - ExplosiveMine

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ExplosiveMine

ExplosiveMine(explosive mine)

booby_trap, floating_mine, ground-emplaced_mine, land_mine, marine_mine, mine

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17858-17860
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1105-1105
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17856-17856	Explosive mine is a subclass of explosive device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17857-17857	Explosive mine is a subclass of weapon

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22858-22858
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22857-22857
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22856-22856

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

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