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

VerbNet: run-51.3.2|charge, run-51.3.2|charge,


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


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

chinese_format.kif 3304-3305
s__documentation(s__Attack,s__EnglishLanguage,'"A Maneuver in a ViolentContest where the agent attempts to inflict damage on the patient."')

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

pictureList.kif 10470-10470
s__externalImage(s__Attack,'"http://upload.wikimedia.org/wikipedia/commons/a/a2/ Foiltouch.jpg"')

pictureList.kif 9912-9912
s__externalImage(s__Attack,'"http://upload.wikimedia.org/wikipedia/commons/d/d9/ Ouch-boxing-footwork.jpg"')

pictureList.kif 10468-10468
s__externalImage(s__Attack,'"http://upload.wikimedia.org/wikipedia/commons/e/ee/ Wushu_dao.jpg"')

pictureList.kif 10469-10469
s__instance(s__Maneuver,s__SetOrClass)

s__subclass(s__Attack,s__Maneuver)

s__instance(s__Attack,s__SetOrClass)

Merge.kif 12421-12421 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 2035-2035 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 437-437 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 2096-2096 Terrorist attack is a subclass of attack
s__termFormat(s__ChineseLanguage,s__Attack,'"攻击"')

domainEnglishFormat.kif 8989-8989
s__termFormat(s__ChineseTraditionalLanguage,s__Attack,'"攻擊"')

domainEnglishFormat.kif 8988-8988
s__termFormat(s__EnglishLanguage,s__Attack,'"attack"')

domainEnglishFormat.kif 8987-8987

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12432-12441
( ! [V__ATTACK] :
   (s__instance(V__ATTACK,s__Attack) =>
     ( ? [V__CONTEST] :
       ((s__instance(V__CONTEST,s__ViolentContest) &
           s__subProcess(V__ATTACK,V__CONTEST))))
   )
)

Merge.kif 12425-12430

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19555-19567
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 89-103
( ! [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 12465-12472
( ! [V__OBJ,V__PSR] :
   ((s__instance(V__PSR,s__PoststrikeReconnaissance) &
       s__patient(V__PSR,V__OBJ))
   =>
   ( ? [V__ATTACK] :
     ((s__instance(V__ATTACK,s__Attack) &
         s__patient(V__ATTACK,V__OBJ)
       &
       s__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 16273-16287
( ! [V__AGENT,V__RbF] :
   (s__instance(V__AGENT,s__Agent) =>
     (s__instance(V__RbF,s__ReconnaissanceByFire) &
       s__agent(V__RbF,V__AGENT))
   =>
   ( ? [V__ATTACK, V__HOSTILE] :
     ((s__patient(V__RbF,V__HOSTILE)
       &
       s__subProcess(V__ATTACK,V__RbF)
     &
     s__instance(V__ATTACK,s__Attack) &
     s__agent(V__ATTACK,V__AGENT)
   &
   s__patient(V__ATTACK,V__HOSTILE))))
)
)

MilitaryProcesses.kif 713-723
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 694-704
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 482-498
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 535-547
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1935-1941
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