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 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 18922-18922
(termFormat ChineseTraditionalLanguage DefensiveManeuver "防守機動")	domainEnglishFormat.kif 18921-18921
(termFormat EnglishLanguage DefensiveManeuver "defensive maneuver")	domainEnglishFormat.kif 18920-18920

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	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 13470-13475	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 13488-13495