| 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 7011-7013 | |
| (domain targetInAttack 1 Process) | Mid-level-ontology.kif 7008-7008 | The number 1 argument of target in attack is an instance of process |
| (domain targetInAttack 2 Object) | Mid-level-ontology.kif 7009-7009 | The number 2 argument of target in attack is an instance of object |
| (instance targetInAttack BinaryPredicate) | Mid-level-ontology.kif 7006-7006 | target in attack is an instance of binary predicate |
| (instance targetInAttack CaseRole) | Mid-level-ontology.kif 7007-7007 | target in attack is an instance of case role |
| (subrelation targetInAttack patient) | Mid-level-ontology.kif 7010-7010 | target in attack is a subrelation of 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 57005-57005 | |
| (termFormat ChineseTraditionalLanguage targetInAttack "攻擊目標") | domainEnglishFormat.kif 57004-57004 | |
| (termFormat EnglishLanguage targetInAttack "target in attack") | domainEnglishFormat.kif 57003-57003 |
| 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