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 4541-4543
(domain diplomaticRelations 1 GeopoliticalArea) Government.kif 4538-4538
(domain diplomaticRelations 2 GeopoliticalArea) Government.kif 4539-4539
(instance diplomaticRelations BinaryPredicate) Government.kif 4534-4534
(instance diplomaticRelations IrreflexiveRelation) Government.kif 4536-4536
(instance diplomaticRelations PartialValuedRelation) Government.kif 4537-4537
(instance diplomaticRelations SymmetricRelation) Government.kif 4535-4535

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

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


(=>
    (diplomaticRelations ?COUNTRY1 ?COUNTRY2)
    (exists (?ROLE)
        (and
            (instance ?ROLE ForeignServicePosition)
            (subAttribute ?ROLE DiplomaticAgent)
            (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2))))
Government.kif 4549-4555
(=>
    (diplomaticRelations ?COUNTRY1 ?COUNTRY2)
    (exists (?ROLE)
        (and
            (instance ?ROLE ForeignServicePosition)
            (subAttribute ?ROLE DiplomaticAgent)
            (diplomaticRepresentationType ?COUNTRY2 ?ROLE ?COUNTRY1))))
Government.kif 4557-4563
(=>
    (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

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


(=>
    (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2)
    (diplomaticRelations ?COUNTRY1 ?COUNTRY2))
Government.kif 4545-4547


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

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