(=>
(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 2440-2445 |
|
(=>
(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 2849-2863 |
|
(=>
(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 2865-2880 |
|
(=>
(holdsDuring ?T
(allied ?AGENT1 ?AGENT2))
(holdsDuring ?T
(not
(enemy ?AGENT1 ?AGENT2)))) |
MilitaryProcesses.kif 2493-2498 |
|
(=>
(holdsDuring ?T
(attribute ?P Enemy))
(exists (?AGENT)
(holdsDuring ?T
(enemy ?AGENT ?P)))) |
MilitaryProcesses.kif 2475-2480 |
|
(=>
(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 163-175 |
|