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

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 16865-16867
(subclass MilitaryOrganization GovernmentOrganization)	Merge.kif 16864-16864	MilitaryOrganization is a subclass of GovernmentOrganization
(subclass MilitaryOrganization MilitaryForce)	Merge.kif 16863-16863	MilitaryOrganization is a subclass of MilitaryForce

appearance as argument number 2

(instance JointChiefsOfStaff MilitaryOrganization)	MilitaryProcesses.kif 904-904	JointChiefsOfStaff is an instance of MilitaryOrganization
(instance JointStaff MilitaryOrganization)	MilitaryProcesses.kif 884-884	JointStaff is an instance of MilitaryOrganization
(instance USMilitary MilitaryOrganization)	MilitaryProcesses.kif 951-951	USMilitary is an instance of MilitaryOrganization
(subclass ExternalAgency MilitaryOrganization)	MilitaryProcesses.kif 879-879	ExternalAgency is a subclass of MilitaryOrganization
(subclass FleetMarineForce MilitaryOrganization)	Medicine.kif 6075-6075	FleetMarineForce is a subclass of MilitaryOrganization
(subclass JointForces MilitaryOrganization)	MilitaryProcesses.kif 1723-1723	JointForces is a subclass of MilitaryOrganization
(subclass MarinesBranchOfService MilitaryOrganization)	Military.kif 875-875	MarinesBranchOfService is a subclass of MilitaryOrganization
(subclass MilitaryReserveForce MilitaryOrganization)	Mid-level-ontology.kif 9570-9570	MilitaryReserveForce is a subclass of MilitaryOrganization
(subclass MilitaryService MilitaryOrganization)	Mid-level-ontology.kif 9538-9538	MilitaryService is a subclass of MilitaryOrganization
(subclass MilitaryUnit MilitaryOrganization)	Mid-level-ontology.kif 9555-9555	MilitaryUnit is a subclass of MilitaryOrganization
(subclass NavalAirForceBranchOfService MilitaryOrganization)	Military.kif 880-880	NavalAirForceBranchOfService is a subclass of MilitaryOrganization
(subclass NavyBranchOfService MilitaryOrganization)	Military.kif 883-883	NavyBranchOfService is a subclass of MilitaryOrganization
(subclass PeaceKeepingMission MilitaryOrganization)	Mid-level-ontology.kif 24147-24147	PeaceKeepingMission is a subclass of MilitaryOrganization
(subclass SpecialOperationsForces MilitaryOrganization)	MilitaryProcesses.kif 299-299	SpecialOperationsForces is a subclass of MilitaryOrganization
(termFormat ChineseLanguage MilitaryOrganization "军事组织")	domainEnglishFormat.kif 37687-37687	SpecialOperationsForces is a subclass of MilitaryOrganization
(termFormat ChineseTraditionalLanguage MilitaryOrganization "軍事組織")	domainEnglishFormat.kif 37686-37686	SpecialOperationsForces is a subclass of MilitaryOrganization
(termFormat EnglishLanguage MilitaryOrganization "military organization")	domainEnglishFormat.kif 37685-37685	SpecialOperationsForces is a subclass of MilitaryOrganization

appearance as argument number 3

(domain militaryOfArea 1 MilitaryOrganization)

Military.kif 892-892

The number 1 argument of militaryOfArea is an instance of MilitaryOrganization

antecedent

(=> (and (attribute ?MILITARY PeaceState) (instance ?MILITARY MilitaryOrganization) (leaderPosition ?MILITARY ?LEADER)) (subordinatePosition ?MILITARY ?LEADER SecretaryOfDefense))	MilitaryPersons.kif 472-477	If PeaceState is an attribute of an organization and the organization is an instance of MilitaryOrganization and leaderPosition the organization and a position, then subordinatePosition the organization, the position and SecretaryOfDefense
(=> (and (attribute ?MILITARY WarState) (instance ?MILITARY MilitaryOrganization) (leaderPosition ?MILITARY ?LEADER)) (subordinatePosition ?MILITARY ?LEADER President))	MilitaryPersons.kif 484-489	If WarState is an attribute of an organization and the organization is an instance of MilitaryOrganization and leaderPosition the organization and a position, then subordinatePosition the organization, the position and 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 CivilAffairsAgreement and partyToAgreement an entity_MIL_THIS and the Agreement and the entity_MIL_THIS is an instance of MilitaryOrganization and militaryOfArea the entity_MIL_THIS and another entity_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 equal the other entity_THIS and the other entity_FRIENDLY and enemy the other entity_THIS and the other entity_FRIENDLY and there exists the entity_FRIENDLY such that the entity_FRIENDLY is located at the other entity_FRIENDLY and partyToAgreement the entity_FRIENDLY and the Agreement and the entity_FRIENDLY is not an instance of MilitaryOrganization
(=> (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 Evacuation and an agent is an agent of the process and the agent is an instance of MilitaryOrganization 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 24102-24107	If an entity is an instance of MilitaryOrganization and another entity is a member of the entity holds during a time position and the other entity is an instance of human, then MilitaryPerson 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 MilitaryOrganization and leader another human and the human, then the other human holds the position of MilitaryCommander in the human
(=> (instance ?MILITARY MilitaryOrganization) (exists (?AREA) (and (instance ?AREA GeopoliticalArea) (militaryOfArea ?MILITARY ?AREA))))	Military.kif 858-863	If a MilitaryOrganization is an instance of MilitaryOrganization, then there exists a geopolitical area such that the geopolitical area is an instance of geopolitical area and militaryOfArea the MilitaryOrganization and the geopolitical area

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 364-375	If an attribute is an attribute of an agent and the attribute is an instance of CommissionedOfficerRank, 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 MilitaryOrganization 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 Evacuation and the other agent is an agent of the process and the other agent is an instance of MilitaryOrganization 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 CivilAffairsAgreement and partyToAgreement an entity_MIL_THIS and the Agreement and the entity_MIL_THIS is an instance of MilitaryOrganization and militaryOfArea the entity_MIL_THIS and another entity_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 equal the other entity_THIS and the other entity_FRIENDLY and enemy the other entity_THIS and the other entity_FRIENDLY and there exists the entity_FRIENDLY such that the entity_FRIENDLY is located at the other entity_FRIENDLY and partyToAgreement the entity_FRIENDLY and the Agreement and the entity_FRIENDLY is not an instance of MilitaryOrganization
(=> (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 20564-20573	If MilitaryOfficer 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 MilitaryOrganization 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 24095-24100	If MilitaryPerson 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 MilitaryOrganization 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 19370-19376	If a physical is an instance of MilitaryArtifact, then the physical has the purpose there exists an entity such that the entity is an instance of MilitaryOrganization 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 CivilAffairsActivity, 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 equal the agent and the other agent and the agent is an instance of MilitaryOrganization and the other agent is not an instance of MilitaryOrganization
(=> (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 CivilAffairsOperation, 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 equal the agent and the other agent and the agent is an instance of MilitaryOrganization and the other agent is not an instance of MilitaryOrganization
(=> (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 CivilMilitaryOperation, 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 equal the agent and the other agent and the agent is an instance of MilitaryOrganization and the other agent is not an instance of MilitaryOrganization
(=> (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 9607-9617	If an object is an instance of MilitarySurplus, 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 objectTransferred the transfer and the object and the physical is not an instance of MilitaryOrganization and the physical is not a member of MilitaryOrganization
(=> (instance ?V MilitaryVehicle) (hasPurpose ?V (exists (?O) (and (instance ?O MilitaryOrganization) (uses ?V ?O)))))	Military.kif 147-153	If a physical is an instance of MilitaryVehicle, then the physical has the purpose there exists an entity such that the entity is an instance of MilitaryOrganization 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