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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DefensiveManeuver

Sigma KEE - DefensiveManeuver
DefensiveManeuver
more pictures...

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 13175-13176
(externalImage DefensiveManeuver "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4f/ C-130_Hercules_10.jpg") pictureList.kif 10831-10831
(externalImage DefensiveManeuver "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 6e/ C-130J_Hercules%2C_Iraq%2C_2003.jpg") pictureList.kif 10830-10830
(externalImage DefensiveManeuver "http://upload.wikimedia.org/wikipedia/ commons/ a/ a3/ Cricket_forward_defensive.jpg") pictureList.kif 9984-9984
(externalImage DefensiveManeuver "http://upload.wikimedia.org/wikipedia/ commons/ f/ f0/ VICKpb.jpg") pictureList.kif 10829-10829
(externalImage DefensiveManeuver "http://upload.wikimedia.org/wikipedia/ commons/ f/ ff/ Defensivetackle.jpg") pictureList.kif 10828-10828
(subclass DefensiveManeuver Maneuver) Merge.kif 13174-13174

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


(termFormat ChineseLanguage DefensiveManeuver "防守机动") domainEnglishFormat.kif 18897-18897
(termFormat ChineseTraditionalLanguage DefensiveManeuver "防守機動") domainEnglishFormat.kif 18896-18896
(termFormat EnglishLanguage DefensiveManeuver "defensive maneuver") domainEnglishFormat.kif 18895-18895

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


(=>
    (and
        (instance ?DEFENSE DefensiveManeuver)
        (agent ?DEFENSE ?AGENT))
    (hasPurposeForAgent ?DEFENSE
        (not
            (exists (?DAMAGE)
                (and
                    (instance ?DAMAGE Damaging)
                    (patient ?DAMAGE ?AGENT)))) ?AGENT))
Merge.kif 13185-13194
(=>
    (instance ?DEFENSE DefensiveManeuver)
    (exists (?CONTEST)
        (and
            (instance ?CONTEST ViolentContest)
            (subProcess ?DEFENSE ?CONTEST))))
Merge.kif 13178-13183

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


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


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

Show without tree


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