Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DefensiveManeuver
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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners