diplomaticRelations - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - diplomaticRelations

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 4511-4513
(domain diplomaticRelations 1 GeopoliticalArea)	Government.kif 4508-4508	The number 1 argument of diplomatic relations is an instance of geopolitical area
(domain diplomaticRelations 2 GeopoliticalArea)	Government.kif 4509-4509	The number 2 argument of diplomatic relations is an instance of geopolitical area
(instance diplomaticRelations BinaryPredicate)	Government.kif 4504-4504	diplomatic relations is an instance of binary predicate
(instance diplomaticRelations IrreflexiveRelation)	Government.kif 4506-4506	diplomatic relations is an instance of irreflexive relation
(instance diplomaticRelations PartialValuedRelation)	Government.kif 4507-4507	diplomatic relations is an instance of partial valued relation
(instance diplomaticRelations SymmetricRelation)	Government.kif 4505-4505	diplomatic relations is an instance of symmetric relation

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 19635-19635
(termFormat ChineseTraditionalLanguage diplomaticRelations "外交關係")	domainEnglishFormat.kif 19634-19634
(termFormat EnglishLanguage diplomaticRelations "diplomatic relations")	domainEnglishFormat.kif 19633-19633

antecedent

(=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE) (and (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent) (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2))))	Government.kif 4519-4525	If a geopolitical area is a diplomatic relations of another geopolitical area, then there exists a position such that the position is an instance of foreign service position and the position is a subattribute of diplomatic agent and the other geopolitical area diplomatic representation type the position for the geopolitical area
(=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE) (and (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent) (diplomaticRepresentationType ?COUNTRY2 ?ROLE ?COUNTRY1))))	Government.kif 4527-4533	If a geopolitical area is a diplomatic relations of another geopolitical area, then there exists a position such that the position is an instance of foreign service position and the position is a subattribute of diplomatic agent and the geopolitical area diplomatic representation type the position for the other geopolitical area
(=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE1 ?ROLE2) (and (instance ?ROLE1 Position) (instance ?ROLE2 Position) (diplomaticRepresentationType ?COUNTRY1 ?ROLE1 ?COUNTRY2) (diplomaticRepresentationType ?COUNTRY2 ?ROLE2 ?COUNTRY1))))	Government.kif 4535-4542	If a geopolitical area is a diplomatic relations of another geopolitical area, then there exist a position and another position such that the position is an instance of position and the other position is an instance of position and the other geopolitical area diplomatic representation type the position for the geopolitical area and the geopolitical area diplomatic representation type the other position for the other geopolitical area

consequent

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

Government.kif 4515-4517

If a geopolitical area diplomatic representation type a position for another geopolitical area,
then the other geopolitical area is a diplomatic relations of the geopolitical area

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

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners