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 1400-1402
(domain leaderPosition 1 AutonomousAgent)	Government.kif 1397-1397	The number 1 argument of leader position is an instance of agent
(domain leaderPosition 2 Position)	Government.kif 1398-1398	The number 2 argument of leader position is an instance of position
(instance leaderPosition AsymmetricRelation)	Government.kif 1396-1396	leader position is an instance of asymmetric relation
(instance leaderPosition BinaryPredicate)	Government.kif 1395-1395	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 33639-33639
(termFormat ChineseTraditionalLanguage leaderPosition "領導職位")	domainEnglishFormat.kif 33638-33638
(termFormat EnglishLanguage leaderPosition "leader position")	domainEnglishFormat.kif 33637-33637

antecedent

(=> (and (attribute ?MILITARY PeaceState) (instance ?MILITARY MilitaryOrganization) (leaderPosition ?MILITARY ?LEADER)) (subordinatePosition ?MILITARY ?LEADER SecretaryOfDefense))	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
(=> (and (attribute ?MILITARY WarState) (instance ?MILITARY MilitaryOrganization) (leaderPosition ?MILITARY ?LEADER)) (subordinatePosition ?MILITARY ?LEADER President))	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
(=> (and (instance ?COUNTRY Nation) (leaderPosition (GovernmentFn ?COUNTRY) ?ROLE)) (leaderPosition ?COUNTRY ?ROLE))	Government.kif 1427-1431	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 1433-1437	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 1449-1456	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 1440-1447	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 1418-1424	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 1427-1431	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 1433-1437	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 382-387	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 404-409	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 436-441	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 428-433	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 457-462	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 1409-1415	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 363-365	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 1406-1406	Prime minister is a leader position of canada
(leaderPosition Iran President)	Government.kif 1407-1407	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 1405-1405	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