![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation Attack ChineseLanguage "这是在 ViolentContest 中的一种 Maneuver,它发生在当 agent 尝试对 patient 造成伤害。") | chinese_format.kif 3304-3305 | |
(documentation Attack EnglishLanguage "A Maneuver in a ViolentContest where the agent attempts to inflict damage on the patient.") | Merge.kif 13399-13400 | |
(externalImage Attack "http://upload.wikimedia.org/wikipedia/commons/9/9b/ Kick.JPG") | pictureList.kif 10449-10449 | |
(externalImage Attack "http://upload.wikimedia.org/wikipedia/commons/a/a2/ Foiltouch.jpg") | pictureList.kif 9894-9894 | |
(externalImage Attack "http://upload.wikimedia.org/wikipedia/commons/d/d9/ Ouch-boxing-footwork.jpg") | pictureList.kif 10447-10447 | |
(externalImage Attack "http://upload.wikimedia.org/wikipedia/commons/e/ee/ Wushu_dao.jpg") | pictureList.kif 10448-10448 | |
(subclass Attack Maneuver) | Merge.kif 13398-13398 | 攻击 是 竞争招数 的 subclass |
appearance as argument number 2 |
![]() |
(subclass BiochemicalAttack Attack) | WMD.kif 40-40 | 生化攻击 是 攻击 的 subclass |
(subclass CTNwInfraAttack Attack) | MilitaryProcesses.kif 2053-2053 | CT没有红外线攻击 是 攻击 的 subclass |
(subclass StandoffAttack Attack) | MilitaryProcesses.kif 437-437 | 对峙的攻击 是 攻击 的 subclass |
(subclass TerroristAttack Attack) | MilitaryProcesses.kif 2114-2114 | 恐怖袭击 是 攻击 的 subclass |
(termFormat ChineseLanguage Attack "攻击") | domainEnglishFormat.kif 8976-8976 | |
(termFormat ChineseTraditionalLanguage Attack "攻擊") | domainEnglishFormat.kif 8975-8975 | |
(termFormat EnglishLanguage Attack "attack") | domainEnglishFormat.kif 8974-8974 |
antecedent |
![]() |
(=> (and (instance ?ATTACK Attack) (agent ?ATTACK ?AGENT) (patient ?ATTACK ?OBJ)) (hasPurposeForAgent ?ATTACK (exists (?DAMAGE) (and (instance ?DAMAGE Damaging) (patient ?DAMAGE ?OBJ))) ?AGENT)) |
Merge.kif 13409-13418 | |
(=> (instance ?ATTACK Attack) (exists (?CONTEST) (and (instance ?CONTEST ViolentContest) (subProcess ?ATTACK ?CONTEST)))) |
Merge.kif 13402-13407 |
consequent |
![]() |
(=> (and (instance ?AMBUSH Ambush) (agent ?AMBUSH ?AG)) (exists (?C) (and (instance ?C Concealing) (subProcess ?C ?AMBUSH) (hasPurpose ?C (exists (?ATTACK) (and (instance ?ATTACK Attack) (agent ?ATTACK ?AG))))))) |
Mid-level-ontology.kif 21757-21769 | |
(=> (and (instance ?AR ArmedReconnaissance) (agent ?AR ?AGENT) (patient ?AR ?HOSTILE) (holdsDuring (WhenFn ?AR) (enemy ?AGENT ?HOSTILE))) (confersRight (exists (?ATTACK) (and (instance ?ATTACK Attack) (agent ?ATTACK ?AGENT) (patient ?ATTACK ?HOSTILE))) ?AR ?AGENT)) |
MilitaryProcesses.kif 89-103 | |
(=> (and (instance ?MANEUVER Maneuver) (instance ?CONTEST ViolentContest) (subProcess ?MANEUVER ?CONTEST)) (or (instance ?MANEUVER Attack) (instance ?MANEUVER DefensiveManeuver))) |
Merge.kif 13442-13449 | |
(=> (and (instance ?PSR PoststrikeReconnaissance) (patient ?PSR ?OBJ)) (exists (?ATTACK) (and (instance ?ATTACK Attack) (patient ?ATTACK ?OBJ) (earlier (WhenFn ?ATTACK) (WhenFn ?PSR))))) |
MilitaryProcesses.kif 121-129 | |
(=> (and (instance ?R Robbing) (agent ?R ?P) (patient ?R ?P2)) (exists (?T) (and (instance ?T Threatening) (subProcess ?T ?R) (patient ?T (exists (?A) (and (instance ?A Attack) (agent ?A ?P) (patient ?A ?P2))))))) |
Mid-level-ontology.kif 18600-18614 | |
(=> (and (instance ?RbF ReconnaissanceByFire) (agent ?RbF ?AGENT)) (exists (?ATTACK ?HOSTILE) (and (patient ?RbF ?HOSTILE) (subProcess ?ATTACK ?RbF) (instance ?ATTACK Attack) (agent ?ATTACK ?AGENT) (patient ?ATTACK ?HOSTILE)))) |
MilitaryProcesses.kif 713-723 | |
(=> (and (instance ?SR ReconnaissanceOperation) (agent ?SR ?AGENT)) (not (hasPurpose ?SR (exists (?ATTACK ?HOSTILE) (and (instance ?ATTACK Attack) (agent ?ATTACK ?AGENT) (patient ?ATTACK ?HOSTILE)))))) |
MilitaryProcesses.kif 694-704 | |
(=> (and (instance ?TA_CTRL TerminalAttackControl) (agent ?TA_CTRL ?AGENT1) (patient ?TA_CTRL ?TARGET)) (exists (?AGENT2) (and (not (equal ?AGENT1 ?AGENT2)) (confersRight (exists (?ATTACK) (and (instance ?ATTACK Attack) (agent ?ATTACK ?AGENT2) (patient ?ATTACK ?TARGET))) ?TA_CTRL ?AGENT2)))) |
MilitaryProcesses.kif 482-498 | |
(=> (and (instance ?TA_CTRL TerminalGuidance) (agent ?TA_CTRL ?AGENT) (patient ?TA_CTRL ?TARGET)) (not (holdsRight (exists (?ATTACK) (and (instance ?ATTACK Attack) (agent ?ATTACK ?AGENT) (patient ?ATTACK ?TARGET))) ?AGENT))) |
MilitaryProcesses.kif 535-547 | |
(=> (instance ?CH AH1) (hasPurpose ?CH (exists (?ATTACK) (and (instance ?ATTACK Attack) (instrument ?ATTACK ?CH))))) |
MilitaryDevices.kif 1935-1941 | |
(=> (instance ?F Fighter) (hasPurpose ?F (exists (?A ?MA) (and (instance ?A Attack) (instrument ?A ?F) (patient ?A ?MA) (instance ?MA MilitaryAircraft))))) |
Military.kif 164-172 |
![]() |
![]() |