Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass Attack Maneuver) Merge.kif 13708-13708 Attack is a subclass of maneuver
(documentation Attack EnglishLanguage "A Maneuver in a ViolentContest where the agent attempts to inflict damage on the patient.") Merge.kif 13709-13710 Attack is a subclass of maneuver
(externalImage Attack "http://upload.wikimedia.org/wikipedia/commons/a/a2/ Foiltouch.jpg") pictureList.kif 9893-9893 Attack is a subclass of maneuver
(externalImage Attack "http://upload.wikimedia.org/wikipedia/commons/d/d9/ Ouch_boxing_footwork.jpg") pictureList.kif 10445-10445 Attack is a subclass of maneuver
(externalImage Attack "http://upload.wikimedia.org/wikipedia/commons/e/ee/ Wushu_dao.jpg") pictureList.kif 10446-10446 Attack is a subclass of maneuver
(externalImage Attack "http://upload.wikimedia.org/wikipedia/commons/9/9b/ Kick.JPG") pictureList.kif 10447-10447 Attack is a subclass of maneuver

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


(subclass AerialWarfare Attack) Military.kif 394-394 Aerial warfare is a subclass of attack
(subclass MilitaryScreeningTactic Attack) Military.kif 413-413 Military screening tactic is a subclass of attack
(subclass StandoffAttack Attack) MilitaryProcesses.kif 437-437 Standoff attack is a subclass of attack
(subclass CTNwInfraAttack Attack) MilitaryProcesses.kif 2076-2076 CT nw infra attack is a subclass of attack
(subclass TerroristAttack Attack) MilitaryProcesses.kif 2137-2137 Terrorist attack is a subclass of attack
(subclass BiochemicalAttack Attack) WMD.kif 40-40 Biochemical attack is a subclass of attack
(termFormat EnglishLanguage Attack "attack") domainEnglishFormat.kif 8974-8974 Biochemical attack is a subclass of attack
(termFormat ChineseTraditionalLanguage Attack "攻擊") domainEnglishFormat.kif 8975-8975 Biochemical attack is a subclass of attack
(termFormat ChineseLanguage Attack "攻击") domainEnglishFormat.kif 8976-8976 Biochemical attack is a subclass of attack

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


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

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


(=>
    (instance ?ATTACK Attack)
    (exists (?CONTEST)
        (and
            (instance ?CONTEST ViolentContest)
            (subProcess ?ATTACK ?CONTEST))))		 Merge.kif 13712-13717 If X is an instance of attack, then there exists Y such that Y is an instance of violent contest and X is a subprocess of Y
(=>
    (and
        (instance ?ATTACK Attack)
        (agent ?ATTACK ?AGENT)
        (patient ?ATTACK ?OBJ))
    (hasPurposeForAgent ?ATTACK ?AGENT
        (exists (?DAMAGE)
            (and
                (instance ?DAMAGE Damaging)
                (patient ?DAMAGE ?OBJ)))))		 Merge.kif 13719-13728 If X is an instance of attack, Y is an agent of X, and Z is a patient of X, then X has the purpose Y for there exists W such that W is an instance of damaging and Z is a patient of W

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


(=>
    (and
        (instance ?MANEUVER Maneuver)
        (instance ?CONTEST ViolentContest)
        (subProcess ?MANEUVER ?CONTEST))
    (or
        (instance ?MANEUVER Attack)
        (instance ?MANEUVER DefensiveManeuver)))		 Merge.kif 13752-13759 If X is an instance of maneuver, Y is an instance of violent contest, and X is a subprocess of Y, then X is an instance of attack or X is an instance of defensive maneuver
(=>
    (and
        (instance ?R Robbing)
        (agent ?R ?P)
        (victim ?R ?P2))
    (exists (?T)
        (and
            (instance ?T Threatening)
            (subProcess ?T ?R)
            (fears ?P2
                (exists (?A)
                    (and
                        (instance ?A Attack)
                        (agent ?A ?P)
                        (victim ?A ?P2)))))))		 Mid-level-ontology.kif 20519-20533 If X is an instance of robbing, Y is an agent of X, and Z is the victim in X, then there exists W such that W is an instance of threatening, W is a subprocess of X, Z fears there exists V such that V is an instance of attack, Y is an agent of V, and Z is the victim in V
(=>
    (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 24050-24062 If X is an instance of ambush and Y is an agent of X, then there exists Z such that Z is an instance of concealing, Z is a subprocess of X, Z has the purpose there exists W such that W is an instance of attack, and Y is an agent of W
(=>
    (instance ?TANK MilitaryTank)
    (hasPurpose ?TANK
        (exists (?A ?M)
            (and
                (instance ?A Attack)
                (subProcess ?A ?M)
                (instance ?M MilitaryAssault)
                (instrument ?A ?TANK)))))		 Military.kif 171-179 If X is an instance of military tank, then X has the purpose there exist Y, Z such that Y is an instance of attack, Y is a subprocess of Z, Z is an instance of military assault, and X is an instrument for Y
(=>
    (instance ?F Fighter)
    (hasPurpose ?F
        (exists (?A ?MA)
            (and
                (instance ?A Attack)
                (instrument ?A ?F)
                (patient ?A ?MA)
                (instance ?MA MilitaryAircraft)))))		 Military.kif 250-258 If X is an instance of fighter, then X has the purpose there exist Y, Z such that Y is an instance of attack, X is an instrument for Y, Z is a patient of Y, and Z is an instance of military aircraft
(=>
    (instance ?W AerialWarfare)
    (hasPurpose ?W
        (exists (?A ?I)
            (and
                (instance ?A Attack)
                (instrument ?A ?I)
                (or
                    (instance ?I MilitaryAircraft)
                    (instance ?I Missile))))))		 Military.kif 401-410 If X is an instance of aerial warfare, then X has the purpose there exist Y, Z such that Y is an instance of attack, Z is an instrument for Y, and Z is an instance of military aircraft or Z is an instance of missile
(=>
    (instance ?CH AH1)
    (hasPurpose ?CH
        (exists (?ATTACK)
            (and
                (instance ?ATTACK Attack)
                (instrument ?ATTACK ?CH)))))		 MilitaryDevices.kif 2092-2098 If X is an instance of A h1, then X has the purpose there exists Y such that Y is an instance of attack and X is an instrument for Y
(=>
    (and
        (instance ?AR ArmedReconnaissance)
        (agent ?AR ?AGENT)
        (patient ?AR ?HOSTILE)
        (holdsDuring
            (WhenFn ?AR)
            (enemy ?AGENT ?HOSTILE)))
    (confersRight ?AR ?AGENT
        (exists (?ATTACK)
            (and
                (instance ?ATTACK Attack)
                (agent ?ATTACK ?AGENT)
                (patient ?ATTACK ?HOSTILE)))))		 MilitaryProcesses.kif 89-103 If X is an instance of armed reconnaissance, Y is an agent of X, Z is a patient of X, and Y and Z are enemies of each other holds during the time of existence of X, then Y allows there exists W such that W is an instance of attack, Y is an agent of W, and Z is a patient of W to perform task of the type X
(=>
    (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 If X is an instance of poststrike reconnaissance and Y is a patient of X, then there exists Z such that Z is an instance of attack, Y is a patient of Z, and the time of existence of Z happens earlier than the time of existence of X
(=>
    (and
        (instance ?TA_CTRL TerminalAttackControl)
        (agent ?TA_CTRL ?AGENT1)
        (patient ?TA_CTRL ?TARGET))
    (exists (?AGENT2)
        (and
            (not
                (equal ?AGENT1 ?AGENT2))
            (confersRight ?TA_CTRL ?AGENT2
                (exists (?ATTACK)
                    (and
                        (instance ?ATTACK Attack)
                        (agent ?ATTACK ?AGENT2)
                        (patient ?ATTACK ?TARGET)))))))		 MilitaryProcesses.kif 484-500 If ?TA_CTRL is an instance of terminal attack control, Y is an agent of ?TA_CTRL, and Z is a patient of ?TA_CTRL, then there exists W such that equal Y, W, W allows there exists V such that V is an instance of attack, W is an agent of V, and Z is a patient of V to perform task of the type ?TA_CTRL
(=>
    (and
        (instance ?TA_CTRL TerminalGuidance)
        (agent ?TA_CTRL ?AGENT)
        (patient ?TA_CTRL ?TARGET))
    (not
        (holdsRight ?AGENT
            (exists (?ATTACK)
                (and
                    (instance ?ATTACK Attack)
                    (agent ?ATTACK ?AGENT)
                    (patient ?ATTACK ?TARGET))))))		 MilitaryProcesses.kif 539-550 If ?TA_CTRL is an instance of terminal guidance, Y is an agent of ?TA_CTRL, and Z is a patient of ?TA_CTRL, then Y doesn't have the right to perform %3
(=>
    (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 716-726 If X is an instance of reconnaissance operation and Y is an agent of X, then X does not have the purpose there don't exist Z, W such that Z is an instance of attack, Y is an agent of Z, and W is a patient of Z
(=>
    (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 735-745 If X is an instance of reconnaissance by fire and Y is an agent of X, then there exist Z, W such that W is a patient of X, Z is a subprocess of X, Z is an instance of attack, Y is an agent of Z, and W is a patient of Z
(=>
    (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 2873-2887 If X is an instance of Facility, militarily secure is an attribute of X holds during Y, Z is an instance of military force, and Z possesses X, then All of the following hold: (1) there don't exist W (2) V such that W is an instance of attack (3) Y takes place during the time of existence of W (4) W ends up at X (5) V is an agent of W (6) Z (7) V are enemies of each other


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners