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
-------------------------


s__documentation(s__DefensiveManeuver,s__ChineseLanguage,'"这是在 ViolentContest 中的一种 Maneuver,它发生在当 agent 尝试避免受到伤害。"')

chinese_format.kif 3306-3307
s__documentation(s__DefensiveManeuver,s__EnglishLanguage,'"A Maneuver in a ViolentContest where the agent attempts to avoid being damaged."')

Merge.kif 12798-12799
s__externalImage(s__DefensiveManeuver,'"http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4f/ C-130_Hercules_10.jpg"')

pictureList.kif 10840-10840
s__externalImage(s__DefensiveManeuver,'"http://upload.wikimedia.org/wikipedia/ commons/ 6/ 6e/ C-130J_Hercules%2C_Iraq%2C_2003.jpg"')

pictureList.kif 10839-10839
s__externalImage(s__DefensiveManeuver,'"http://upload.wikimedia.org/wikipedia/ commons/ a/ a3/ Cricket_forward_defensive.jpg"')

pictureList.kif 9993-9993
s__externalImage(s__DefensiveManeuver,'"http://upload.wikimedia.org/wikipedia/ commons/ f/ f0/ VICKpb.jpg"')

pictureList.kif 10838-10838
s__externalImage(s__DefensiveManeuver,'"http://upload.wikimedia.org/wikipedia/ commons/ f/ ff/ Defensivetackle.jpg"')

pictureList.kif 10837-10837
s__instance(s__DefensiveManeuver,s__Class)

s__instance(s__Maneuver,s__Class)

s__subclass(s__DefensiveManeuver,s__Maneuver)

Merge.kif 12797-12797 Defensive maneuver is a subclass of maneuver

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


s__termFormat(s__ChineseLanguage,s__DefensiveManeuver,'"防守机动"')

domainEnglishFormat.kif 18897-18897
s__termFormat(s__ChineseTraditionalLanguage,s__DefensiveManeuver,'"防守機動"')

domainEnglishFormat.kif 18896-18896
s__termFormat(s__EnglishLanguage,s__DefensiveManeuver,'"defensive maneuver"')

domainEnglishFormat.kif 18895-18895

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12808-12817
( ! [V__DEFENSE] :
   ((s__instance(V__DEFENSE,s__DefensiveManeuver) =>
       (( ? [V__CONTEST] :
           ((s__instance(V__CONTEST,s__ViolentContest) &
               s__subProcess(V__DEFENSE,V__CONTEST))))))
   )
)

Merge.kif 12801-12806

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


( ! [V__CONTEST,V__MANEUVER] :
   (((s__instance(V__MANEUVER,s__Maneuver) &
         s__instance(V__CONTEST,s__ViolentContest) &
         s__subProcess(V__MANEUVER,V__CONTEST))
     =>
     ((s__instance(V__MANEUVER,s__Attack) |
         s__instance(V__MANEUVER,s__DefensiveManeuver))))
   )
)

Merge.kif 12819-12826


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