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

Formal Language: 


KB Term:  Term intersection
English Word: 

  enemy

 Sigma KEE - enemy
enemy

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


(disjoint enemy allied) MilitaryProcesses.kif 2470-2470
(documentation enemy EnglishLanguage "Marks two Agents that are enemies of each other") MilitaryProcesses.kif 2453-2454
(domain enemy 1 AutonomousAgent) MilitaryProcesses.kif 2448-2448
(domain enemy 2 AutonomousAgent) MilitaryProcesses.kif 2449-2449
(instance enemy ObjectAttitude) MilitaryProcesses.kif 2450-2450
(instance enemy SymmetricRelation) MilitaryProcesses.kif 2451-2451
(subrelation enemy inScopeOfInterest) MilitaryProcesses.kif 2452-2452

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


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

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
(=>
    (holdsDuring ?T
        (enemy ?AGENT1 ?AGENT2))
    (holdsDuring ?T
        (dislikes ?AGENT1 ?AGENT2)))		 MilitaryProcesses.kif 2456-2460

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 2441-2446
(=>
    (and
        (instance ?CAA CivilAffairsAgreement)
        (partyToAgreement ?AGENT1 ?CAA)
        (partyToAgreement ?AGENT2 ?CAA))
    (not
        (enemy ?AGENT1 ?AGENT2)))		 MilitaryProcesses.kif 2332-2338
(=>
    (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 2309-2328
(=>
    (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
(=>
    (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 2832-2846
(=>
    (and
        (instance ?F Facility)
        (holdsDuring ?T
            (attribute ?F MilitarilySecure))
        (instance ?MF MilitaryForce)
        (possesses ?MF ?F))
    (not
        (exists (?E)
            (and
                (enemy ?MF ?E)
                (holdsDuring ?T
                    (and
                        (located ?E ?F)
                        (not
                            (attribute ?E PrisonerOfWar))))))))		 MilitaryProcesses.kif 2848-2863
(=>
    (holdsDuring ?T
        (allied ?AGENT1 ?AGENT2))
    (holdsDuring ?T
        (not
            (enemy ?AGENT1 ?AGENT2))))		 MilitaryProcesses.kif 2474-2479
(=>
    (instance ?CO CounterOperation)
    (hasPurpose ?CO
        (exists (?AGENT ?ENEMY ?OP ?CLASS)
            (and
                (agent ?CO ?AGENT)
                (enemy ?AGENT ?ENEMY)
                (subclass ?CLASS MilitaryOperation)
                (instance ?OP ?CLASS)
                (agent ?OP ?ENEMY)
                (prevents ?CO ?CLASS)))))		 MilitaryProcesses.kif 2174-2184
(=>
    (instance ?CO CounterReconnaissance)
    (hasPurpose ?CO
        (exists (?AGENT ?ENEMY ?OP ?CLASS)
            (and
                (agent ?CO ?AGENT)
                (enemy ?AGENT ?ENEMY)
                (subclass ?CLASS ReconnaissanceOperation)
                (instance ?OP ?CLASS)
                (agent ?OP ?ENEMY)
                (prevents ?CO ?CLASS)))))		 MilitaryProcesses.kif 2193-2203
(=>
    (instance ?CO CounterTerrorism)
    (hasPurpose ?CO
        (exists (?AGENT ?ENEMY ?OP ?CLASS)
            (and
                (agent ?CO ?AGENT)
                (enemy ?AGENT ?ENEMY)
                (subclass ?CLASS Terrorism)
                (instance ?OP ?CLASS)
                (agent ?OP ?ENEMY)
                (prevents ?CO ?CLASS)))))		 MilitaryProcesses.kif 2032-2042
(=>
    (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
(=>
    (instance ?S Soccer)
    (exists (?A ?B ?M1 ?M2)
        (and
            (instance ?A GroupOfPeople)
            (memberCount ?A 11)
            (instance ?B GroupOfPeople)
            (memberCount ?B 11)
            (not
                (equal ?A ?B))
            (member ?M1 ?A)
            (member ?M1 ?B)
            (enemy ?M1 ?M2))))		 Sports.kif 175-187


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