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 | diplomaticRelations の数値 1 引数は 地政学的地域 の instance では %n |
(domain diplomaticRelations 2 GeopoliticalArea) | Government.kif 4547-4547 | diplomaticRelations の数値 2 引数は 地政学的地域 の instance では %n |
(instance diplomaticRelations BinaryPredicate) | Government.kif 4542-4542 | diplomaticRelations は 2進述語 の instance では %n |
(instance diplomaticRelations IrreflexiveRelation) | Government.kif 4544-4544 | diplomaticRelations は 非反射関係 の instance では %n |
(instance diplomaticRelations PartialValuedRelation) | Government.kif 4545-4545 | diplomaticRelations は 部分的価値関係 の instance では %n |
(instance diplomaticRelations SymmetricRelation) | Government.kif 4543-4543 | diplomaticRelations は 対称関係 の instance では %n |
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 |