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 | Il numero 1 argomenti di leaderPosition è un istanza di AutonomousAgent |
(domain leaderPosition 2 Position) | Government.kif 1400-1400 | Il numero 2 argomenti di leaderPosition è un istanza di Posizione |
(instance leaderPosition AsymmetricRelation) | Government.kif 1398-1398 | leaderPosition è un' istanza di RelazioneAsimmetrica |
(instance leaderPosition BinaryPredicate) | Government.kif 1397-1397 | leaderPosition è un' istanza di PredicatoBinario |
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 |
consequent |
appearance as argument number 0 |
(leaderPosition Canada PrimeMinister) | Government.kif 1408-1408 | leaderPosition Canada and PrimeMinister |
(leaderPosition Iran President) | Government.kif 1409-1409 | 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 1407-1407 | leaderPosition UnitedKingdom and PrimeMinister |