MilitaryOrganization - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - MilitaryOrganization

MilitaryOrganization(military organization)

ACE, ACLANT, Allied_Command_Atlantic, Allied_Command_Europe, Communist_Party_of_Kampuchea, French_Foreign_Legion, KR, Khmer_Rouge, Lord's_Resistance_Army, Mujahedeen_Khalq, Party_of_Democratic_Kampuchea, SA, SHAPE, Special_Forces, Storm_Troops, Sturmabteilung, Supreme_Headquarters_Allied_Powers_Europe, U._S._Army_Special_Forces, United_States_Army_Special_Forces, army_unit, battle_group, division, garrison, military, militia, regiment, reserves

appearance as argument number 1

(documentation MilitaryOrganization ChineseLanguage "这是任何属于 Government 一部分全副武装的 Organization，它的使命是在国际纷争中代表 Government 出面。")	chinese_format.kif 3731-3732
(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 16828-16830
(subclass MilitaryOrganization GovernmentOrganization)	Merge.kif 16827-16827	Military organization is a subclass of government organization
(subclass MilitaryOrganization MilitaryForce)	Merge.kif 16826-16826	Military organization is a subclass of military force

appearance as argument number 2

(instance JointChiefsOfStaff MilitaryOrganization)	MilitaryProcesses.kif 904-904	Joint chiefs of staff is an instance of military organization
(instance JointStaff MilitaryOrganization)	MilitaryProcesses.kif 884-884	Joint staff is an instance of military organization
(instance USMilitary MilitaryOrganization)	MilitaryProcesses.kif 951-951	US military is an instance of military organization
(subclass AirForce_BranchOfService MilitaryOrganization)	Military.kif 856-856	Air force- branch of service is a subclass of military organization
(subclass ExternalAgency MilitaryOrganization)	MilitaryProcesses.kif 879-879	External agency is a subclass of military organization
(subclass FleetMarineForce MilitaryOrganization)	Medicine.kif 6074-6074	Fleet marine force is a subclass of military organization
(subclass JointForces MilitaryOrganization)	MilitaryProcesses.kif 1723-1723	Joint forces is a subclass of military organization
(subclass MarinesBranchOfService MilitaryOrganization)	Military.kif 866-866	Marines- branch of service is a subclass of military organization
(subclass MilitaryReserveForce MilitaryOrganization)	Mid-level-ontology.kif 9593-9593	Military reserve force is a subclass of military organization
(subclass MilitaryService MilitaryOrganization)	Mid-level-ontology.kif 9561-9561	Military service is a subclass of military organization
(subclass MilitaryUnit MilitaryOrganization)	Mid-level-ontology.kif 9578-9578	Military unit is a subclass of military organization
(subclass NavalAirForceBranchOfService MilitaryOrganization)	Military.kif 871-871	Naval Air Force is a subclass of military organization
(subclass NavyBranchOfService MilitaryOrganization)	Military.kif 874-874	Navy is a subclass of military organization
(subclass PeaceKeepingMission MilitaryOrganization)	Mid-level-ontology.kif 24175-24175	Peace keeping mission is a subclass of military organization
(subclass SpecialOperationsForces MilitaryOrganization)	MilitaryProcesses.kif 299-299	Special operations forces is a subclass of military organization
(termFormat ChineseLanguage MilitaryOrganization "军事组织")	domainEnglishFormat.kif 37705-37705	Special operations forces is a subclass of military organization
(termFormat ChineseTraditionalLanguage MilitaryOrganization "軍事組織")	domainEnglishFormat.kif 37704-37704	Special operations forces is a subclass of military organization
(termFormat EnglishLanguage MilitaryOrganization "military organization")	domainEnglishFormat.kif 37703-37703	Special operations forces is a subclass of military organization

appearance as argument number 3

(domain militaryOfArea 1 MilitaryOrganization)

Military.kif 883-883

The number 1 argument of military of area is an instance of military organization

antecedent

(=> (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 an organization and the organization is an instance of military organization and a position is a leader position of the organization, then the organization is subordinate position the position 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 an organization and the organization is an instance of military organization and a position is a leader position of the organization, then the organization is subordinate position the position 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 2309-2328	If an agreement is an instance of civil affairs agreement and the agreement is a party to agreement of an entity_MIL_THIS and the entity_MIL_THIS is an instance of military organization and another entity_THIS is a military of area of the entity_MIL_THIS and the other entity_THIS is an instance of nation and the entity_MIL_THIS is located at the other entity_FRIENDLY and the other entity_FRIENDLY is an instance of nation, then the other entity_THIS is not equal to the other entity_FRIENDLY and the other entity_THIS and the other entity_FRIENDLY are not enemies of each other and there exists the entity_FRIENDLY such that the entity_FRIENDLY is located at the other entity_FRIENDLY and the agreement is a party to agreement of the entity_FRIENDLY and the entity_FRIENDLY is not an instance of military organization
(=> (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 a process is an instance of evacuating and an agent is an agent of the process and the agent is an instance of military organization and another agent experiences the process, then evacuee is an attribute of the other agent holds during immediately after the time of existence of the process
(=> (and (instance ?ORG MilitaryOrganization) (holdsDuring ?T1 (member ?X ?ORG)) (instance ?X Human)) (holdsDuring ?T1 (attribute ?X MilitaryPerson)))	Mid-level-ontology.kif 24130-24135	If an entity is an instance of military organization and another entity is a member of the entity holds during a time position and the other entity is an instance of human, then military person is an attribute of the other entity holds during the time position
(=> (and (instance ?ORG MilitaryOrganization) (leader ?P ?ORG)) (occupiesPosition ?P MilitaryCommander ?ORG))	MilitaryPersons.kif 339-343	If a human is an instance of military organization and the human is a leader of another human, then the other human holds the position of military commander in the human
(=> (instance ?MILITARY MilitaryOrganization) (exists (?AREA) (and (instance ?AREA GeopoliticalArea) (militaryOfArea ?MILITARY ?AREA))))	Military.kif 846-851	If a military organization is an instance of military organization, then there exists a geopolitical area such that the geopolitical area is an instance of geopolitical area and the geopolitical area is a military of area of the military organization

consequent

(=> (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 353-364	If an attribute is an attribute of an agent and the attribute is an instance of commissioned officer rank, then there exist a process and an object such that the process is an instance of managing and the agent is an agent of the process and the object is a patient of the process and the object is an instance of military organization or soldier is an attribute of the object
(=> (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 an agent holds during a time interval and the time interval is an instance of time interval, then there exist a process and another agent such that the process is an instance of evacuating and the other agent is an agent of the process and the other agent is an instance of military organization and the agent experiences the process and the time of existence of the process happens earlier than the time interval
(=> (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	If an agreement is an instance of civil affairs agreement and the agreement is a party to agreement of an entity_MIL_THIS and the entity_MIL_THIS is an instance of military organization and another entity_THIS is a military of area of the entity_MIL_THIS and the other entity_THIS is an instance of nation and the entity_MIL_THIS is located at the other entity_FRIENDLY and the other entity_FRIENDLY is an instance of nation, then the other entity_THIS is not equal to the other entity_FRIENDLY and the other entity_THIS and the other entity_FRIENDLY are not enemies of each other and there exists the entity_FRIENDLY such that the entity_FRIENDLY is located at the other entity_FRIENDLY and the agreement is a party to agreement of the entity_FRIENDLY and the entity_FRIENDLY is not an instance of military organization
(=> (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 20592-20601	If military officer is an attribute of an agent, then there exist a process and an object such that the process is an instance of managing and the agent is an agent of the process and the object is a patient of the process and the object is an instance of military organization or soldier is an attribute of the object
(=> (holdsDuring ?T1 (attribute ?X MilitaryPerson)) (exists (?ORG) (and (instance ?ORG MilitaryOrganization) (holdsDuring ?T1 (member ?X ?ORG)))))	Mid-level-ontology.kif 24123-24128	If military person is an attribute of an entity holds during a time position, then there exists another entity such that the other entity is an instance of military organization and the entity is a member of the other entity holds during the time position
(=> (instance ?A MilitaryArtifact) (hasPurpose ?A (exists (?O) (and (instance ?O MilitaryOrganization) (uses ?A ?O)))))	Mid-level-ontology.kif 19401-19407	If a physical is an instance of military artifact, then the physical has the purpose there exists an entity such that the entity is an instance of military organization and the entity uses the physical
(=> (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	If a process is an instance of civil affairs activity, then there exist an agent and another agent such that the agent is an agent of the process and the other agent is an agent of the process and the agent is not equal to the other agent and the agent is an instance of military organization and the other agent is not an instance of military organization
(=> (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	If a process is an instance of civil affairs operation, then there exist an agent and another agent such that the agent is an agent of the process and the other agent is an agent of the process and the agent is not equal to the other agent and the agent is an instance of military organization and the other agent 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 2288-2298	If a process is an instance of civil military operation, then there exist an agent and another agent such that the agent is an agent of the process and the other agent is an agent of the process and the agent is not equal to the other agent and the agent is an instance of military organization and the other agent is not an instance of military organization
(=> (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 9630-9640	If an object is an instance of military surplus, then there exist a physical and a transfer such that the transfer is an instance of buying and the physical is a patient of the transfer and the object transferred in the transfer is the object and the physical is not an instance of military organization and the physical is not a member of military organization
(=> (instance ?V MilitaryVehicle) (hasPurpose ?V (exists (?O) (and (instance ?O MilitaryOrganization) (uses ?V ?O)))))	Military.kif 137-143	If a physical is an instance of military vehicle, then the physical has the purpose there exists an entity such that the entity is an instance of military organization and the entity uses the physical

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners