Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   ThighMuscle
|
|
|
| appearance as argument number 1 |
|
|
| (subclass MilitaryOrganization MilitaryForce) | Merge.kif 17023-17023 | Military organization is a subclass of military force |
| (subclass MilitaryOrganization GovernmentOrganization) | Merge.kif 17024-17024 | 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 17025-17027 | Military organization is a subclass of government organization |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain militaryOfArea 1 MilitaryOrganization) | Military.kif 1089-1089 | 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 24747-24752 | 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 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 |
| (=> (and (instance ?EV Evacuation) (agent ?EV ?MIL) (instance ?MIL MilitaryOrganization) (experiencer ?EV ?P)) (holdsDuring (ImmediateFutureFn (WhenFn ?EV)) (attribute ?P Evacuee))) |
MilitaryPersons.kif 134-143 | 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 342-346 | 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 475-480 | 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 487-492 | 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 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 |
|
|
| (=> (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 9766-9776 | 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 19753-19759 | 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 20941-20950 | 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 24740-24745 | 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 149-155 | 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 |
| (=> (instance ?M MilitaryWaterVehicle) (exists (?O) (and (uses ?M ?O) (instance ?O MilitaryOrganization)))) |
Military.kif 234-239 | If X is an instance of military water vehicle, then there exists Y such that Y uses X and Y is an instance of military organization |
| (=> (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 561-572 | 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 121-132 | 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 2279-2289 | 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 2311-2321 | 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 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 |
| (=> (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 2425-2435 | 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 |
|