DefensiveManeuver - Sigma Knowledge base Browser

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 13560-13561
(externalImage DefensiveManeuver "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4f/ C-130_Hercules_10.jpg")	pictureList.kif 10819-10819
(externalImage DefensiveManeuver "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 6e/ C-130J_Hercules%2C_Iraq%2C_2003.jpg")	pictureList.kif 10818-10818
(externalImage DefensiveManeuver "http://upload.wikimedia.org/wikipedia/ commons/ a/ a3/ Cricket_forward_defensive.jpg")	pictureList.kif 9975-9975
(externalImage DefensiveManeuver "http://upload.wikimedia.org/wikipedia/ commons/ f/ f0/ VICKpb.jpg")	pictureList.kif 10817-10817
(externalImage DefensiveManeuver "http://upload.wikimedia.org/wikipedia/ commons/ f/ ff/ Defensivetackle.jpg")	pictureList.kif 10816-10816
(subclass DefensiveManeuver Maneuver)	Merge.kif 13559-13559

appearance as argument number 2

(termFormat ChineseLanguage DefensiveManeuver "防守机动")	domainEnglishFormat.kif 18921-18921
(termFormat ChineseTraditionalLanguage DefensiveManeuver "防守機動")	domainEnglishFormat.kif 18920-18920
(termFormat EnglishLanguage DefensiveManeuver "defensive maneuver")	domainEnglishFormat.kif 18919-18919

antecedent

(=> (and (instance ?DEFENSE DefensiveManeuver) (agent ?DEFENSE ?AGENT)) (hasPurposeForAgent ?DEFENSE (not (exists (?DAMAGE) (and (instance ?DAMAGE Damaging) (patient ?DAMAGE ?AGENT)))) ?AGENT))	Merge.kif 13570-13579
(=> (instance ?DEFENSE DefensiveManeuver) (exists (?CONTEST) (and (instance ?CONTEST ViolentContest) (subProcess ?DEFENSE ?CONTEST))))	Merge.kif 13563-13568

consequent

(=>
    (and
        (instance ?MANEUVER Maneuver)
        (instance ?CONTEST ViolentContest)
        (subProcess ?MANEUVER ?CONTEST))
    (or
        (instance ?MANEUVER Attack)
        (instance ?MANEUVER DefensiveManeuver)))

Merge.kif 13581-13588