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 1392-1394
(domain leaderPosition 1 Agent) Government.kif 1389-1389 domain leaderPosition, 1 and Agent
(domain leaderPosition 2 Position) Government.kif 1390-1390 domain leaderPosition, 2 and Position
(instance leaderPosition AsymmetricRelation) Government.kif 1388-1388 instance leaderPosition and AsymmetricRelation
(instance leaderPosition BinaryPredicate) Government.kif 1387-1387 instance leaderPosition and BinaryPredicate

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 33505-33505
(termFormat ChineseTraditionalLanguage leaderPosition "領導職位") domainEnglishFormat.kif 33504-33504
(termFormat EnglishLanguage leaderPosition "leader position") domainEnglishFormat.kif 33503-33503

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


(=>
    (and
        (attribute ?MILITARY PeaceState)
        (instance ?MILITARY MilitaryOrganization)
        (leaderPosition ?MILITARY ?LEADER))
    (subordinatePosition ?MILITARY ?LEADER SecretaryOfDefense))
MilitaryPersons.kif 461-466
(=>
    (and
        (attribute ?MILITARY WarState)
        (instance ?MILITARY MilitaryOrganization)
        (leaderPosition ?MILITARY ?LEADER))
    (subordinatePosition ?MILITARY ?LEADER President))
MilitaryPersons.kif 473-478
(=>
    (and
        (instance ?COUNTRY Nation)
        (leaderPosition
            (GovernmentFn ?COUNTRY) ?ROLE))
    (leaderPosition ?COUNTRY ?ROLE))
Government.kif 1419-1423
(=>
    (and
        (instance ?COUNTRY Nation)
        (leaderPosition ?COUNTRY ?ROLE))
    (leaderPosition
        (GovernmentFn ?COUNTRY) ?ROLE))
Government.kif 1425-1429
(=>
    (and
        (instance ?JOINT JointForces)
        (subOrganization ?FORCE1 ?JOINT)
        (leaderPosition ?FORCE1 ?COMMANDER1)
        (leaderPosition ?JOINT ?JOINTCOMMANDER))
    (subordinatePosition ?JOINT ?COMMANDER1 ?JOINTCOMMANDER))
MilitaryProcesses.kif 1732-1738
(=>
    (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 1717-1727
(=>
    (and
        (instance ?PERSON Human)
        (instance ?ROLE Position)
        (instance ?AREA GeopoliticalArea)
        (leaderPosition ?AREA ?ROLE)
        (occupiesPosition ?PERSON ?ROLE
            (GovernmentFn ?AREA)))
    (leader ?AREA ?PERSON))
Government.kif 1441-1448
(=>
    (and
        (instance ?PERSON Human)
        (instance ?ROLE Position)
        (instance ?ORG Agent)
        (leaderPosition ?ORG ?ROLE)
        (occupiesPosition ?PERSON ?ROLE ?ORG))
    (leader ?ORG ?PERSON))
Government.kif 1432-1439

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


(=>
    (and
        (governmentType ?PLACE AbsoluteMonarchy)
        (instance ?PLACE GeopoliticalArea))
    (leaderPosition ?PLACE Monarch))
Government.kif 230-234
(=>
    (and
        (instance ?COUNTRY Nation)
        (leader ?COUNTRY ?PERSON)
        (instance ?ROLE Position)
        (occupiesPosition ?PERSON ?ROLE
            (GovernmentFn ?COUNTRY)))
    (leaderPosition ?COUNTRY ?ROLE))
Government.kif 1410-1416
(=>
    (and
        (instance ?COUNTRY Nation)
        (leaderPosition
            (GovernmentFn ?COUNTRY) ?ROLE))
    (leaderPosition ?COUNTRY ?ROLE))
Government.kif 1419-1423
(=>
    (and
        (instance ?COUNTRY Nation)
        (leaderPosition ?COUNTRY ?ROLE))
    (leaderPosition
        (GovernmentFn ?COUNTRY) ?ROLE))
Government.kif 1425-1429
(=>
    (and
        (instance ?JOINT JointForces)
        (subOrganization ?FORCE1 ?JOINT)
        (instance ?FORCE1 AirForce))
    (leaderPosition ?FORCE1 JointForcesAirCommander))
MilitaryPersons.kif 371-376
(=>
    (and
        (instance ?JOINT JointForces)
        (subOrganization ?FORCE1 ?JOINT)
        (instance ?FORCE1 Army))
    (leaderPosition ?FORCE1 JointForcesLandCommander))
MilitaryPersons.kif 393-398
(=>
    (and
        (instance ?JOINT JointForces)
        (subOrganization ?FORCE1 ?JOINT)
        (instance ?FORCE1 CoastGuard))
    (leaderPosition ?FORCE1 JointForcesMaritimeCommander))
MilitaryPersons.kif 425-430
(=>
    (and
        (instance ?JOINT JointForces)
        (subOrganization ?FORCE1 ?JOINT)
        (instance ?FORCE1 Navy-BranchOfService))
    (leaderPosition ?FORCE1 JointForcesMaritimeCommander))
MilitaryPersons.kif 417-422
(=>
    (and
        (instance ?JOINT JointForces)
        (subOrganization ?FORCE1 ?JOINT)
        (instance ?FORCE1 SpecialOperationsForces))
    (leaderPosition ?FORCE1 JointForcesSpecialOperationsCommander))
MilitaryPersons.kif 446-451
(=>
    (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 1717-1727
(=>
    (and
        (instance ?ORG Agent)
        (leader ?ORG ?PERSON)
        (instance ?ROLE Position)
        (occupiesPosition ?PERSON ?ROLE ?ORG))
    (leaderPosition ?ORG ?ROLE))
Government.kif 1401-1407
(=>
    (governmentType ?PLACE MilitaryDictatorship)
    (leaderPosition ?PLACE MilitaryCommander))
Government.kif 320-322
(=>
    (instance ?JOINT JointForces)
    (leaderPosition ?JOINT JointForcesCommander))
MilitaryPersons.kif 352-354

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


(leaderPosition Canada PrimeMinister) Government.kif 1398-1398 leaderPosition Canada and PrimeMinister
(leaderPosition Iran President) Government.kif 1399-1399 leaderPosition Iran and President
(leaderPosition JointChiefsOfStaff ChairmanJCS) MilitaryProcesses.kif 917-917 leaderPosition JointChiefsOfStaff and ChairmanJCS
(leaderPosition JointStaff ChairmanJCS) MilitaryProcesses.kif 899-899 leaderPosition JointStaff and ChairmanJCS
(leaderPosition JointStaff DirectorJS) MilitaryProcesses.kif 900-900 leaderPosition JointStaff and DirectorJS
(leaderPosition UnitedKingdom PrimeMinister) Government.kif 1397-1397 leaderPosition UnitedKingdom and PrimeMinister


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners