| appearance as argument number 1 |
|
|
| (subclass MilitaryOrganization MilitaryForce) | Merge.kif 16866-16866 | Military organization is a subclass of military force |
| (subclass MilitaryOrganization GovernmentOrganization) | Merge.kif 16867-16867 | Military organization is a subclass of government organization |
| (documentation MilitaryOrganization EnglishLanguage "Any heavily armed Organization that is part of a Government and that is charged with representing the Government in international conflicts.") | Merge.kif 16868-16870 | Military organization is a subclass of government organization |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain militaryOfArea 1 MilitaryOrganization) | Military.kif 892-892 | The number 1 argument of military of area is an instance of military organization |
| antecedent |
|
|
| (=> (and (instance ?ORG MilitaryOrganization) (holdsDuring ?T1 (member ?X ?ORG)) (instance ?X Human)) (holdsDuring ?T1 (attribute ?X MilitaryPerson))) |
Mid-level-ontology.kif 24830-24835 | If X is an instance of military organization, Y is a member of X holds during Z, and Y is an instance of human, then military person is an attribute of Y holds during Z |
| (=> (instance ?MILITARY MilitaryOrganization) (exists (?AREA) (and (instance ?AREA GeopoliticalArea) (militaryOfArea ?MILITARY ?AREA)))) |
Military.kif 858-863 | 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 |
| (=> (and (instance ?EV Evacuation) (agent ?EV ?MIL) (instance ?MIL MilitaryOrganization) (experiencer ?EV ?P)) (holdsDuring (ImmediateFutureFn (WhenFn ?EV)) (attribute ?P Evacuee))) |
MilitaryPersons.kif 133-140 | If X is an instance of evacuating, Y is an agent of X, Y is an instance of military organization, and Z experiences X, then evacuee is an attribute of Z holds during immediately after the time of existence of X |
| (=> (and (instance ?ORG MilitaryOrganization) (leader ?P ?ORG)) (occupiesPosition ?P MilitaryCommander ?ORG)) |
MilitaryPersons.kif 339-343 | If X is an instance of military organization and X is a leader of Y, then Y holds the position of military commander in X |
| (=> (and (attribute ?MILITARY PeaceState) (instance ?MILITARY MilitaryOrganization) (leaderPosition ?MILITARY ?LEADER)) (subordinatePosition ?MILITARY ?LEADER SecretaryOfDefense)) |
MilitaryPersons.kif 472-477 | If peace state is an attribute of X, X is an instance of military organization, and Y is a leader position of X, then X is subordinate position Y for secretary of defense |
| (=> (and (attribute ?MILITARY WarState) (instance ?MILITARY MilitaryOrganization) (leaderPosition ?MILITARY ?LEADER)) (subordinatePosition ?MILITARY ?LEADER President)) |
MilitaryPersons.kif 484-489 | If war state is an attribute of X, X is an instance of military organization, and Y is a leader position of X, then X is subordinate position Y for president |
| (=> (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 2328-2347 | 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 |
|
|
| (=> (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 9652-9662 | If X is an instance of military surplus, then there exist Y, Z such that Z is an instance of buying, Y is a patient of Z, the object transferred in Z is X, Y is not an instance of military organization, and Y is not a member of military organization |
| (=> (instance ?A MilitaryArtifact) (hasPurpose ?A (exists (?O) (and (instance ?O MilitaryOrganization) (uses ?A ?O))))) |
Mid-level-ontology.kif 19701-19707 | If X is an instance of military artifact, then X has the purpose there exists Y such that Y is an instance of military organization and Y uses X |
| (=> (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 20915-20924 | If military officer is an attribute of X, then there exist Y, Z such that Y is an instance of managing, X is an agent of Y, Z is a patient of Y, and Z is an instance of military organization or soldier is an attribute of Z |
| (=> (holdsDuring ?T1 (attribute ?X MilitaryPerson)) (exists (?ORG) (and (instance ?ORG MilitaryOrganization) (holdsDuring ?T1 (member ?X ?ORG))))) |
Mid-level-ontology.kif 24823-24828 | If military person is an attribute of X holds during Y, then there exists Z such that Z is an instance of military organization and X is a member of Z holds during Y |
| (=> (instance ?V MilitaryVehicle) (hasPurpose ?V (exists (?O) (and (instance ?O MilitaryOrganization) (uses ?V ?O))))) |
Military.kif 147-153 | If X is an instance of military vehicle, then X has the purpose there exists Y such that Y is an instance of military organization and Y uses X |
| (=> (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 364-375 | If X is an attribute of Y and X is an instance of commissioned officer rank, then there exist Z, W such that Z is an instance of managing, Y is an agent of Z, W is a patient of Z, and W is an instance of military organization or soldier is an attribute of W |
| (=> (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 | If evacuee is an attribute of X holds during Y and Y is an instance of timeframe, then there exist Z, W such that Z is an instance of evacuating, W is an agent of Z, W is an instance of military organization, X experiences Z, and the time of existence of Z happens earlier than Y |
| (=> (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 2275-2285 | If X is an instance of civil affairs operation, then All of the following hold: (1) there exist Y (2) Z such that Y is an agent of X (3) Z is an agent of X (4) equal Y (5) Z (6) Y is an instance of military organization (7) Z is not an instance of military organization |
| (=> (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 2307-2317 | If X is an instance of civil military operation, then All of the following hold: (1) there exist Y (2) Z such that Y is an agent of X (3) Z is an agent of X (4) equal Y (5) Z (6) Y is an instance of military organization (7) Z is not an instance of military organization |
| (=> (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 2328-2347 | 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 |
| (=> (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 2421-2431 | If X is an instance of civil affairs activity, then All of the following hold: (1) there exist Y (2) Z such that Y is an agent of X (3) Z is an agent of X (4) equal Y (5) Z (6) Y is an instance of military organization (7) Z is not an instance of military organization |
|
|
|