TreeView Knowledge Base Browser - GroundAttackMissile

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

GroundAttackMissile

Sigma KEE - GroundAttackMissile

GroundAttackMissile(ground attack missile)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 994-995
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 992-992	Ground attack missile is a subclass of missile

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1124-1124	AG m is a subclass of ground attack missile
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26682-26682
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26681-26681
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26680-26680

antecedent

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

MilitaryDevices.kif 999-1013

If a physical is an instance of ground attack missile,
then the physical has the purpose there exist an entity, another entity and a third entity such that the physical is an instrument for the third entity and the entity is a patient of the third entity and the third entity is an instance of damaging and the other entity is an instance of geographic area and the physical is located at the other entity and the entity is located at the other entity holds during the beginning of the time of existence of the third entity

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