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 4422-4429 | |
(domain diplomaticRepresentativeInRole 1 AutonomousAgent) | Government.kif 4417-4417 | diplomaticRepresentativeInRole の数値 1 引数は AutonomousAgent の instance では |
(domain diplomaticRepresentativeInRole 2 Human) | Government.kif 4418-4418 | diplomaticRepresentativeInRole の数値 2 引数は 人[人間] の instance では |
(domain diplomaticRepresentativeInRole 3 Position) | Government.kif 4419-4419 | diplomaticRepresentativeInRole の数値 3 引数は ポジション の instance では |
(domain diplomaticRepresentativeInRole 4 AutonomousAgent) | Government.kif 4420-4420 | diplomaticRepresentativeInRole の数値 4 引数は AutonomousAgent の instance では |
(instance diplomaticRepresentativeInRole QuaternaryPredicate) | Government.kif 4416-4416 | diplomaticRepresentativeInRole は 4進述語 の instance では |
appearance as argument number 2 |
![]() |
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 4543-4551 |
|
![]() |
![]() |