diplomaticRelations |
appearance as argument number 1 |
![]() |
(documentation diplomaticRelations EnglishLanguage "(diplomaticRelations ?COUNTRY1 ?COUNTRY2) means that there are official diplomatic relations between the two Nations ?COUNTRY1 and ?COUNTRY2.") | Government.kif 4549-4551 | |
(domain diplomaticRelations 1 GeopoliticalArea) | Government.kif 4546-4546 | 域 外交關係, 1 and GeopoliticalArea |
(domain diplomaticRelations 2 GeopoliticalArea) | Government.kif 4547-4547 | 域 外交關係, 2 and GeopoliticalArea |
(instance diplomaticRelations BinaryPredicate) | Government.kif 4542-4542 | 例 外交關係 and BinaryPredicate |
(instance diplomaticRelations IrreflexiveRelation) | Government.kif 4544-4544 | 例 外交關係 and IrreflexiveRelation |
(instance diplomaticRelations PartialValuedRelation) | Government.kif 4545-4545 | 例 外交關係 and PartialValuedRelation |
(instance diplomaticRelations SymmetricRelation) | Government.kif 4543-4543 | 例 外交關係 and SymmetricRelation |
appearance as argument number 2 |
![]() |
(format ChineseLanguage diplomaticRelations "%2 %n 是 %1 的外交关西") | domainEnglishFormat.kif 744-744 | |
(format ChineseTraditionalLanguage diplomaticRelations "%2 %n 是 %1 的外交關西") | domainEnglishFormat.kif 743-743 | |
(format EnglishLanguage diplomaticRelations "%2 is %n a diplomatic relations of %1") | domainEnglishFormat.kif 742-742 | |
(termFormat ChineseLanguage diplomaticRelations "外交关系") | domainEnglishFormat.kif 19620-19620 | |
(termFormat ChineseTraditionalLanguage diplomaticRelations "外交關係") | domainEnglishFormat.kif 19619-19619 | |
(termFormat EnglishLanguage diplomaticRelations "diplomatic relations") | domainEnglishFormat.kif 19618-19618 |
antecedent |
![]() |
consequent |
![]() |
(=> (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2) (diplomaticRelations ?COUNTRY1 ?COUNTRY2)) |
Government.kif 4553-4555 |
|
![]() |
![]() |