TreeView Knowledge Base Browser - targetInAttack

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

NerveToObturatorInternusL5S1S2

Sigma KEE - targetInAttack

targetInAttack

appearance as argument number 1

(documentation targetInAttack EnglishLanguage "This relation identifies the patient in the event that is the object of the attack.")	Mid-level-ontology.kif 6820-6822
(domain targetInAttack 1 Process)	Mid-level-ontology.kif 6817-6817	Die Zahl 1 Argument von targetInAttack ist ein fall von Process %n{nicht}
(domain targetInAttack 2 Object)	Mid-level-ontology.kif 6818-6818	Die Zahl 2 Argument von targetInAttack ist ein fall von Object %n{nicht}
(instance targetInAttack BinaryPredicate)	Mid-level-ontology.kif 6815-6815	targetInAttack ist ein fall von BinaryPredicate %n{nicht}
(instance targetInAttack CaseRole)	Mid-level-ontology.kif 6816-6816	targetInAttack ist ein fall von CaseRole %n{nicht}
(subrelation targetInAttack patient)	Mid-level-ontology.kif 6819-6819	targetInAttack ist eine teilrelation von patient

appearance as argument number 2

(format ChineseLanguage targetInAttack "%2 %n 是 %1 的攻击 target ")	domainEnglishFormat.kif 2439-2439
(format ChineseTraditionalLanguage targetInAttack "%2 %n 是 %1 的攻擊 target ")	domainEnglishFormat.kif 2438-2438
(format EnglishLanguage targetInAttack "%2 is %n a target in attack of %1")	domainEnglishFormat.kif 2437-2437
(termFormat ChineseLanguage targetInAttack "攻击目标")	domainEnglishFormat.kif 56967-56967
(termFormat ChineseTraditionalLanguage targetInAttack "攻擊目標")	domainEnglishFormat.kif 56966-56966
(termFormat EnglishLanguage targetInAttack "target in attack")	domainEnglishFormat.kif 56965-56965

consequent

(=> (instance ?TA_CTRL TerminalAttackControl) (hasPurpose ?TA_CTRL (exists (?AGENT ?ATTACK ?LOCATION ?TARGET) (and (targetInAttack ?ATTACK ?TARGET) (patient ?TA_CTRL ?TARGET) (agent ?TA_CTRL ?AGENT) (result ?TA_CTRL (knows ?AGENT (located ?TARGET ?LOCATION)))))))	MilitaryProcesses.kif 468-478	Wenn entity_CTRL ist ein fall von TerminalAttackControl %n{nicht}, dann entity_CTRL hat Zweck von es gibt entity, entity,, , entity, and und entityRGET um targetInAttack entity and entityRGET und entityRGET ist ein patient von entity_CTRL %n{nicht} und entity_CTRL ist der agent von entity %n{nicht} und entity kennt entityRGET befindet sich an %n{nicht} %n{nicht} ist ein resultat von ** entity_CTRL %n{nicht} %n{nicht}
(=> (instance ?TA_CTRL TerminalGuidance) (hasPurpose ?TA_CTRL (exists (?AGENT ?ATTACK ?LOCATION ?TARGET) (and (targetInAttack ?ATTACK ?TARGET) (patient ?TA_CTRL ?TARGET) (agent ?TA_CTRL ?AGENT) (result ?TA_CTRL (knows ?AGENT (located ?TARGET ?LOCATION)))))))	MilitaryProcesses.kif 521-531	Wenn entity_CTRL ist ein fall von TerminalGuidance %n{nicht}, dann entity_CTRL hat Zweck von es gibt entity, entity,, , entity, and und entityRGET um targetInAttack entity and entityRGET und entityRGET ist ein patient von entity_CTRL %n{nicht} und entity_CTRL ist der agent von entity %n{nicht} und entity kennt entityRGET befindet sich an %n{nicht} %n{nicht} ist ein resultat von ** entity_CTRL %n{nicht} %n{nicht}

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