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

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3731-3732
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15544-15546
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15543-15543	Military organization is a subclass of government organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15542-15542	Military organization is a subclass of military force

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 904-904	Joint chiefs of staff is an instance of military organization
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 884-884	Joint staff is an instance of military organization
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 950-950	US military is an instance of military organization
No TPTP formula. May not be expressible in strict first order.	Military.kif 798-798	Air force- branch of service is a subclass of military organization
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 879-879	External agency is a subclass of military organization
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1704-1704	Joint forces is a subclass of military organization
No TPTP formula. May not be expressible in strict first order.	Military.kif 808-808	Marines- branch of service is a subclass of military organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8077-8077	Military reserve force is a subclass of military organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8046-8046	Military service is a subclass of military organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8063-8063	Military unit is a subclass of military organization
No TPTP formula. May not be expressible in strict first order.	Military.kif 813-813	Naval air force- branch of service is a subclass of military organization
No TPTP formula. May not be expressible in strict first order.	Military.kif 816-816	Navy- branch of service is a subclass of military organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20420-20420	Peace keeping mission is a subclass of military organization
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 299-299	Special operations forces is a subclass of military organization
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37675-37675
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37674-37674
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37673-37673

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Military.kif 825-825

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

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 461-466	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
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 473-478	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
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2289-2308	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
No TPTP formula. May not be expressible in strict first order.	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 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20409-20414	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
No TPTP formula. May not be expressible in strict first order.	Military.kif 788-793	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

No TPTP formula. May not be expressible in strict first order.	Military.kif 286-297	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
No TPTP formula. May not be expressible in strict first order.	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 military organization and the agent experiences the process and the time of existence of the process happens earlier than the time interval
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2289-2308	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16806-16815	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20402-20407	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15477-15483	If a physical is an instance of military artifact, then the physical purpose there exists an entity such that the entity is an instance of military organization and the entity uses the physical
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2378-2388	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
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2236-2246	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
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2268-2278	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8113-8123	If an object is an instance of military surplus, then there exist another object and a transfer such that the transfer is an instance of buying and the other object is a patient of the transfer and the object transferred in the transfer is the object and the other object is not an instance of military organization and the other object is not a member of military organization
No TPTP formula. May not be expressible in strict first order.	Military.kif 137-143	If a physical is an instance of military vehicle, then the physical 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