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 1438-1440 | |
(domain leaderPosition 1 AutonomousAgent) | Government.kif 1435-1435 | |
(domain leaderPosition 2 Position) | Government.kif 1436-1436 | |
(instance leaderPosition AsymmetricRelation) | Government.kif 1434-1434 | |
(instance leaderPosition BinaryPredicate) | Government.kif 1433-1433 |
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 1465-1469 | |
(=> (and (instance ?COUNTRY Nation) (leaderPosition ?COUNTRY ?ROLE)) (leaderPosition (GovernmentFn ?COUNTRY) ?ROLE)) |
Government.kif 1471-1475 | |
(=> (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 1487-1494 | |
(=> (and (instance ?PERSON Human) (instance ?ROLE Position) (instance ?ORG AutonomousAgent) (leaderPosition ?ORG ?ROLE) (occupiesPosition ?PERSON ?ROLE ?ORG)) (leader ?ORG ?PERSON)) |
Government.kif 1478-1485 |
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 1456-1462 | |
(=> (and (instance ?COUNTRY Nation) (leaderPosition (GovernmentFn ?COUNTRY) ?ROLE)) (leaderPosition ?COUNTRY ?ROLE)) |
Government.kif 1465-1469 | |
(=> (and (instance ?COUNTRY Nation) (leaderPosition ?COUNTRY ?ROLE)) (leaderPosition (GovernmentFn ?COUNTRY) ?ROLE)) |
Government.kif 1471-1475 | |
(=> (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 1447-1453 | |
(=> (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 1444-1444 | |
(leaderPosition Iran President) | Government.kif 1445-1445 | |
(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 1443-1443 |