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 13496-13497
(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 13495-13495	Defensive maneuver is a subclass of maneuver

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 13506-13515	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 13499-13504	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 13517-13524