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 4480-4482
(domain diplomaticRelations 1 GeopoliticalArea) Government.kif 4477-4477 The number 1 argument of diplomatic relations is an instance of geopolitical area
(domain diplomaticRelations 2 GeopoliticalArea) Government.kif 4478-4478 The number 2 argument of diplomatic relations is an instance of geopolitical area
(instance diplomaticRelations BinaryPredicate) Government.kif 4473-4473 diplomatic relations is an instance of binary predicate
(instance diplomaticRelations IrreflexiveRelation) Government.kif 4475-4475 diplomatic relations is an instance of irreflexive relation
(instance diplomaticRelations PartialValuedRelation) Government.kif 4476-4476 diplomatic relations is an instance of partial valued relation
(instance diplomaticRelations SymmetricRelation) Government.kif 4474-4474 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 19543-19543
(termFormat ChineseTraditionalLanguage diplomaticRelations "外交關係") domainEnglishFormat.kif 19542-19542
(termFormat EnglishLanguage diplomaticRelations "diplomatic relations") domainEnglishFormat.kif 19541-19541

antecedent
-------------------------


(=>
    (diplomaticRelations ?COUNTRY1 ?COUNTRY2)
    (exists (?ROLE)
        (and
            (instance ?ROLE ForeignServicePosition)
            (subAttribute ?ROLE DiplomaticAgent)
            (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2))))
Government.kif 4488-4494
(=>
    (diplomaticRelations ?COUNTRY1 ?COUNTRY2)
    (exists (?ROLE)
        (and
            (instance ?ROLE ForeignServicePosition)
            (subAttribute ?ROLE DiplomaticAgent)
            (diplomaticRepresentationType ?COUNTRY2 ?ROLE ?COUNTRY1))))
Government.kif 4496-4502
(=>
    (diplomaticRelations ?COUNTRY1 ?COUNTRY2)
    (exists (?ROLE1 ?ROLE2)
        (and
            (instance ?ROLE1 Position)
            (instance ?ROLE2 Position)
            (diplomaticRepresentationType ?COUNTRY1 ?ROLE1 ?COUNTRY2)
            (diplomaticRepresentationType ?COUNTRY2 ?ROLE2 ?COUNTRY1))))
Government.kif 4504-4511

consequent
-------------------------


(=>
    (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2)
    (diplomaticRelations ?COUNTRY1 ?COUNTRY2))
Government.kif 4484-4486


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners