  ListFn__7Fn__0En1Re2Re3Re4In5Re6Ra7RaFn
|
|
Sigma KEE - militaryOfArea
|
appearance as argument number 1
|
|
|
|
appearance as argument number 2
|
|
|
|
antecedent
|
|
|
(=>
(and
(militaryAge ?AREA
(MeasureFn ?MILITARYAGE YearDuration))
(militaryOfArea ?MILITARY ?AREA)
(member ?AGENT ?MILITARY))
(exists (?AGE)
(and
(age ?AGENT
(MeasureFn ?AGE YearDuration))
(greaterThanOrEqualTo ?AGE ?MILITARYAGE)))) |
Military.kif 1104-1114 |
If X year duration(s) is a military age of Y, Y is a military of area of Z, and W is a member of Z, then there exists V such that the age of W is V year duration(s) and V is greater than or equal to X |
(=>
(and
(militaryAge ?AREA
(MeasureFn ?MILITARYAGE YearDuration))
(militaryOfArea ?MILITARY ?AREA)
(member ?AGENT ?MILITARY)
(age ?AGENT
(MeasureFn ?AGE YearDuration)))
(greaterThanOrEqualTo ?AGE ?MILITARYAGE)) |
Military.kif 1116-1124 |
If X year duration(s) is a military age of Y, Y is a military of area of Z, W is a member of Z, and the age of W is V year duration(s), then V is greater than or equal to X |
(=>
(and
(instance ?FID ForeignInternalDefense)
(agent ?FID ?MIL)
(militaryOfArea ?MIL ?NATION))
(exists (?HN ?MAINTAIN)
(and
(experiencer ?FID ?HN)
(instance ?HN HostNation)
(not
(equal ?HN ?NATION))
(instance ?MAINTAIN Maintaining)
(agent ?MAINTAIN ?HN)))) |
MilitaryProcesses.kif 1966-1978 |
If X is an instance of foreign internal defense, Y is an agent of X, and Z is a military of area of Y, then All of the following hold: (1) there exist W (2) V such that W experiences X (3) W is an instance of host nation (4) equal W (5) Z (6) V is an instance of maintaining (7) W is an agent of V |
(=>
(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 2332-2351 |
If All of the following hold: (1) X is an instance of civil affairs agreement (2) X is a party to agreement of ?AGENT_MIL_THIS (3) ?AGENT_MIL_THIS is an instance of military organization (4) ?NATION_THIS is a military of area of ?AGENT_MIL_THIS (5) ?NATION_THIS is an instance of nation (6) ?AGENT_MIL_THIS is located at ?NATION_FRIENDLY (7) ?NATION_FRIENDLY is an instance of nation, then equal ?NATION_THIS and ?NATION_FRIENDLY, ?NATION_THIS and ?NATION_FRIENDLY are not enemies of each other, and there exists ?AGENT_FRIENDLY such that ?AGENT_FRIENDLY is located at ?NATION_FRIENDLY, X is a party to agreement of ?AGENT_FRIENDLY, and ?AGENT_FRIENDLY is not an instance of military organization |
|
consequent
|
|
|
(=>
(and
(instance ?ATTR USMilitaryRank)
(attribute ?PERSON ?ATTR))
(exists (?MO)
(and
(member ?PERSON ?MO)
(militaryOfArea ?MO UnitedStates)))) |
Military.kif 532-539 |
If X is an instance of US military rank and X is an attribute of Y, then there exists Z such that Y is a member of Z and united states is a military of area of Z |
(=>
(instance ?MILITARY MilitaryOrganization)
(exists (?AREA)
(and
(instance ?AREA GeopoliticalArea)
(militaryOfArea ?MILITARY ?AREA)))) |
Military.kif 1055-1060 |
If X is an instance of military organization, then there exists Y such that Y is an instance of geopolitical area and Y is a military of area of X |
(=>
(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 1379-1395 |
If X is an instance of host nation, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that W is an instance of nation (3) V is an instance of military force (4) W is a military of area of V (5) Z is a part of the organization V (6) equal X (7) W (8) X (9) W are not enemies of each other (10) Y is an instance of getting (11) X is an agent of Y (12) Z is a patient of Y (13) Z is an instance of military force (14) Z is located at X |
(=>
(and
(instance ?FID ForeignInternalDefense)
(agent ?FID ?MIL)
(experiencer ?FID ?HN))
(hasPurpose ?FID
(exists (?ORG ?LEARNING)
(and
(instance ?LEARNING Learning)
(experiencer ?LEARNING ?ORG)
(agent ?LEARNING ?MIL)
(or
(militaryOfArea ?ORG ?HN)
(and
(instance ?ORG MilitaryForce)
(located ?ORG ?HN))))))) |
MilitaryProcesses.kif 1983-1998 |
If X is an instance of foreign internal defense, Y is an agent of X, and Z experiences X, then X has the purpose there exist W, V such that V is an instance of learning, W experiences V, Y is an agent of V, Z is a military of area of W or W is an instance of military force, and W is located at Z |
|
