Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  diplomaticRelations

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 4549-4551
(domain diplomaticRelations 1 GeopoliticalArea) Government.kif 4546-4546 The number 1 argument of diplomatic relations is an instance of geopolitical area
(domain diplomaticRelations 2 GeopoliticalArea) Government.kif 4547-4547 The number 2 argument of diplomatic relations is an instance of geopolitical area
(instance diplomaticRelations BinaryPredicate) Government.kif 4542-4542 diplomatic relations is an instance of binary predicate
(instance diplomaticRelations IrreflexiveRelation) Government.kif 4544-4544 diplomatic relations is an instance of irreflexive relation
(instance diplomaticRelations PartialValuedRelation) Government.kif 4545-4545 diplomatic relations is an instance of partial valued relation
(instance diplomaticRelations SymmetricRelation) Government.kif 4543-4543 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 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

Show without tree


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