TreeView Knowledge Base Browser - subordinatePosition

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

PharyngealSuperiorMuscle

Sigma KEE - subordinatePosition

subordinatePosition

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22800-22803
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22796-22796	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 22797-22797	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 22798-22798	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 22795-22795	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 55760-55760
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55759-55759
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55758-55758

antecedent

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

Mid-level-ontology.kif 22805-22813

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 1751-1757	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 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.	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