subordinatePosition - Sigma Knowledge base Browser

appearance as argument number 1

(documentation subordinatePosition EnglishLanguage "(subordinatePosition ?ORG ?SUB ?SUPER) means that in the Organization ?ORG, the holder of role ?SUB is subordinate to the holder of role ?SUPER.")	Mid-level-ontology.kif 20660-20663
(domain subordinatePosition 1 Organization)	Mid-level-ontology.kif 20656-20656	The number 1 argument of subordinate position is an instance of organization
(domain subordinatePosition 2 Position)	Mid-level-ontology.kif 20657-20657	The number 2 argument of subordinate position is an instance of position
(domain subordinatePosition 3 Position)	Mid-level-ontology.kif 20658-20658	The number 3 argument of subordinate position is an instance of position
(instance subordinatePosition TernaryPredicate)	Mid-level-ontology.kif 20655-20655	subordinate position is an instance of ternary predicate

appearance as argument number 2

(format ChineseLanguage subordinatePosition "%1 %n 是对于 %3 的 subordinate 职位")	domainEnglishFormat.kif 2391-2391
(format ChineseTraditionalLanguage subordinatePosition "%1 %n 是對於 %3 的 subordinate 職位")	domainEnglishFormat.kif 2390-2390
(format EnglishLanguage subordinatePosition "%1 is %n subordinate position %2 for %3")	domainEnglishFormat.kif 2389-2389
(termFormat ChineseLanguage subordinatePosition "从属地位")	domainEnglishFormat.kif 55672-55672
(termFormat ChineseTraditionalLanguage subordinatePosition "從屬地位")	domainEnglishFormat.kif 55671-55671
(termFormat EnglishLanguage subordinatePosition "subordinate position")	domainEnglishFormat.kif 55670-55670

antecedent

(=>
    (and
        (subordinatePosition ?ORG ?ROLE1 ?ROLE2)
        (occupiesPosition ?PERSON1 ?ROLE1 ?ORG))
    (exists (?PERSON2)
        (and
            (instance ?PERSON2 Human)
            (occupiesPosition ?PERSON2 ?ROLE2 ?ORG)
            (subordinateInOrganization ?ORG ?PERSON1 ?PERSON2))))

Mid-level-ontology.kif 20665-20673

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

(=> (and (attribute ?MILITARY PeaceState) (instance ?MILITARY MilitaryOrganization) (leaderPosition ?MILITARY ?LEADER)) (subordinatePosition ?MILITARY ?LEADER SecretaryOfDefense))	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
(=> (and (attribute ?MILITARY WarState) (instance ?MILITARY MilitaryOrganization) (leaderPosition ?MILITARY ?LEADER)) (subordinatePosition ?MILITARY ?LEADER President))	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
(=> (and (instance ?JOINT JointForces) (subOrganization ?FORCE1 ?JOINT) (leaderPosition ?FORCE1 ?COMMANDER1) (leaderPosition ?JOINT ?JOINTCOMMANDER)) (subordinatePosition ?JOINT ?COMMANDER1 ?JOINTCOMMANDER))	MilitaryProcesses.kif 1732-1738	If an organization is an instance of joint forces and another organization は組織 the organization の一部では %n 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
(=> (and (instance ?PLANNING OperationPlanning) (agent ?PLANNING ?COMMANDER)) (or (and (instance ?COMMANDER CombatantCommander) (exists (?REQUEST ?CHAIRMAN) (and (instance ?REQUEST Requesting) (agent ?REQUEST ?CHAIRMAN) (attribute ?CHAIRMAN ChairmanJCS) (causes ?REQUEST ?PLANNING)))) (and (instance ?COMMANDER SubunifiedCommander) (exists (?REQUEST ?COMMANDERSUPER ?MILITARY) (and (instance ?REQUEST Requesting) (agent ?REQUEST ?COMMANDERSUPER) (attribute ?COMMANDERSUPER MilitaryCommander) (subordinatePosition ?MILITARY ?COMMANDER ?COMMANDERSUPER) (instance ?MILITARY MilitaryForce) (causes ?REQUEST ?PLANNING))))))	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
(=> (instance ?ORDER OperationOrder) (exists (?SUPERIORCOMMANDER ?SUBORDINATECOMMANDER) (and (agent ?ORDER ?SUPERIORCOMMANDER) (origin ?ORDER ?SUPERIORCOMMANDER) (destination ?ORDER ?SUBORDINATECOMMANDER) (instance ?SUPERIORCOMMANDER MilitaryCommander) (instance ?SUBORDINATECOMMANDER MilitaryCommander) (subordinatePosition ?MILITARY ?SUBORDINATECOMMANDER ?SUPERIORCOMMANDER) (instance ?MILITARY MilitaryForce))))	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

KB Term:			Term intersection

English Word: