MilitaryForce - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - MilitaryForce

MilitaryForce(military force)

more pictures...

appearance as argument number 1

(documentation MilitaryForce ChineseLanguage "MilitaryForce 属于 Organization 的子类别，无论它是否官方的 GovernmentOrganization，它的编制是按照军事防线，并分为属于防御或攻击战斗的。")	chinese_format.kif 3729-3730
(documentation MilitaryForce EnglishLanguage "MilitaryForce is the subclass of Organizations that are organized along military lines and for the purpose of either defensive or offensive combat, whether or not the force is an official GovernmentOrganization.")	Merge.kif 16728-16731
(externalImage MilitaryForce "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0a/ Terrakotta_2006_3.jpg")	pictureList.kif 7334-7334
(externalImage MilitaryForce "http://upload.wikimedia.org/wikipedia/commons/ 2/ 24/ Prince_Rupert_-_1st_English_Civil_War.jpg")	pictureList.kif 7335-7335
(externalImage MilitaryForce "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2e/ USAF_F-15C_fires_AIM-7_Sparrow.jpg")	pictureList.kif 7336-7336
(externalImage MilitaryForce "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3e/ C-1Transport_aircraft02.jpg")	pictureList.kif 7337-7337
(externalImage MilitaryForce "http://upload.wikimedia.org/wikipedia/commons/ 6/ 66/ Warriorsofarmenia.jpg")	pictureList.kif 7338-7338
(externalImage MilitaryForce "http://upload.wikimedia.org/wikipedia/commons/ 9/ 98/ Praetorian_GuardSoldiers_basrelief_med.jpg")	pictureList.kif 7339-7339
(externalImage MilitaryForce "http://upload.wikimedia.org/wikipedia/commons/ a/ a0/ Richard_II_meets_rebels.jpg")	pictureList.kif 7340-7340
(externalImage MilitaryForce "http://upload.wikimedia.org/wikipedia/commons/ e/ eb/ Statue-Augustus.jpg")	pictureList.kif 7341-7341
(externalImage MilitaryForce "http://upload.wikimedia.org/wikipedia/commons/ e/ ee/ Macedonian_battle_formation.gif")	pictureList.kif 6701-6701
(externalImage MilitaryForce "http://upload.wikimedia.org/wikipedia/en/b/ b2/ Nazi_poster_Nederlanders.jpg")	pictureList.kif 7342-7342
(subclass MilitaryForce PoliticalOrganization)	Merge.kif 16727-16727	Military force is a subclass of political organization

appearance as argument number 2

(subclass AmphibiousReconnaissanceUnit MilitaryForce)	MilitaryProcesses.kif 792-792	Amphibious reconnaissance unit is a subclass of military force
(subclass CivilAffairs MilitaryForce)	MilitaryProcesses.kif 2340-2340	Civil affairs is a subclass of military force
(subclass MilitaryOrganization MilitaryForce)	Merge.kif 16737-16737	Military organization is a subclass of military force
(subclass ParamilitaryOrganization MilitaryForce)	Merge.kif 16743-16743	Paramilitary organization is a subclass of military force
(termFormat ChineseLanguage MilitaryForce "军事力量")	domainEnglishFormat.kif 37659-37659	Paramilitary organization is a subclass of military force
(termFormat ChineseTraditionalLanguage MilitaryForce "軍事力量")	domainEnglishFormat.kif 37658-37658	Paramilitary organization is a subclass of military force
(termFormat EnglishLanguage MilitaryForce "military force")	domainEnglishFormat.kif 37657-37657	Paramilitary organization is a subclass of military force

antecedent

(=> (and (instance ?F Facility) (holdsDuring ?T (attribute ?F MilitarilySecure)) (instance ?MF MilitaryForce) (possesses ?MF ?F)) (not (exists (?A ?E) (and (instance ?A Attack) (during ?T (WhenFn ?A)) (destination ?A ?F) (agent ?A ?E) (enemy ?MF ?E)))))	MilitaryProcesses.kif 2849-2863	If an object is an instance of Facility and militarily secure is an attribute of the object holds during a time interval and an agent is an instance of military force and the agent possesses the object, then there don't exist a process and another agent such that the process is an instance of attack and the time interval takes place during the time of existence of the process and the process ends up at the object and the other agent is an agent of the process and the agent and the other agent are enemies of each other
(=> (and (instance ?F Facility) (holdsDuring ?T (attribute ?F MilitarilySecure)) (instance ?MF MilitaryForce) (possesses ?MF ?F)) (not (exists (?E) (and (enemy ?MF ?E) (holdsDuring ?T (and (located ?E ?F) (not (attribute ?E PrisonerOfWar))))))))	MilitaryProcesses.kif 2865-2880	If an object is an instance of Facility and militarily secure is an attribute of the object holds during a time position and an agent is an instance of military force and the agent possesses the object, then there doesn't exist another agent such that the agent and the other agent are enemies of each other and the other agent is located at the object and prisoner of war is not an attribute of the other agent holds during the time position
(=> (and (instance ?F MilitaryForce) (instance ?P Human) (instance ?I Imprisoning) (member ?P ?F) (agent ?I ?E) (patient ?I ?P) (enemy ?E ?P) (eventLocated ?I ?LOC) (attribute ?LOC WarState)) (attribute ?P PrisonerOfWar))	MilitaryPersons.kif 285-296	If a collection is an instance of military force and an agent is an instance of human and a process is an instance of imprisoning and the agent is a member of the collection and another agent is an agent of the process and the agent is a patient of the process and the other agent and the agent are enemies of each other and the process is located at an object and war state is an attribute of the object, then prisoner of war is an attribute of the agent
(=> (instance ?ORG MilitaryForce) (capability ViolentContest agent ?ORG))	Merge.kif 16733-16735	If an object is an instance of military force, then the object is capable of doing violent contest as a agent

consequent

(=> (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 1960-1975	If a process is an instance of foreign internal defense and an agent is an agent of the process and another agent experiences the process, then the process has the purpose there exist an entity and another entity such that the other entity is an instance of learning and the entity experiences the other entity and the agent is an agent of the other entity and the other agent is a military of area of the entity or the entity is an instance of military force and the entity is located at the other agent
(=> (and (instance ?PLANNING OperationPlanning) (agent ?PLANNING ?COMMANDER)) (or (and (instance ?COMMANDER CombatantCommander) (exists (?REQUEST ?CHAIRMAN) (and (instance ?REQUEST Requesting) (agent ?REQUEST ?CHAIRMAN) (attribute ?CHAIRMAN ChairmanJCS) (causes ?REQUEST ?PLANNING)))) (and (instance ?COMMANDER SubunifiedCommander) (exists (?REQUEST ?COMMANDERSUPER ?MILITARY) (and (instance ?REQUEST Requesting) (agent ?REQUEST ?COMMANDERSUPER) (attribute ?COMMANDERSUPER MilitaryCommander) (subordinatePosition ?MILITARY ?COMMANDER ?COMMANDERSUPER) (instance ?MILITARY MilitaryForce) (causes ?REQUEST ?PLANNING))))))	MilitaryProcesses.kif 1582-1604	If a process is an instance of operation planning and an agent is an agent of the process, then the agent is an instance of combatant commander and there exist another process and another agent such that the other process is an instance of requesting and the other agent is an agent of the other process and chairmanJC s is an attribute of the other agent and the other process causes the process or the agent is an instance of subunified commander and there exist the other process, the agentSUPER and an organization such that the other process is an instance of requesting and the agentSUPER is an agent of the other process and military commander is an attribute of the agentSUPER and the organization is subordinate position the agent for the agentSUPER and the organization is an instance of military force and the other process causes the process
(=> (holdsDuring ?NOW (attribute ?P CivilianInternee)) (not (holdsDuring ?NOW (instance ?P MilitaryForce))))	MilitaryPersons.kif 321-326	If civilian internee is an attribute of an entity holds during a time position, then the entity is an instance of military force doesn't hold during the time position
(=> (instance ?B MilitaryBase) (exists (?F) (and (instance ?F MilitaryForce) (possesses ?F ?B))))	MilitaryProcesses.kif 2768-2773	If an object is an instance of military base, then there exists an agent such that the agent is an instance of military force and the agent possesses the object
(=> (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 1357-1373	If an agent is an instance of host nation, then there exist a process, an organization,, , a geopolitical area and a military organization such that the geopolitical area is an instance of nation and the military organization is an instance of military force and the geopolitical area is a military of area of the military organization and the organization is a part of the organization the military organization and the agent is not equal to the geopolitical area and the agent and the geopolitical area are not enemies of each other and the process is an instance of getting and the agent is an agent of the process and the organization is a patient of the process and the organization is an instance of military force and the organization is located at the agent
(=> (instance ?MV MilitaryVehicle) (and (instance ?A MilitaryForce) (possesses ?A ?MV) (capability MilitaryProcess patient ?MV)))	Military.kif 197-202	If an object is an instance of military vehicle, then an agent is an instance of military force and the agent possesses the object and the object is capable of doing military process as a patient
(=> (instance ?OP MilitaryProcess) (exists (?FORCE) (and (agent ?OP ?FORCE) (instance ?FORCE MilitaryForce))))	MilitaryProcesses.kif 1514-1519	If a process is an instance of military process, then there exists an agent such that the agent is an agent of the process and the agent is an instance of military force
(=> (instance ?ORDER OperationOrder) (exists (?SUPERIORCOMMANDER ?SUBORDINATECOMMANDER ?MILITARY) (and (agent ?ORDER ?SUPERIORCOMMANDER) (origin ?ORDER ?SUPERIORCOMMANDER) (destination ?ORDER ?SUBORDINATECOMMANDER) (instance ?SUPERIORCOMMANDER MilitaryCommander) (instance ?SUBORDINATECOMMANDER MilitaryCommander) (subordinatePosition ?MILITARY ?SUBORDINATECOMMANDER ?SUPERIORCOMMANDER) (instance ?MILITARY MilitaryForce))))	MilitaryProcesses.kif 1663-1673	If a process is an instance of operation order, then there exist an agent, a position and an organization such that the agent is an agent of the process and the process originates at the agent and the process ends up at the position and the agent is an instance of military commander and the position is an instance of military commander and the organization is subordinate position the position for the agent and the organization is an instance of military force

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