diplomaticRepresentativeInRole |
appearance as argument number 1 |
(documentation diplomaticRepresentativeInRole EnglishLanguage "(diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?RANK ?AGENT2) means that the AutonomousAgent ?AGENT1 sends the individual ?PERSON with the Position ?RANK as its representative to the AutonomousAgent ?AGENT2. Note: it is possible for ?PERSON to be diplomatically accredited to more than one area. For example, currently the United States Ambassador to Papua New Guinea is also accredited to Vanuatu, and there is no embassy in Vanuatu.") | Government.kif 4425-4432 | |
(domain diplomaticRepresentativeInRole 1 AutonomousAgent) | Government.kif 4420-4420 | The number 1 argument of diplomatic representative in role is an instance of agent |
(domain diplomaticRepresentativeInRole 2 Human) | Government.kif 4421-4421 | The number 2 argument of diplomatic representative in role is an instance of human |
(domain diplomaticRepresentativeInRole 3 Position) | Government.kif 4422-4422 | The number 3 argument of diplomatic representative in role is an instance of position |
(domain diplomaticRepresentativeInRole 4 AutonomousAgent) | Government.kif 4423-4423 | The number 4 argument of diplomatic representative in role is an instance of agent |
(instance diplomaticRepresentativeInRole QuaternaryPredicate) | Government.kif 4419-4419 | diplomatic representative in role is an instance of quaternary predicate |
appearance as argument number 2 |
(format ChineseLanguage diplomaticRepresentativeInRole "%1 %p{是} %n{不是} 对于 %3 和 %4 的外交代表在角色 %2") | domainEnglishFormat.kif 752-752 | |
(format ChineseTraditionalLanguage diplomaticRepresentativeInRole "%1 %p{是} %n{不是} 對於 %3 和 %4 的外交代表在角色 %2 ") | domainEnglishFormat.kif 751-751 | |
(format EnglishLanguage diplomaticRepresentativeInRole "%1 %p{is} %n{isn't} diplomatic representative in role %2 for %3 with %4") | domainEnglishFormat.kif 750-750 | |
(subrelation chiefOfDiplomaticMission diplomaticRepresentativeInRole) | Government.kif 4412-4412 | chief of diplomatic mission is a subrelation of diplomatic representative in role |
(termFormat ChineseLanguage diplomaticRepresentativeInRole "外交代表担任职务") | domainEnglishFormat.kif 19632-19632 | |
(termFormat ChineseTraditionalLanguage diplomaticRepresentativeInRole "外交代表擔任職務") | domainEnglishFormat.kif 19631-19631 | |
(termFormat EnglishLanguage diplomaticRepresentativeInRole "diplomatic representative in role") | domainEnglishFormat.kif 19630-19630 |
antecedent |
consequent |
(=> (and (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2) (subAttribute ?ROLE DiplomaticAgent)) (exists (?PERSON) (and (instance ?PERSON Human) (citizen ?PERSON ?COUNTRY1) (diplomaticRepresentativeInRole ?COUNTRY1 ?PERSON ?ROLE ?COUNTRY2)))) |
Government.kif 4546-4554 |
|