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

Formal Language: 



KB Term:  Term intersection
English Word: 

  leaderPosition

 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
(domain leaderPosition 2 Position) Government.kif 1400-1400
(instance leaderPosition AsymmetricRelation) Government.kif 1398-1398
(instance leaderPosition BinaryPredicate) Government.kif 1397-1397

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

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 1429-1433
(=>
    (and
        (instance ?COUNTRY Nation)
        (leaderPosition ?COUNTRY ?ROLE))
    (leaderPosition
        (GovernmentFn ?COUNTRY) ?ROLE))		 Government.kif 1435-1439
(=>
    (and
        (instance ?JOINT JointForces)
        (subOrganization ?FORCE1 ?JOINT)
        (leaderPosition ?FORCE1 ?COMMANDER1)
        (leaderPosition ?JOINT ?JOINTCOMMANDER))
    (subordinatePosition ?JOINT ?COMMANDER1 ?JOINTCOMMANDER))		 MilitaryProcesses.kif 1751-1757
(=>
    (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
(=>
    (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
(=>
    (and
        (instance ?PERSON Human)
        (instance ?ROLE Position)
        (instance ?ORG AutonomousAgent)
        (leaderPosition ?ORG ?ROLE)
        (occupiesPosition ?PERSON ?ROLE ?ORG))
    (leader ?ORG ?PERSON))		 Government.kif 1442-1449

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


(=>
    (and
        (governmentType ?PLACE AbsoluteMonarchy)
        (instance ?PLACE GeopoliticalArea))
    (leaderPosition ?PLACE Monarch))		 Government.kif 242-246
(=>
    (and
        (instance ?COUNTRY Nation)
        (leader ?COUNTRY ?PERSON)
        (instance ?ROLE Position)
        (occupiesPosition ?PERSON ?ROLE
            (GovernmentFn ?COUNTRY)))
    (leaderPosition ?COUNTRY ?ROLE))		 Government.kif 1420-1426
(=>
    (and
        (instance ?COUNTRY Nation)
        (leaderPosition
            (GovernmentFn ?COUNTRY) ?ROLE))
    (leaderPosition ?COUNTRY ?ROLE))		 Government.kif 1429-1433
(=>
    (and
        (instance ?COUNTRY Nation)
        (leaderPosition ?COUNTRY ?ROLE))
    (leaderPosition
        (GovernmentFn ?COUNTRY) ?ROLE))		 Government.kif 1435-1439
(=>
    (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 NavyBranchOfService))
    (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 1736-1746
(=>
    (and
        (instance ?ORG AutonomousAgent)
        (leader ?ORG ?PERSON)
        (instance ?ROLE Position)
        (occupiesPosition ?PERSON ?ROLE ?ORG))
    (leaderPosition ?ORG ?ROLE))		 Government.kif 1411-1417
(=>
    (governmentType ?PLACE MilitaryDictatorship)
    (leaderPosition ?PLACE MilitaryCommander))		 Government.kif 332-334
(=>
    (instance ?JOINT JointForces)
    (leaderPosition ?JOINT JointForcesCommander))		 MilitaryPersons.kif 352-354

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


(leaderPosition Canada PrimeMinister) Government.kif 1408-1408
(leaderPosition Iran President) Government.kif 1409-1409
(leaderPosition JointChiefsOfStaff ChairmanJCS) MilitaryProcesses.kif 917-917
(leaderPosition JointStaff ChairmanJCS) MilitaryProcesses.kif 899-899
(leaderPosition JointStaff DirectorJS) MilitaryProcesses.kif 900-900
(leaderPosition UnitedKingdom PrimeMinister) Government.kif 1407-1407


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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