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


(documentation Attack ChineseLanguage "这是在 ViolentContest 中的一种 Maneuver,它发生在当 agent 尝试对 patient 造成伤害。") Merge.kif 13402-13403
(documentation Attack EnglishLanguage "A Maneuver in a ViolentContest where the agent attempts to inflict damage on the patient.") Merge.kif 13400-13401
(externalImage 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
(externalImage 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
(externalImage 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
(externalImage 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
(subclass Attack Maneuver) Merge.kif 13399-13399 Attack is a subclass of maneuver

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


(subclass BiochemicalAttack Attack) WMD.kif 40-40 Biochemical attack is a subclass of attack
(subclass CTNwInfraAttack Attack) MilitaryProcesses.kif 2022-2022 CT nw infra attack is a subclass of attack
(subclass StandoffAttack Attack) MilitaryProcesses.kif 428-428 Standoff attack is a subclass of attack
(subclass TerroristAttack Attack) MilitaryProcesses.kif 2083-2083 Terrorist attack is a subclass of attack
(termFormat EnglishLanguage Attack "attack") domainEnglishFormat.kif 1931-1931 "attack" is the printable form of attack in english language

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


(=>
    (and
        (instance ?ATTACK Attack)
        (agent ?ATTACK ?AGENT)
        (patient ?ATTACK ?OBJ))
    (hasPurposeForAgent ?ATTACK
        (exists (?DAMAGE)
            (and
                (instance ?DAMAGE Damaging)
                (patient ?DAMAGE ?OBJ))) ?AGENT))
Merge.kif 13412-13421
(=>
    (instance ?ATTACK Attack)
    (exists (?CONTEST)
        (and
            (instance ?CONTEST ViolentContest)
            (subProcess ?ATTACK ?CONTEST))))
Merge.kif 13405-13410

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


(=>
    (and
        (instance ?AMBUSH Ambush)
        (agent ?AMBUSH ?AG))
    (exists (?C)
        (and
            (instance ?C Concealing)
            (subProcess ?C ?AMBUSH)
            (hasPurpose ?C
                (exists (?ATTACK)
                    (and
                        (instance ?ATTACK Attack)
                        (agent ?ATTACK ?AG)))))))
Mid-level-ontology.kif 19542-19554
(=>
    (and
        (instance ?AR ArmedReconnaissance)
        (agent ?AR ?AGENT)
        (patient ?AR ?HOSTILE)
        (holdsDuring
            (WhenFn ?AR)
            (enemy ?AGENT ?HOSTILE)))
    (confersRight
        (exists (?ATTACK)
            (and
                (instance ?ATTACK Attack)
                (agent ?ATTACK ?AGENT)
                (patient ?ATTACK ?HOSTILE))) ?AR ?AGENT))
MilitaryProcesses.kif 89-103
(=>
    (and
        (instance ?MANEUVER Maneuver)
        (instance ?CONTEST ViolentContest)
        (subProcess ?MANEUVER ?CONTEST))
    (or
        (instance ?MANEUVER Attack)
        (instance ?MANEUVER DefensiveManeuver)))
Merge.kif 13447-13454
(=>
    (and
        (instance ?PSR PoststrikeReconnaissance)
        (patient ?PSR ?OBJ))
    (exists (?ATTACK)
        (and
            (instance ?ATTACK Attack)
            (patient ?ATTACK ?OBJ)
            (earlier
                (WhenFn ?ATTACK)
                (WhenFn ?PSR)))))
MilitaryProcesses.kif 121-129
(=>
    (and
        (instance ?R Robbing)
        (agent ?R ?P)
        (patient ?R ?P2))
    (exists (?T)
        (and
            (instance ?T Threatening)
            (subProcess ?T ?R)
            (patient ?T
                (exists (?A)
                    (and
                        (instance ?A Attack)
                        (agent ?A ?P)
                        (patient ?A ?P2)))))))
Mid-level-ontology.kif 16190-16204
(=>
    (and
        (instance ?RbF ReconnaissanceByFire)
        (agent ?RbF ?AGENT))
    (exists (?ATTACK ?HOSTILE)
        (and
            (patient ?RbF ?HOSTILE)
            (subProcess ?ATTACK ?RbF)
            (instance ?ATTACK Attack)
            (agent ?ATTACK ?AGENT)
            (patient ?ATTACK ?HOSTILE))))
MilitaryProcesses.kif 702-712
(=>
    (and
        (instance ?SR ReconnaissanceOperation)
        (agent ?SR ?AGENT))
    (not
        (hasPurpose ?SR
            (exists (?ATTACK ?HOSTILE)
                (and
                    (instance ?ATTACK Attack)
                    (agent ?ATTACK ?AGENT)
                    (patient ?ATTACK ?HOSTILE))))))
MilitaryProcesses.kif 683-693
(=>
    (and
        (instance ?TA_CTRL TerminalAttackControl)
        (agent ?TA_CTRL ?AGENT1)
        (patient ?TA_CTRL ?TARGET))
    (exists (?AGENT2)
        (confersRight
            (exists (?ATTACK)
                (and
                    (instance ?ATTACK Attack)
                    (agent ?ATTACK ?AGENT2)
                    (patient ?ATTACK ?TARGET))) ?TA_CTRL ?AGENT2)))
MilitaryProcesses.kif 473-486
(=>
    (and
        (instance ?TA_CTRL TerminalAttackControl)
        (agent ?TA_CTRL ?AGENT1)
        (patient ?TA_CTRL ?TARGET))
    (not
        (confersRight
            (exists (?ATTACK)
                (and
                    (instance ?ATTACK Attack)
                    (agent ?ATTACK ?AGENT2)
                    (patient ?ATTACK ?TARGET))) ?TA_CTRL ?AGENT2)))
MilitaryProcesses.kif 523-536
(=>
    (instance ?CH AH1)
    (hasPurpose ?CH
        (exists (?ATTACK)
            (and
                (instance ?ATTACK Attack)
                (instrument ?ATTACK ?CH)))))
MilitaryDevices.kif 1934-1940
(=>
    (instance ?F Fighter)
    (hasPurpose ?F
        (exists (?A ?MA)
            (and
                (instance ?A Attack)
                (instrument ?A ?F)
                (patient ?A ?MA)
                (instance ?MA MilitaryAircraft)))))
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