TreeView Knowledge Base Browser - HighPrecisionWeapon

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

HighPrecisionWeapon

Sigma KEE - HighPrecisionWeapon

HighPrecisionWeapon(high precision weapon)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 633-634
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 632-632	High precision weapon is a subclass of weapon

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28131-28131
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28130-28130
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28129-28129

antecedent

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

MilitaryProcesses.kif 641-654

If an object is an instance of high precision weapon and the object is an instrument for a process and an entity is a patient of the process,
then the object has the purpose there don't exist another entity and a third entity such that the other entity is an instance of damaging and the other entity is a subprocess of the process and the third entity is a patient of the other entity and the entity is not equal to the third entity

consequent

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

MilitaryProcesses.kif 601-609

If a process is an instance of precise destruction and an agent is an agent of the process,
then there exists an object such that the agent possesses the object and the object is an instrument for the process and the object is an instance of high precision weapon

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