Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - leaderPosition
leaderPosition

appearance as argument number 1
-------------------------


(instance leaderPosition BinaryPredicate) Government.kif 1404-1404 leader position is an instance of binary predicate
(instance leaderPosition AsymmetricRelation) Government.kif 1405-1405 leader position is an instance of asymmetric relation
(domain leaderPosition 1 AutonomousAgent) Government.kif 1406-1406 The number 1 argument of leader position is an instance of agent
(domain leaderPosition 2 Position) Government.kif 1407-1407 The number 2 argument of leader position is an instance of position
(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 1409-1411 The number 2 argument of leader position is an instance of position

appearance as argument number 2
-------------------------


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

antecedent
-------------------------


(=>
    (and
        (instance ?COUNTRY Nation)
        (leaderPosition
            (GovernmentFn ?COUNTRY) ?ROLE))
    (leaderPosition ?COUNTRY ?ROLE))		 Government.kif 1436-1440 If X is an instance of nation and Y is a leader position of the government of X, then Y is a leader position of X
(=>
    (and
        (instance ?COUNTRY Nation)
        (leaderPosition ?COUNTRY ?ROLE))
    (leaderPosition
        (GovernmentFn ?COUNTRY) ?ROLE))		 Government.kif 1442-1446 If X is an instance of nation and Y is a leader position of X, then Y is a leader position of the government of X
(=>
    (and
        (instance ?PERSON Human)
        (instance ?ROLE Position)
        (instance ?ORG AutonomousAgent)
        (leaderPosition ?ORG ?ROLE)
        (occupiesPosition ?PERSON ?ROLE ?ORG))
    (leader ?ORG ?PERSON))		 Government.kif 1449-1456 If X is an instance of human, Y is an instance of position, Z is an instance of agent, Y is a leader position of Z, and X holds the position of Y in Z, then X is a leader of Z
(=>
    (and
        (instance ?PERSON Human)
        (instance ?ROLE Position)
        (instance ?AREA GeopoliticalArea)
        (leaderPosition ?AREA ?ROLE)
        (occupiesPosition ?PERSON ?ROLE
            (GovernmentFn ?AREA)))
    (leader ?AREA ?PERSON))		 Government.kif 1458-1465 If X is an instance of human, Y is an instance of position, Z is an instance of geopolitical area, Y is a leader position of Z, and X holds the position of Y in the government of Z, then X is a leader of Z
(=>
    (and
        (attribute ?MILITARY PeaceState)
        (instance ?MILITARY MilitaryOrganization)
        (leaderPosition ?MILITARY ?LEADER))
    (subordinatePosition ?MILITARY ?LEADER SecretaryOfDefense))		 MilitaryPersons.kif 475-480 If peace state is an attribute of X, X is an instance of military organization, and Y is a leader position of X, then X is subordinate position Y for secretary of defense
(=>
    (and
        (attribute ?MILITARY WarState)
        (instance ?MILITARY MilitaryOrganization)
        (leaderPosition ?MILITARY ?LEADER))
    (subordinatePosition ?MILITARY ?LEADER President))		 MilitaryPersons.kif 487-492 If war state is an attribute of X, X is an instance of military organization, and Y is a leader position of X, then X is subordinate position Y for president
(=>
    (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 1758-1768 If X is an instance of joint forces, Y is a part of the organization X, Z is a part of the organization X, equal Y and Z, and W is a leader position of X, then W is a leader position of Y and W is a leader position of Z
(=>
    (and
        (instance ?JOINT JointForces)
        (subOrganization ?FORCE1 ?JOINT)
        (leaderPosition ?FORCE1 ?COMMANDER1)
        (leaderPosition ?JOINT ?JOINTCOMMANDER))
    (subordinatePosition ?JOINT ?COMMANDER1 ?JOINTCOMMANDER))		 MilitaryProcesses.kif 1773-1779 If X is an instance of joint forces, Y is a part of the organization X, Z is a leader position of Y, and W is a leader position of X, then X is subordinate position Z for W

consequent
-------------------------


(=>
    (and
        (governmentType ?PLACE AbsoluteMonarchy)
        (instance ?PLACE GeopoliticalArea))
    (leaderPosition ?PLACE Monarch))		 Government.kif 242-246 If absolute monarchy is a government type of X and X is an instance of geopolitical area, then monarch is a leader position of X
(=>
    (governmentType ?PLACE MilitaryDictatorship)
    (leaderPosition ?PLACE MilitaryCommander))		 Government.kif 332-334 If military dictatorship is a government type of X, then military commander is a leader position of X
(=>
    (and
        (instance ?ORG AutonomousAgent)
        (leader ?ORG ?PERSON)
        (instance ?ROLE Position)
        (occupiesPosition ?PERSON ?ROLE ?ORG))
    (leaderPosition ?ORG ?ROLE))		 Government.kif 1418-1424 If X is an instance of agent, Y is a leader of X, Z is an instance of position, and Y holds the position of Z in X, then Z is a leader position of X
(=>
    (and
        (instance ?COUNTRY Nation)
        (leader ?COUNTRY ?PERSON)
        (instance ?ROLE Position)
        (occupiesPosition ?PERSON ?ROLE
            (GovernmentFn ?COUNTRY)))
    (leaderPosition ?COUNTRY ?ROLE))		 Government.kif 1427-1433 If X is an instance of nation, Y is a leader of X, Z is an instance of position, and Y holds the position of Z in the government of X, then Z is a leader position of X
(=>
    (and
        (instance ?COUNTRY Nation)
        (leaderPosition
            (GovernmentFn ?COUNTRY) ?ROLE))
    (leaderPosition ?COUNTRY ?ROLE))		 Government.kif 1436-1440 If X is an instance of nation and Y is a leader position of the government of X, then Y is a leader position of X
(=>
    (and
        (instance ?COUNTRY Nation)
        (leaderPosition ?COUNTRY ?ROLE))
    (leaderPosition
        (GovernmentFn ?COUNTRY) ?ROLE))		 Government.kif 1442-1446 If X is an instance of nation and Y is a leader position of X, then Y is a leader position of the government of X
(=>
    (instance ?JOINT JointForces)
    (leaderPosition ?JOINT JointForcesCommander))		 MilitaryPersons.kif 366-368 If X is an instance of joint forces, then joint forces commander is a leader position of X
(=>
    (and
        (instance ?JOINT JointForces)
        (subOrganization ?FORCE1 ?JOINT)
        (instance ?FORCE1 AirForce))
    (leaderPosition ?FORCE1 JointForcesAirCommander))		 MilitaryPersons.kif 385-390 If X is an instance of joint forces, Y is a part of the organization X, and Y is an instance of air force, then joint forces air commander is a leader position of Y
(=>
    (and
        (instance ?JOINT JointForces)
        (subOrganization ?FORCE1 ?JOINT)
        (instance ?FORCE1 Army))
    (leaderPosition ?FORCE1 JointForcesLandCommander))		 MilitaryPersons.kif 407-412 If X is an instance of joint forces, Y is a part of the organization X, and Y is an instance of army, then joint forces land commander is a leader position of Y
(=>
    (and
        (instance ?JOINT JointForces)
        (subOrganization ?FORCE1 ?JOINT)
        (instance ?FORCE1 NavyBranchOfService))
    (leaderPosition ?FORCE1 JointForcesMaritimeCommander))		 MilitaryPersons.kif 431-436 If X is an instance of joint forces, Y is a part of the organization X, and Y is an instance of navy branch of service, then joint forces maritime commander is a leader position of Y
(=>
    (and
        (instance ?JOINT JointForces)
        (subOrganization ?FORCE1 ?JOINT)
        (instance ?FORCE1 CoastGuard))
    (leaderPosition ?FORCE1 JointForcesMaritimeCommander))		 MilitaryPersons.kif 439-444 If X is an instance of joint forces, Y is a part of the organization X, and Y is an instance of coast guard, then joint forces maritime commander is a leader position of Y
(=>
    (and
        (instance ?JOINT JointForces)
        (subOrganization ?FORCE1 ?JOINT)
        (instance ?FORCE1 SpecialOperationsForces))
    (leaderPosition ?FORCE1 JointForcesSpecialOperationsCommander))		 MilitaryPersons.kif 460-465 If X is an instance of joint forces, Y is a part of the organization X, and Y is an instance of special operations forces, then joint forces special operations commander is a leader position of Y
(=>
    (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 1758-1768 If X is an instance of joint forces, Y is a part of the organization X, Z is a part of the organization X, equal Y and Z, and W is a leader position of X, then W is a leader position of Y and W is a leader position of Z

appearance as argument number 0
-------------------------


(leaderPosition UnitedKingdom PrimeMinister) Government.kif 1414-1414 Prime minister is a leader position of united kingdom
(leaderPosition Canada PrimeMinister) Government.kif 1415-1415 Prime minister is a leader position of canada
(leaderPosition Iran President) Government.kif 1416-1416 President is a leader position of iran
(leaderPosition JointStaff ChairmanJCS) MilitaryProcesses.kif 921-921 ChairmanJC s is a leader position of joint staff
(leaderPosition JointStaff DirectorJS) MilitaryProcesses.kif 922-922 DirectorJS is a leader position of joint staff
(leaderPosition JointChiefsOfStaff ChairmanJCS) MilitaryProcesses.kif 939-939 ChairmanJC s is a leader position of joint chiefs of staff


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners