| 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 7566-7568 | |
| (domain targetInAttack 1 Process) | Mid-level-ontology.kif 7563-7563 | The number 1 argument of target in attack is an instance of process |
| (domain targetInAttack 2 Object) | Mid-level-ontology.kif 7564-7564 | The number 2 argument of target in attack is an instance of object |
| (instance targetInAttack BinaryPredicate) | Mid-level-ontology.kif 7561-7561 | target in attack is an instance of binary predicate |
| (instance targetInAttack CaseRole) | Mid-level-ontology.kif 7562-7562 | target in attack is an instance of case role |
| (subrelation targetInAttack patient) | Mid-level-ontology.kif 7565-7565 | target in attack is a subrelation of patient |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage targetInAttack "%2 %n 是 %1 的 攻击 target ") | domainEnglishFormat.kif 2443-2443 | |
| (format ChineseTraditionalLanguage targetInAttack "%2 %n 是 %1 的 攻擊 target ") | domainEnglishFormat.kif 2442-2442 | |
| (format EnglishLanguage targetInAttack "%2 is %n a target in attack of %1") | domainEnglishFormat.kif 2441-2441 | |
| (termFormat ChineseLanguage targetInAttack "攻击目标") | domainEnglishFormat.kif 56998-56998 | |
| (termFormat ChineseTraditionalLanguage targetInAttack "攻擊目標") | domainEnglishFormat.kif 56997-56997 | |
| (termFormat EnglishLanguage targetInAttack "target in attack") | domainEnglishFormat.kif 56996-56996 |
| 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 |
|
| (=> (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 |
|
|
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