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 | |
(domain diplomaticRelations 2 GeopoliticalArea) | Government.kif 4547-4547 | |
(instance diplomaticRelations BinaryPredicate) | Government.kif 4542-4542 | |
(instance diplomaticRelations IrreflexiveRelation) | Government.kif 4544-4544 | |
(instance diplomaticRelations PartialValuedRelation) | Government.kif 4545-4545 | |
(instance diplomaticRelations SymmetricRelation) | Government.kif 4543-4543 |
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 |
(=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE) (and (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent) (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2)))) |
Government.kif 4557-4563 | |
(=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE) (and (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent) (diplomaticRepresentationType ?COUNTRY2 ?ROLE ?COUNTRY1)))) |
Government.kif 4565-4571 | |
(=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE1 ?ROLE2) (and (instance ?ROLE1 Position) (instance ?ROLE2 Position) (diplomaticRepresentationType ?COUNTRY1 ?ROLE1 ?COUNTRY2) (diplomaticRepresentationType ?COUNTRY2 ?ROLE2 ?COUNTRY1)))) |
Government.kif 4573-4580 |
consequent |
(=> (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2) (diplomaticRelations ?COUNTRY1 ?COUNTRY2)) |
Government.kif 4553-4555 |