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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - enemy
enemy

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


(documentation enemy EnglishLanguage "Marks two Agents that are enemies of each other") MilitaryProcesses.kif 2451-2452
(domain enemy 1 Agent) MilitaryProcesses.kif 2446-2446 domain enemy, 1 and Agent
(domain enemy 2 Agent) MilitaryProcesses.kif 2447-2447 domain enemy, 2 and Agent
(instance enemy ObjectAttitude) MilitaryProcesses.kif 2448-2448 instance enemy and ObjectAttitude
(instance enemy SymmetricRelation) MilitaryProcesses.kif 2449-2449 instance enemy and SymmetricRelation
(subrelation enemy inScopeOfInterest) MilitaryProcesses.kif 2450-2450 subrelation enemy and inScopeOfInterest

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


(format EnglishLanguage enemy "%1 and %2 are %n enemies of each other") MilitaryProcesses.kif 2690-2690

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


(=>
    (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 ?DIO DefensiveInformationOperation)
        (agent ?DIO ?AGENT)
        (enemy ?AGENT ?ENEMY)
        (desires ?ENEMY
            (knows ?ENEMY ?FORMULA))
        (desires ?AGENT
            (not
                (knows ?ENEMY ?FORMULA))))
    (hasPurpose ?DIO
        (not
            (knows ?ENEMY ?FORMULA))))		 MilitaryProcesses.kif 1876-1888
(=>
    (and
        (instance ?F MilitaryForce)
        (instance ?P Human)
        (instance ?I Imprisoning)
        (member ?P ?F)
        (agent ?I ?E)
        (patient ?I ?P)
        (enemy ?E ?P)
        (eventLocated ?I ?LOC)
        (attribute ?LOC WarState))
    (attribute ?P PrisonerOfWar))		 MilitaryPersons.kif 285-296
(=>
    (enemy ?AGENT1 ?AGENT2)
    (and
        (believes ?AGENT1
            (attribute ?AGENT2 Enemy))
        (believes ?AGENT2
            (attribute ?AGENT1 Enemy))))		 MilitaryProcesses.kif 2462-2468
(=>
    (enemy ?AGENT1 ?AGENT2)
    (dislikes ?AGENT1 ?AGENT2))		 MilitaryProcesses.kif 2454-2456

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


(=>
    (and
        (instance ?ABORTED
            (AbortedMissionFn ?A ?MISSION))
        (causes ?ACTION ?ABORTED)
        (agent ?ACTION ?OTHER_A)
        (agent ?MISSION ?THIS_A))
    (not
        (enemy ?OTHER_A ?THIS_A)))		 MilitaryProcesses.kif 2439-2444
(=>
    (and
        (instance ?CAA CivilAffairsAgreement)
        (partyToAgreement ?AGENT1 ?CAA)
        (partyToAgreement ?AGENT2 ?CAA))
    (not
        (enemy ?AGENT1 ?AGENT2)))		 MilitaryProcesses.kif 2331-2337
(=>
    (and
        (instance ?CAA CivilAffairsAgreement)
        (partyToAgreement ?AGENT_MIL_THIS ?CAA)
        (instance ?AGENT_MIL_THIS MilitaryOrganization)
        (militaryOfArea ?AGENT_MIL_THIS ?NATION_THIS)
        (instance ?NATION_THIS Nation)
        (located ?AGENT_MIL_THIS ?NATION_FRIENDLY)
        (instance ?NATION_FRIENDLY Nation))
    (and
        (not
            (equal ?NATION_THIS ?NATION_FRIENDLY))
        (not
            (enemy ?NATION_THIS ?NATION_FRIENDLY))
        (exists (?AGENT_FRIENDLY)
            (and
                (located ?AGENT_FRIENDLY ?NATION_FRIENDLY)
                (partyToAgreement ?AGENT_FRIENDLY ?CAA)
                (not
                    (instance ?AGENT_FRIENDLY MilitaryOrganization))))))		 MilitaryProcesses.kif 2308-2327
(=>
    (and
        (instance ?CO CounterOperation)
        (agent ?CO ?AGENT))
    (exists (?ENEMY ?OP)
        (and
            (enemy ?AGENT ?ENEMY)
            (agent ?OP ?ENEMY)
            (hasPurpose ?CO
                (prevents ?CO ?OP)))))		 MilitaryProcesses.kif 2175-2184
(=>
    (and
        (instance ?CO CounterReconnaissance)
        (agent ?CO ?AGENT))
    (exists (?ENEMY ?OP)
        (and
            (enemy ?AGENT ?ENEMY)
            (agent ?OP ?ENEMY)
            (instance ?OP ReconnaissanceOperation)
            (hasPurpose ?CO
                (prevents ?CO ?OP)))))		 MilitaryProcesses.kif 2193-2203
(=>
    (and
        (instance ?CO CounterTerrorism)
        (agent ?CO ?AGENT))
    (exists (?ENEMY ?OP)
        (and
            (enemy ?AGENT ?ENEMY)
            (agent ?OP ?ENEMY)
            (instance ?OP Terrorism)
            (hasPurpose ?CO
                (prevents ?CO ?OP)))))		 MilitaryProcesses.kif 2032-2042
(=>
    (and
        (instance ?CO CounterproliferationWMD)
        (agent ?CO ?AGENT))
    (exists (?ENEMY ?OP)
        (and
            (enemy ?AGENT ?ENEMY)
            (agent ?OP ?ENEMY)
            (instance ?OP ProliferationWMD)
            (hasPurpose ?CO
                (prevents ?CO ProliferationWMD)))))		 MilitaryProcesses.kif 1478-1488
(=>
    (attribute ?P Enemy)
    (exists (?AGENT)
        (enemy ?AGENT ?P)))		 MilitaryProcesses.kif 2470-2473
(=>
    (instance ?HN HostNation)
    (exists (?GETTING ?FORCES ?OTHERNATION ?MILITARY)
        (and
            (instance ?OTHERNATION Nation)
            (instance ?MILITARY MilitaryForce)
            (militaryOfArea ?MILITARY ?OTHERNATION)
            (subOrganization ?FORCES ?MILITARY)
            (not
                (equal ?HN ?OTHERNATION))
            (not
                (enemy ?HN ?OTHERNATION))
            (instance ?GETTING Getting)
            (agent ?GETTING ?HN)
            (patient ?GETTING ?FORCES)
            (instance ?FORCES MilitaryForce)
            (located ?FORCES ?HN))))		 MilitaryProcesses.kif 1357-1373


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