leaderPosition - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - leaderPosition

leaderPosition

appearance as argument number 1

(documentation leaderPosition EnglishLanguage "(leaderPosition ?ORG ?ROLE) means that in the organization ?ORG, the leader is the person who holds the Position ?ROLE in the organization.")	Government.kif 1402-1404
(domain leaderPosition 1 AutonomousAgent)	Government.kif 1399-1399	The number 1 argument of leader position is an instance of agent
(domain leaderPosition 2 Position)	Government.kif 1400-1400	The number 2 argument of leader position is an instance of position
(instance leaderPosition AsymmetricRelation)	Government.kif 1398-1398	leader position is an instance of asymmetric relation
(instance leaderPosition BinaryPredicate)	Government.kif 1397-1397	leader position is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage leaderPosition "%2 %n 是 %1 的 leader 职位")	domainEnglishFormat.kif 1455-1455
(format ChineseTraditionalLanguage leaderPosition "%2 %n 是 %1 的 leader 職位")	domainEnglishFormat.kif 1454-1454
(format EnglishLanguage leaderPosition "%2 is %n a leader position of %1")	domainEnglishFormat.kif 1453-1453
(termFormat ChineseLanguage leaderPosition "领导职位")	domainEnglishFormat.kif 33645-33645
(termFormat ChineseTraditionalLanguage leaderPosition "領導職位")	domainEnglishFormat.kif 33644-33644
(termFormat EnglishLanguage leaderPosition "leader position")	domainEnglishFormat.kif 33643-33643

antecedent

(=> (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 ?COUNTRY Nation) (leaderPosition (GovernmentFn ?COUNTRY) ?ROLE)) (leaderPosition ?COUNTRY ?ROLE))	Government.kif 1429-1433	If a geopolitical area is an instance of nation and a position is a leader position of the government of the geopolitical area, then the position is a leader position of the geopolitical area
(=> (and (instance ?COUNTRY Nation) (leaderPosition ?COUNTRY ?ROLE)) (leaderPosition (GovernmentFn ?COUNTRY) ?ROLE))	Government.kif 1435-1439	If a geopolitical area is an instance of nation and a position is a leader position of the geopolitical area, then the position is a leader position of the government of the geopolitical area
(=> (and (instance ?JOINT JointForces) (subOrganization ?FORCE1 ?JOINT) (leaderPosition ?FORCE1 ?COMMANDER1) (leaderPosition ?JOINT ?JOINTCOMMANDER)) (subordinatePosition ?JOINT ?COMMANDER1 ?JOINTCOMMANDER))	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
(=> (and (instance ?JOINT JointForces) (subOrganization ?FORCE1 ?JOINT) (subOrganization ?FORCE2 ?JOINT) (not (equal ?FORCE1 ?FORCE2)) (leaderPosition ?JOINT ?JOINTCOMMANDER)) (and (leaderPosition ?FORCE1 ?JOINTCOMMANDER) (leaderPosition ?FORCE2 ?JOINTCOMMANDER)))	MilitaryProcesses.kif 1736-1746	If an organization is an instance of joint forces and another organization is a part of the organization the organization and a third organization is a part of the organization the organization and the other organization is not equal to the third organization and the organizationCOMMANDER is a leader position of the organization, then the organizationCOMMANDER is a leader position of the other organization and the organizationCOMMANDER is a leader position of the third organization
(=> (and (instance ?PERSON Human) (instance ?ROLE Position) (instance ?AREA GeopoliticalArea) (leaderPosition ?AREA ?ROLE) (occupiesPosition ?PERSON ?ROLE (GovernmentFn ?AREA))) (leader ?AREA ?PERSON))	Government.kif 1451-1458	If a human is an instance of human and a position is an instance of position and a geopolitical area is an instance of geopolitical area and the position is a leader position of the geopolitical area and the human holds the position of the position in the government of the geopolitical area, then the human is a leader of the geopolitical area
(=> (and (instance ?PERSON Human) (instance ?ROLE Position) (instance ?ORG AutonomousAgent) (leaderPosition ?ORG ?ROLE) (occupiesPosition ?PERSON ?ROLE ?ORG)) (leader ?ORG ?PERSON))	Government.kif 1442-1449	If a human is an instance of human and a position is an instance of position and an organization is an instance of agent and the position is a leader position of the organization and the human holds the position of the position in the organization, then the human is a leader of the organization

consequent

(=> (and (governmentType ?PLACE AbsoluteMonarchy) (instance ?PLACE GeopoliticalArea)) (leaderPosition ?PLACE Monarch))	Government.kif 242-246	If absolute monarchy is a government type of an agent and the agent is an instance of geopolitical area, then monarch is a leader position of the agent
(=> (and (instance ?COUNTRY Nation) (leader ?COUNTRY ?PERSON) (instance ?ROLE Position) (occupiesPosition ?PERSON ?ROLE (GovernmentFn ?COUNTRY))) (leaderPosition ?COUNTRY ?ROLE))	Government.kif 1420-1426	If a geopolitical area is an instance of nation and a human is a leader of the geopolitical area and a position is an instance of position and the human holds the position of the position in the government of the geopolitical area, then the position is a leader position of the geopolitical area
(=> (and (instance ?COUNTRY Nation) (leaderPosition (GovernmentFn ?COUNTRY) ?ROLE)) (leaderPosition ?COUNTRY ?ROLE))	Government.kif 1429-1433	If a geopolitical area is an instance of nation and a position is a leader position of the government of the geopolitical area, then the position is a leader position of the geopolitical area
(=> (and (instance ?COUNTRY Nation) (leaderPosition ?COUNTRY ?ROLE)) (leaderPosition (GovernmentFn ?COUNTRY) ?ROLE))	Government.kif 1435-1439	If a geopolitical area is an instance of nation and a position is a leader position of the geopolitical area, then the position is a leader position of the government of the geopolitical area
(=> (and (instance ?JOINT JointForces) (subOrganization ?FORCE1 ?JOINT) (instance ?FORCE1 AirForce)) (leaderPosition ?FORCE1 JointForcesAirCommander))	MilitaryPersons.kif 371-376	If an organization is an instance of joint forces and another organization is a part of the organization the organization and the other organization is an instance of air force, then joint forces air commander is a leader position of the other organization
(=> (and (instance ?JOINT JointForces) (subOrganization ?FORCE1 ?JOINT) (instance ?FORCE1 Army)) (leaderPosition ?FORCE1 JointForcesLandCommander))	MilitaryPersons.kif 393-398	If an organization is an instance of joint forces and another organization is a part of the organization the organization and the other organization is an instance of army, then joint forces land commander is a leader position of the other organization
(=> (and (instance ?JOINT JointForces) (subOrganization ?FORCE1 ?JOINT) (instance ?FORCE1 CoastGuard)) (leaderPosition ?FORCE1 JointForcesMaritimeCommander))	MilitaryPersons.kif 425-430	If an organization is an instance of joint forces and another organization is a part of the organization the organization and the other organization is an instance of coast guard, then joint forces maritime commander is a leader position of the other organization
(=> (and (instance ?JOINT JointForces) (subOrganization ?FORCE1 ?JOINT) (instance ?FORCE1 NavyBranchOfService)) (leaderPosition ?FORCE1 JointForcesMaritimeCommander))	MilitaryPersons.kif 417-422	If an organization is an instance of joint forces and another organization is a part of the organization the organization and the other organization is an instance of Navy, then joint forces maritime commander is a leader position of the other organization
(=> (and (instance ?JOINT JointForces) (subOrganization ?FORCE1 ?JOINT) (instance ?FORCE1 SpecialOperationsForces)) (leaderPosition ?FORCE1 JointForcesSpecialOperationsCommander))	MilitaryPersons.kif 446-451	If an organization is an instance of joint forces and another organization is a part of the organization the organization and the other organization is an instance of special operations forces, then joint forces special operations commander is a leader position of the other organization
(=> (and (instance ?JOINT JointForces) (subOrganization ?FORCE1 ?JOINT) (subOrganization ?FORCE2 ?JOINT) (not (equal ?FORCE1 ?FORCE2)) (leaderPosition ?JOINT ?JOINTCOMMANDER)) (and (leaderPosition ?FORCE1 ?JOINTCOMMANDER) (leaderPosition ?FORCE2 ?JOINTCOMMANDER)))	MilitaryProcesses.kif 1736-1746	If an organization is an instance of joint forces and another organization is a part of the organization the organization and a third organization is a part of the organization the organization and the other organization is not equal to the third organization and the organizationCOMMANDER is a leader position of the organization, then the organizationCOMMANDER is a leader position of the other organization and the organizationCOMMANDER is a leader position of the third organization
(=> (and (instance ?ORG AutonomousAgent) (leader ?ORG ?PERSON) (instance ?ROLE Position) (occupiesPosition ?PERSON ?ROLE ?ORG)) (leaderPosition ?ORG ?ROLE))	Government.kif 1411-1417	If an organization is an instance of agent and a human is a leader of the organization and a position is an instance of position and the human holds the position of the position in the organization, then the position is a leader position of the organization
(=> (governmentType ?PLACE MilitaryDictatorship) (leaderPosition ?PLACE MilitaryCommander))	Government.kif 332-334	If military dictatorship is a government type of an agent, then military commander is a leader position of the agent
(=> (instance ?JOINT JointForces) (leaderPosition ?JOINT JointForcesCommander))	MilitaryPersons.kif 352-354	If an agent is an instance of joint forces, then joint forces commander is a leader position of the agent

appearance as argument number 0

(leaderPosition Canada PrimeMinister)	Government.kif 1408-1408	Prime minister is a leader position of canada
(leaderPosition Iran President)	Government.kif 1409-1409	President is a leader position of iran
(leaderPosition JointChiefsOfStaff ChairmanJCS)	MilitaryProcesses.kif 917-917	ChairmanJC s is a leader position of joint chiefs of staff
(leaderPosition JointStaff ChairmanJCS)	MilitaryProcesses.kif 899-899	ChairmanJC s is a leader position of joint staff
(leaderPosition JointStaff DirectorJS)	MilitaryProcesses.kif 900-900	DirectorJS is a leader position of joint staff
(leaderPosition UnitedKingdom PrimeMinister)	Government.kif 1407-1407	Prime minister is a leader position of united kingdom

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