subordinatePosition - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - subordinatePosition

subordinatePosition

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19184-19187
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19180-19180	The number 1 argument of subordinate position is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19181-19181	The number 2 argument of subordinate position is an instance of position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19182-19182	The number 3 argument of subordinate position is an instance of position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19179-19179	subordinate position is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2395-2395
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2394-2394
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2393-2393
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55736-55736
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55735-55735
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55734-55734

antecedent

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

Mid-level-ontology.kif 19189-19197

If an organization is subordinate position a position for another position and a human holds the position of the position in the organization,
then there exists another human such that the other human is an instance of human and the other human holds the position of the other position in the organization and the organization is subordinate in organization the human for the other human

consequent

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 1732-1738	If an organization is an instance of joint forces and another organization is a part of the organization the organization and a position is a leader position of the other organization and the organizationCOMMANDER is a leader position of the organization, then the organization is subordinate position the position for the organizationCOMMANDER
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1563-1585	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.	MilitaryProcesses.kif 1644-1654	If a process is an instance of operation order, then there exist an agent and a position 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 an 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