Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| targetInAttack |
| appearance as argument number 1 |
|
| (instance targetInAttack BinaryPredicate) | Mid-level-ontology.kif 8104-8104 | target in attack is an instance of binary predicate |
| (instance targetInAttack CaseRole) | Mid-level-ontology.kif 8105-8105 | target in attack is an instance of case role |
| (domain targetInAttack 1 Process) | Mid-level-ontology.kif 8106-8106 | The number 1 argument of target in attack is an instance of process |
| (domain targetInAttack 2 Object) | Mid-level-ontology.kif 8107-8107 | The number 2 argument of target in attack is an instance of object |
| (subrelation targetInAttack patient) | Mid-level-ontology.kif 8108-8108 | target in attack is a subrelation of patient |
| (documentation targetInAttack EnglishLanguage "This relation identifies the patient in the event that is the object of the attack.") | Mid-level-ontology.kif 8109-8111 | target in attack is a subrelation of patient |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage targetInAttack "%2 is %n a target in attack of %1") | domainEnglishFormat.kif 2441-2441 | |
| (format ChineseTraditionalLanguage targetInAttack "%2 %n 是 %1 的 攻擊 target ") | domainEnglishFormat.kif 2442-2442 | |
| (format ChineseLanguage targetInAttack "%2 %n 是 %1 的 攻击 target ") | domainEnglishFormat.kif 2443-2443 | |
| (termFormat EnglishLanguage targetInAttack "target in attack") | domainEnglishFormat.kif 56960-56960 | |
| (termFormat ChineseTraditionalLanguage targetInAttack "攻擊目標") | domainEnglishFormat.kif 56961-56961 | |
| (termFormat ChineseLanguage targetInAttack "攻击目标") | domainEnglishFormat.kif 56962-56962 |
| 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) (holdsDuring (ImmediateFutureFn (WhenFn ?TA_CTRL)) (knows ?AGENT (located ?TARGET ?LOCATION))))))) |
MilitaryProcesses.kif 468-480 | If ?TA_CTRL is an instance of terminal attack control, then ?TA_CTRL has the purpose there exist Y, Z,, , W, V such that V is a target in attack of Z, V is a patient of ?TA_CTRL, Y is an agent of ?TA_CTRL, and Y knows V is located at W holds during immediately after the time of existence of ?TA_CTRL |
| (=> (instance ?TA_CTRL TerminalGuidance) (hasPurpose ?TA_CTRL (exists (?AGENT ?ATTACK ?LOCATION ?TARGET) (and (targetInAttack ?ATTACK ?TARGET) (patient ?TA_CTRL ?TARGET) (agent ?TA_CTRL ?AGENT) (holdsDuring (ImmediateFutureFn (WhenFn ?TA_CTRL)) (knows ?AGENT (located ?TARGET ?LOCATION))))))) |
MilitaryProcesses.kif 523-535 | If ?TA_CTRL is an instance of terminal guidance, then ?TA_CTRL has the purpose there exist Y, Z,, , W, V such that V is a target in attack of Z, V is a patient of ?TA_CTRL, Y is an agent of ?TA_CTRL, and Y knows V is located at W holds during immediately after the time of existence of ?TA_CTRL |
|