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 13443-13444
(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 13442-13442	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 13453-13462	If a process is an instance of defensive maneuver and an agent is an agent of the process, then the process has the purpose there doesn't exist an entity such that the entity is an instance of damaging and the agent is a patient of the entity for the agent
(=> (instance ?DEFENSE DefensiveManeuver) (exists (?CONTEST) (and (instance ?CONTEST ViolentContest) (subProcess ?DEFENSE ?CONTEST))))	Merge.kif 13446-13451	If a process is an instance of defensive maneuver, then there exists another process such that the other process is an instance of violent contest and the process is a subprocess of the other process

consequent

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

Merge.kif 13464-13471