(=>
(and
(attribute ?OFFICER ?COR)
(instance ?COR CommissionedOfficerRank))
(exists (?MANAGE ?PATIENT)
(and
(instance ?MANAGE Managing)
(agent ?MANAGE ?OFFICER)
(patient ?MANAGE ?PATIENT)
(or
(instance ?PATIENT MilitaryOrganization)
(attribute ?PATIENT Soldier))))) |
Military.kif 286-297 |
|
(=>
(and
(holdsDuring ?T1
(attribute ?P Evacuee))
(instance ?T1 TimeInterval))
(exists (?EV ?MIL)
(and
(instance ?EV Evacuation)
(agent ?EV ?MIL)
(instance ?MIL MilitaryOrganization)
(experiencer ?EV ?P)
(earlier
(WhenFn ?EV) ?T1)))) |
MilitaryPersons.kif 120-131 |
|
(=>
(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 |
|
(=>
(attribute ?OFFICER MilitaryOfficer)
(exists (?MANAGE ?PATIENT)
(and
(instance ?MANAGE Managing)
(agent ?MANAGE ?OFFICER)
(patient ?MANAGE ?PATIENT)
(or
(instance ?PATIENT MilitaryOrganization)
(attribute ?PATIENT Soldier))))) |
Mid-level-ontology.kif 19294-19303 |
|
(=>
(holdsDuring ?T1
(attribute ?X MilitaryPerson))
(exists (?ORG)
(and
(instance ?ORG MilitaryOrganization)
(holdsDuring ?T1
(member ?X ?ORG))))) |
Mid-level-ontology.kif 22778-22783 |
|
(=>
(instance ?A MilitaryArtifact)
(hasPurpose ?A
(exists (?O)
(and
(instance ?O MilitaryOrganization)
(uses ?A ?O))))) |
Mid-level-ontology.kif 18123-18129 |
|
(=>
(instance ?CAA CivilAffairsActivity)
(exists (?AGENT1 ?AGENT2)
(and
(agent ?CAA ?AGENT1)
(agent ?CAA ?AGENT2)
(not
(equal ?AGENT1 ?AGENT2))
(instance ?AGENT1 MilitaryOrganization)
(not
(instance ?AGENT2 MilitaryOrganization))))) |
MilitaryProcesses.kif 2398-2408 |
|
(=>
(instance ?CAO CivilAffairsOperation)
(exists (?AGENT1 ?AGENT2)
(and
(agent ?CAO ?AGENT1)
(agent ?CAO ?AGENT2)
(not
(equal ?AGENT1 ?AGENT2))
(instance ?AGENT1 MilitaryOrganization)
(not
(instance ?AGENT2 MilitaryOrganization))))) |
MilitaryProcesses.kif 2256-2266 |
|
(=>
(instance ?CAO CivilMilitaryOperation)
(exists (?AGENT1 ?AGENT2)
(and
(agent ?CAO ?AGENT1)
(agent ?CAO ?AGENT2)
(not
(equal ?AGENT1 ?AGENT2))
(instance ?AGENT1 MilitaryOrganization)
(not
(instance ?AGENT2 MilitaryOrganization))))) |
MilitaryProcesses.kif 2288-2298 |
|
(=>
(instance ?S MilitarySurplus)
(exists (?A ?B)
(and
(instance ?B Buying)
(patient ?B ?A)
(objectTransferred ?B ?S)
(not
(instance ?A MilitaryOrganization))
(not
(member ?A MilitaryOrganization))))) |
Mid-level-ontology.kif 8624-8634 |
|
(=>
(instance ?V MilitaryVehicle)
(hasPurpose ?V
(exists (?O)
(and
(instance ?O MilitaryOrganization)
(uses ?V ?O))))) |
Military.kif 137-143 |
|