TreeView Knowledge Base Browser - MilitaryForce

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

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3729-3730
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16657-16660
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7334-7334
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7335-7335
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7336-7336
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7337-7337
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7338-7338
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7339-7339
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7340-7340
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7341-7341
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6701-6701
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7342-7342
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16656-16656	Military force is a subclass of political organization

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 792-792	Amphibious reconnaissance unit is a subclass of military force
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2340-2340	Civil affairs is a subclass of military force
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16666-16666	Military organization is a subclass of military force
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16672-16672	Paramilitary organization is a subclass of military force
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37625-37625
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37624-37624
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37623-37623

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16662-16664	If an object is an instance of military force, then the object is capable of doing violent contest as a agent

consequent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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