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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Attack

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 造成伤害。") chinese_format.kif 3304-3305
(documentation Attack EnglishLanguage "A Maneuver in a ViolentContest where the agent attempts to inflict damage on the patient.") Merge.kif 13445-13446
(externalImage Attack "http://upload.wikimedia.org/wikipedia/commons/9/9b/ Kick.JPG") pictureList.kif 10449-10449
(externalImage Attack "http://upload.wikimedia.org/wikipedia/commons/a/a2/ Foiltouch.jpg") pictureList.kif 9894-9894
(externalImage Attack "http://upload.wikimedia.org/wikipedia/commons/d/d9/ Ouch-boxing-footwork.jpg") pictureList.kif 10447-10447
(externalImage Attack "http://upload.wikimedia.org/wikipedia/commons/e/ee/ Wushu_dao.jpg") pictureList.kif 10448-10448
(subclass Attack Maneuver) Merge.kif 13444-13444 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 2053-2053 CT nw infra attack is a subclass of attack
(subclass StandoffAttack Attack) MilitaryProcesses.kif 437-437 Standoff attack is a subclass of attack
(subclass TerroristAttack Attack) MilitaryProcesses.kif 2114-2114 Terrorist attack is a subclass of attack
(termFormat ChineseLanguage Attack "攻击") domainEnglishFormat.kif 8984-8984 Terrorist attack is a subclass of attack
(termFormat ChineseTraditionalLanguage Attack "攻擊") domainEnglishFormat.kif 8983-8983 Terrorist attack is a subclass of attack
(termFormat EnglishLanguage Attack "attack") domainEnglishFormat.kif 8982-8982 Terrorist attack is a subclass of attack

appearance as argument number 3
-------------------------


(domain target 1 Attack) MilitaryProcesses.kif 2805-2805 The number 1 argument of target is an instance of attack

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 13455-13464
(=>
    (instance ?ATTACK Attack)
    (exists (?CONTEST)
        (and
            (instance ?CONTEST ViolentContest)
            (subProcess ?ATTACK ?CONTEST))))
Merge.kif 13448-13453

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 22040-22052
(=>
    (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 ?F Facility)
        (holdsDuring ?T
            (attribute ?F MilitarilySecure))
        (instance ?MF MilitaryForce)
        (possesses ?MF ?F))
    (not
        (exists (?A ?E)
            (and
                (instance ?A Attack)
                (during ?T
                    (WhenFn ?A))
                (destination ?A ?F)
                (agent ?A ?E)
                (enemy ?MF ?E)))))
MilitaryProcesses.kif 2849-2863
(=>
    (and
        (instance ?MANEUVER Maneuver)
        (instance ?CONTEST ViolentContest)
        (subProcess ?MANEUVER ?CONTEST))
    (or
        (instance ?MANEUVER Attack)
        (instance ?MANEUVER DefensiveManeuver)))
Merge.kif 13488-13495
(=>
    (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 18858-18872
(=>
    (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 713-723
(=>
    (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 694-704
(=>
    (and
        (instance ?TA_CTRL TerminalAttackControl)
        (agent ?TA_CTRL ?AGENT1)
        (patient ?TA_CTRL ?TARGET))
    (exists (?AGENT2)
        (and
            (not
                (equal ?AGENT1 ?AGENT2))
            (confersRight
                (exists (?ATTACK)
                    (and
                        (instance ?ATTACK Attack)
                        (agent ?ATTACK ?AGENT2)
                        (patient ?ATTACK ?TARGET))) ?TA_CTRL ?AGENT2))))
MilitaryProcesses.kif 482-498
(=>
    (and
        (instance ?TA_CTRL TerminalGuidance)
        (agent ?TA_CTRL ?AGENT)
        (patient ?TA_CTRL ?TARGET))
    (not
        (holdsRight
            (exists (?ATTACK)
                (and
                    (instance ?ATTACK Attack)
                    (agent ?ATTACK ?AGENT)
                    (patient ?ATTACK ?TARGET))) ?AGENT)))
MilitaryProcesses.kif 535-547
(=>
    (instance ?CH AH1)
    (hasPurpose ?CH
        (exists (?ATTACK)
            (and
                (instance ?ATTACK Attack)
                (instrument ?ATTACK ?CH)))))
MilitaryDevices.kif 1935-1941
(=>
    (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 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