DefensiveManeuver(defensive maneuver) more pictures... | biodefence, biodefense, biological_defence, biological_defense, defence, defend, defense, defensive_measure |
appearance as argument number 1 |
(documentation DefensiveManeuver ChineseLanguage "这是在 ViolentContest 中的一种 Maneuver,它发生在当 agent 尝试避免受到伤害。") | chinese_format.kif 3306-3307 | |
(documentation DefensiveManeuver EnglishLanguage "A Maneuver in a ViolentContest where the agent attempts to avoid being damaged.") | Merge.kif 13467-13468 | |
(externalImage DefensiveManeuver "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4f/ C-130_Hercules_10.jpg") | pictureList.kif 10821-10821 | |
(externalImage DefensiveManeuver "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 6e/ C-130J_Hercules%2C_Iraq%2C_2003.jpg") | pictureList.kif 10820-10820 | |
(externalImage DefensiveManeuver "http://upload.wikimedia.org/wikipedia/ commons/ a/ a3/ Cricket_forward_defensive.jpg") | pictureList.kif 9976-9976 | |
(externalImage DefensiveManeuver "http://upload.wikimedia.org/wikipedia/ commons/ f/ f0/ VICKpb.jpg") | pictureList.kif 10819-10819 | |
(externalImage DefensiveManeuver "http://upload.wikimedia.org/wikipedia/ commons/ f/ ff/ Defensivetackle.jpg") | pictureList.kif 10818-10818 | |
(subclass DefensiveManeuver Maneuver) | Merge.kif 13466-13466 | Defensive maneuver is a subclass of maneuver |
appearance as argument number 2 |
(termFormat ChineseLanguage DefensiveManeuver "防守机动") | domainEnglishFormat.kif 18906-18906 | |
(termFormat ChineseTraditionalLanguage DefensiveManeuver "防守機動") | domainEnglishFormat.kif 18905-18905 | |
(termFormat EnglishLanguage DefensiveManeuver "defensive maneuver") | domainEnglishFormat.kif 18904-18904 |
antecedent |
(=> (and (instance ?DEFENSE DefensiveManeuver) (agent ?DEFENSE ?AGENT)) (hasPurposeForAgent ?DEFENSE (not (exists (?DAMAGE) (and (instance ?DAMAGE Damaging) (patient ?DAMAGE ?AGENT)))) ?AGENT)) |
Merge.kif 13477-13486 |
|
(=> (instance ?DEFENSE DefensiveManeuver) (exists (?CONTEST) (and (instance ?CONTEST ViolentContest) (subProcess ?DEFENSE ?CONTEST)))) |
Merge.kif 13470-13475 |
|
consequent |
(=> (and (instance ?MANEUVER Maneuver) (instance ?CONTEST ViolentContest) (subProcess ?MANEUVER ?CONTEST)) (or (instance ?MANEUVER Attack) (instance ?MANEUVER DefensiveManeuver))) |
Merge.kif 13488-13495 |
|