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 24389-24392
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24385-24385	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 24386-24386	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 24387-24387	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 24384-24384	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 2399-2399
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2398-2398
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2397-2397
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55762-55762
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55761-55761
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55760-55760

antecedent

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

Mid-level-ontology.kif 24394-24402

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 472-477	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 484-489	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 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