| Attack
| |
| 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 13538-13539 | |
| (externalImage Attack "http://upload.wikimedia.org/wikipedia/commons/9/9b/ Kick.JPG") | pictureList.kif 10447-10447 | |
| (externalImage Attack "http://upload.wikimedia.org/wikipedia/commons/a/a2/ Foiltouch.jpg") | pictureList.kif 9893-9893 | |
| (externalImage Attack "http://upload.wikimedia.org/wikipedia/commons/d/d9/ Ouch_boxing_footwork.jpg") | pictureList.kif 10445-10445 | |
| (externalImage Attack "http://upload.wikimedia.org/wikipedia/commons/e/ee/ Wushu_dao.jpg") | pictureList.kif 10446-10446 | |
| (subclass Attack Maneuver) | Merge.kif 13537-13537 |
| appearance as argument number 2 |
|
|
| (subclass BiochemicalAttack Attack) | WMD.kif 40-40 | |
| (subclass CTNwInfraAttack Attack) | MilitaryProcesses.kif 2053-2053 | |
| (subclass StandoffAttack Attack) | MilitaryProcesses.kif 437-437 | |
| (subclass TerroristAttack Attack) | MilitaryProcesses.kif 2114-2114 | |
| (termFormat ChineseLanguage Attack "攻击") | domainEnglishFormat.kif 8983-8983 | |
| (termFormat ChineseTraditionalLanguage Attack "攻擊") | domainEnglishFormat.kif 8982-8982 | |
| (termFormat EnglishLanguage Attack "attack") | domainEnglishFormat.kif 8981-8981 |
| appearance as argument number 3 |
|
|
| (domain target 1 Attack) | MilitaryProcesses.kif 2788-2788 |
| 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 13548-13557 | |
| (=> (instance ?ATTACK Attack) (exists (?CONTEST) (and (instance ?CONTEST ViolentContest) (subProcess ?ATTACK ?CONTEST)))) |
Merge.kif 13541-13546 |
| 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 23416-23428 | |
| (=> (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 ?F Facility) (holdsDuring ?T (attribute ?F MilitarilySecure)) (instance ?MF MilitaryForce) (possesses ?MF ?F)) (not (exists (?A ?E) (and (instance ?A Attack) (during ?T (WhenFn ?A)) (destination ?A ?F) (agent ?A ?E) (enemy ?MF ?E))))) |
MilitaryProcesses.kif 2832-2846 | |
| (=> (and (instance ?MANEUVER Maneuver) (instance ?CONTEST ViolentContest) (subProcess ?MANEUVER ?CONTEST)) (or (instance ?MANEUVER Attack) (instance ?MANEUVER DefensiveManeuver))) |
Merge.kif 13581-13588 | |
| (=> (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 20188-20202 | |
| (=> (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 231-239 | |
| (=> (instance ?TANK MilitaryTank) (hasPurpose ?TANK (exists (?A ?M) (and (instance ?A Attack) (subProcess ?A ?M) (instance ?M MilitaryAssault) (instrument ?A ?TANK))))) |
Military.kif 159-167 |
|
|
|