targetInAttack - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - targetInAttack

targetInAttack

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6820-6822
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6817-6817	The number 1 argument of target in attack is an instance of process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6818-6818	The number 2 argument of target in attack is an instance of object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6815-6815	target in attack is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6816-6816	target in attack is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6819-6819	target in attack is a subrelation of patient

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2439-2439
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2438-2438
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2437-2437
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56967-56967
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56966-56966
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56965-56965

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 468-478	If an entity_CTRL is an instance of terminal attack control, then the entity_CTRL has the purpose there exist another entity, a third entity,, , a fourth entity and the entityRGET such that the entityRGET is a target in attack of the third entity and the entityRGET is a patient of the entity_CTRL and the other entity is an agent of the entity_CTRL and the other entity knows the entityRGET is located at the fourth entity is a result of the entity_CTRL
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 521-531	If an entity_CTRL is an instance of terminal guidance, then the entity_CTRL has the purpose there exist another entity, a third entity,, , a fourth entity and the entityRGET such that the entityRGET is a target in attack of the third entity and the entityRGET is a patient of the entity_CTRL and the other entity is an agent of the entity_CTRL and the other entity knows the entityRGET is located at the fourth entity is a result of the entity_CTRL

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