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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Attack
Attack

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


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


(documentation Attack ChineseLanguage "这是在 ViolentContest 中的一种 Maneuver,它发生在当 agent 尝试对 patient 造成伤害。") Merge.kif 17773-17774
(documentation Attack EnglishLanguage "A Maneuver in a ViolentContest where the agent attempts to inflict damage on the patient.") Merge.kif 17771-17772
(externalImage Attack "http://upload.wikimedia.org/wikipedia/commons/9/9b/ Kick.JPG") pictureList.kif 10470-10470
(externalImage Attack "http://upload.wikimedia.org/wikipedia/commons/a/a2/ Foiltouch.jpg") pictureList.kif 9912-9912
(externalImage Attack "http://upload.wikimedia.org/wikipedia/commons/d/d9/ Ouch-boxing-footwork.jpg") pictureList.kif 10468-10468
(externalImage Attack "http://upload.wikimedia.org/wikipedia/commons/e/ee/ Wushu_dao.jpg") pictureList.kif 10469-10469
(subclass Attack Maneuver) Merge.kif 17770-17770

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


(subclass BiochemicalAttack Attack) WMD.kif 40-40
(subclass CTNwInfraAttack Attack) MilitaryProcesses.kif 2022-2022
(subclass StandoffAttack Attack) MilitaryProcesses.kif 428-428
(subclass TerroristAttack Attack) MilitaryProcesses.kif 2083-2083
(termFormat ChineseLanguage Attack "攻击") domainEnglishFormat.kif 8989-8989
(termFormat ChineseTraditionalLanguage Attack "攻擊") domainEnglishFormat.kif 8988-8988
(termFormat EnglishLanguage Attack "attack") domainEnglishFormat.kif 8987-8987

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 17783-17792
(=>
    (instance ?ATTACK Attack)
    (exists (?CONTEST)
        (and
            (instance ?CONTEST ViolentContest)
            (subProcess ?ATTACK ?CONTEST))))
Merge.kif 17776-17781

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 19543-19555
(=>
    (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 17818-17825
(=>
    (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 16191-16205
(=>
    (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