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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Attack
Attack

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 13399-13400
(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 13398-13398

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


(subclass BiochemicalAttack Attack) WMD.kif 40-40
(subclass CTNwInfraAttack Attack) MilitaryProcesses.kif 2053-2053
(subclass StandoffAttack Attack) MilitaryProcesses.kif 437-437
(subclass TerroristAttack Attack) MilitaryProcesses.kif 2114-2114
(termFormat ChineseLanguage Attack "攻击") domainEnglishFormat.kif 8976-8976
(termFormat ChineseTraditionalLanguage Attack "攻擊") domainEnglishFormat.kif 8975-8975
(termFormat EnglishLanguage Attack "attack") domainEnglishFormat.kif 8974-8974

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 13409-13418
(=>
    (instance ?ATTACK Attack)
    (exists (?CONTEST)
        (and
            (instance ?CONTEST ViolentContest)
            (subProcess ?ATTACK ?CONTEST))))
Merge.kif 13402-13407

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 21757-21769
(=>
    (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 13442-13449
(=>
    (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 18600-18614
(=>
    (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 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