TreeView Knowledge Base Browser - diplomaticRelations

appearance as argument number 1

(instance diplomaticRelations BinaryPredicate)	Government.kif 4534-4534	diplomatic relations is an instance of binary predicate
(instance diplomaticRelations SymmetricRelation)	Government.kif 4535-4535	diplomatic relations is an instance of symmetric relation
(instance diplomaticRelations IrreflexiveRelation)	Government.kif 4536-4536	diplomatic relations is an instance of irreflexive relation
(instance diplomaticRelations PartialValuedRelation)	Government.kif 4537-4537	diplomatic relations is an instance of partial valued relation
(domain diplomaticRelations 1 GeopoliticalArea)	Government.kif 4538-4538	The number 1 argument of diplomatic relations is an instance of geopolitical area
(domain diplomaticRelations 2 GeopoliticalArea)	Government.kif 4539-4539	The number 2 argument of diplomatic relations is an instance of geopolitical area
(documentation diplomaticRelations EnglishLanguage "(diplomaticRelations ?COUNTRY1 ?COUNTRY2) means that there are official diplomatic relations between the two Nations ?COUNTRY1 and ?COUNTRY2.")	Government.kif 4541-4543	The number 2 argument of diplomatic relations is an instance of geopolitical area

appearance as argument number 2

(format EnglishLanguage diplomaticRelations "%2 is %n a diplomatic relations of %1")	domainEnglishFormat.kif 742-742
(format ChineseTraditionalLanguage diplomaticRelations "%2 %n 是 %1 的外交關西")	domainEnglishFormat.kif 743-743
(format ChineseLanguage diplomaticRelations "%2 %n 是 %1 的外交关西")	domainEnglishFormat.kif 744-744
(termFormat EnglishLanguage diplomaticRelations "diplomatic relations")	domainEnglishFormat.kif 19620-19620
(termFormat ChineseTraditionalLanguage diplomaticRelations "外交關係")	domainEnglishFormat.kif 19621-19621
(termFormat ChineseLanguage diplomaticRelations "外交关系")	domainEnglishFormat.kif 19622-19622

antecedent

(=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE) (and (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent) (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2))))	Government.kif 4549-4555	If X is a diplomatic relations of Y, then there exists Z such that Z is an instance of foreign service position, Z is a subattribute of diplomatic agent, and Y diplomatic representation type Z for X
(=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE) (and (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent) (diplomaticRepresentationType ?COUNTRY2 ?ROLE ?COUNTRY1))))	Government.kif 4557-4563	If X is a diplomatic relations of Y, then there exists Z such that Z is an instance of foreign service position, Z is a subattribute of diplomatic agent, and X diplomatic representation type Z for Y
(=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE1 ?ROLE2) (and (instance ?ROLE1 Position) (instance ?ROLE2 Position) (diplomaticRepresentationType ?COUNTRY1 ?ROLE1 ?COUNTRY2) (diplomaticRepresentationType ?COUNTRY2 ?ROLE2 ?COUNTRY1))))	Government.kif 4565-4572	If X is a diplomatic relations of Y, then there exist Z, W such that Z is an instance of position, W is an instance of position, Y diplomatic representation type Z for X, and X diplomatic representation type W for Y

consequent

(=>
(diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2)
(diplomaticRelations ?COUNTRY1 ?COUNTRY2))

Government.kif 4545-4547

If X diplomatic representation type Y for Z, then Z is a diplomatic relations of X

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: