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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Attack
Attack(attack)
assail, attack, bear_down, charge, countercharge, first_strike, onrush, onset, onslaught, preventive_attack, preventive_strike, strafe, strike, submarine, surgical_strike

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


s__documentation(s__Attack,s__ChineseLanguage,'这是在 ViolentContest 中的一种 Maneuver,它发生在当 agent 尝试对 patient 造成伤害。')

Merge.kif 13402-13403
s__documentation(s__Attack,s__EnglishLanguage,'A Maneuver in a ViolentContest where the agent attempts to inflict damage on the patient.')

Merge.kif 13400-13401
s__externalImage(s__Attack,'http://upload.wikimedia.org/wikipedia/commons/9/9b/ Kick.JPG')

pictureList.kif 10470-10470 "http://upload.wikimedia.org/wikipedia/commons/9/9b/ Kick.JPG" is a URL depicting attack
s__externalImage(s__Attack,'http://upload.wikimedia.org/wikipedia/commons/a/a2/ Foiltouch.jpg')

pictureList.kif 9912-9912 "http://upload.wikimedia.org/wikipedia/commons/a/a2/ Foiltouch.jpg" is a URL depicting attack
s__externalImage(s__Attack,'http://upload.wikimedia.org/wikipedia/commons/d/d9/ Ouch-boxing-footwork.jpg')

pictureList.kif 10468-10468 "http://upload.wikimedia.org/wikipedia/commons/d/d9/ Ouch-boxing-footwork.jpg" is a URL depicting attack
s__externalImage(s__Attack,'http://upload.wikimedia.org/wikipedia/commons/e/ee/ Wushu_dao.jpg')

pictureList.kif 10469-10469 "http://upload.wikimedia.org/wikipedia/commons/e/ee/ Wushu_dao.jpg" is a URL depicting attack
s__instance(s__Maneuver,s__SetOrClass)

s__subclass(s__Attack,s__Maneuver)

s__instance(s__Attack,s__SetOrClass)

Merge.kif 13399-13399 Attack is a subclass of maneuver

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


s__instance(s__BiochemicalAttack,s__SetOrClass)

s__instance(s__Attack,s__SetOrClass)

s__subclass(s__BiochemicalAttack,s__Attack)

WMD.kif 40-40 Biochemical attack is a subclass of attack
s__instance(s__CTNwInfraAttack,s__SetOrClass)

s__instance(s__Attack,s__SetOrClass)

s__subclass(s__CTNwInfraAttack,s__Attack)

MilitaryProcesses.kif 2022-2022 CT nw infra attack is a subclass of attack
s__instance(s__StandoffAttack,s__SetOrClass)

s__instance(s__Attack,s__SetOrClass)

s__subclass(s__StandoffAttack,s__Attack)

MilitaryProcesses.kif 428-428 Standoff attack is a subclass of attack
s__instance(s__TerroristAttack,s__SetOrClass)

s__instance(s__Attack,s__SetOrClass)

s__subclass(s__TerroristAttack,s__Attack)

MilitaryProcesses.kif 2083-2083 Terrorist attack is a subclass of attack
s__termFormat(s__EnglishLanguage,s__Attack,'attack')

domainEnglishFormat.kif 1931-1931 "attack" is the printable form of attack in english language

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13412-13421
( ! [V__ATTACK] :
   (s__instance(V__ATTACK,s__Attack)s__=>(s__exists__m[V__CONTEST] :
       (s__instance(V__CONTEST,s__ViolentContest)s__and__ms__subProcess(V__ATTACK,V__CONTEST))))
)

Merge.kif 13405-13410

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19542-19554
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 89-103
( ! [V__MANEUVER,V__CONTEST] :
   ((s__instance(V__MANEUVER,s__Maneuver)s__and__ms__instance(V__CONTEST,s__ViolentContest)s__and__ms__subProcess(V__MANEUVER,V__CONTEST))
  s__=>(s__instance(V__MANEUVER,s__Attack)s__or__ms__instance(V__MANEUVER,s__DefensiveManeuver)))
)

Merge.kif 13447-13454
( ! [V__PSR,V__OBJ] :
   ((s__instance(V__PSR,s__PoststrikeReconnaissance)s__and__ms__patient(V__PSR,V__OBJ))
  s__=>(s__exists__m[V__ATTACK] :
     (s__instance(V__ATTACK,s__Attack)s__and__ms__patient(V__ATTACK,V__OBJ)
    s__and__ms__earlier(s__WhenFn(V__ATTACK)
  ,s__WhenFn(V__PSR)))))
)

MilitaryProcesses.kif 121-129
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16190-16204
( ! [V__AGENT,V__RbF] :
   (s__instance(V__AGENT,s__Agent)s__=>((s__instance(V__RbF,s__ReconnaissanceByFire)s__and__ms__agent(V__RbF,V__AGENT))
    s__=>(s__exists__m[V__ATTACK,V__HOSTILE] :
       (s__patient(V__RbF,V__HOSTILE)
      s__and__ms__subProcess(V__ATTACK,V__RbF)
    s__and__ms__instance(V__ATTACK,s__Attack)s__and__ms__agent(V__ATTACK,V__AGENT)
  s__and__ms__patient(V__ATTACK,V__HOSTILE)))))
)

MilitaryProcesses.kif 702-712
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 683-693
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 473-486
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 523-536
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1934-1940
No TPTP formula. May not be expressible in strict first order. Military.kif 164-172


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