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_maneuver, defensive_measure

appearance as argument number 1
-------------------------


(documentation DefensiveManeuver ChineseLanguage "这是在 ViolentContest 中的一种 Maneuver,它发生在当 agent 尝试避免受到伤害。") Merge.kif 13426-13427
(documentation DefensiveManeuver EnglishLanguage "A Maneuver in a ViolentContest where the agent attempts to avoid being damaged.") Merge.kif 13424-13425
(externalImage DefensiveManeuver "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4f/ C-130_Hercules_10.jpg") pictureList.kif 10842-10842 "http://upload.wikimedia.org/wikipedia/commons/4/4f/ C-130_Hercules_10.jpg" is a URL depicting defensive maneuver
(externalImage DefensiveManeuver "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 6e/ C-130J_Hercules%2C_Iraq%2C_2003.jpg") pictureList.kif 10841-10841 "http://upload.wikimedia.org/wikipedia/commons/6/6e/ C-130J_Hercules%2C_Iraq%2C_2003.jpg" is a URL depicting defensive maneuver
(externalImage DefensiveManeuver "http://upload.wikimedia.org/wikipedia/ commons/ a/ a3/ Cricket_forward_defensive.jpg") pictureList.kif 9994-9994 "http://upload.wikimedia.org/wikipedia/commons/a/a3/ Cricket_forward_defensive.jpg" is a URL depicting defensive maneuver
(externalImage DefensiveManeuver "http://upload.wikimedia.org/wikipedia/ commons/ f/ f0/ VICKpb.jpg") pictureList.kif 10840-10840 "http://upload.wikimedia.org/wikipedia/commons/f/f0/ VICKpb.jpg" is a URL depicting defensive maneuver
(externalImage DefensiveManeuver "http://upload.wikimedia.org/wikipedia/ commons/ f/ ff/ Defensivetackle.jpg") pictureList.kif 10839-10839 "http://upload.wikimedia.org/wikipedia/commons/f/ff/ Defensivetackle.jpg" is a URL depicting defensive maneuver
(subclass DefensiveManeuver Maneuver) Merge.kif 13423-13423 Defensive maneuver is a subclass of maneuver

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage DefensiveManeuver "defensive maneuver") domainEnglishFormat.kif 3572-3572 "defensive maneuver" is the printable form of defensive maneuver in english language

antecedent
-------------------------


(=>
    (and
        (instance ?DEFENSE DefensiveManeuver)
        (agent ?DEFENSE ?AGENT))
    (hasPurposeForAgent ?DEFENSE
        (not
            (exists (?DAMAGE)
                (and
                    (instance ?DAMAGE Damaging)
                    (patient ?DAMAGE ?AGENT)))) ?AGENT))
Merge.kif 13436-13445
(=>
    (instance ?DEFENSE DefensiveManeuver)
    (exists (?CONTEST)
        (and
            (instance ?CONTEST ViolentContest)
            (subProcess ?DEFENSE ?CONTEST))))
Merge.kif 13429-13434

consequent
-------------------------


(=>
    (and
        (instance ?MANEUVER Maneuver)
        (instance ?CONTEST ViolentContest)
        (subProcess ?MANEUVER ?CONTEST))
    (or
        (instance ?MANEUVER Attack)
        (instance ?MANEUVER DefensiveManeuver)))
Merge.kif 13447-13454


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners