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 4513-4515
(domain diplomaticRelations 1 GeopoliticalArea) Government.kif 4510-4510 diplomaticRelations の数値 1 引数は 地政学的地域 の instance では %n
(domain diplomaticRelations 2 GeopoliticalArea) Government.kif 4511-4511 diplomaticRelations の数値 2 引数は 地政学的地域 の instance では %n
(instance diplomaticRelations BinaryPredicate) Government.kif 4506-4506 diplomaticRelations は 2進述語 の instance では %n
(instance diplomaticRelations IrreflexiveRelation) Government.kif 4508-4508 diplomaticRelations は 非反射関係 の instance では %n
(instance diplomaticRelations PartialValuedRelation) Government.kif 4509-4509 diplomaticRelations は 部分的価値関係 の instance では %n
(instance diplomaticRelations SymmetricRelation) Government.kif 4507-4507 diplomaticRelations は 対称関係 の instance では %n

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 4521-4527
(=>
    (diplomaticRelations ?COUNTRY1 ?COUNTRY2)
    (exists (?ROLE)
        (and
            (instance ?ROLE ForeignServicePosition)
            (subAttribute ?ROLE DiplomaticAgent)
            (diplomaticRepresentationType ?COUNTRY2 ?ROLE ?COUNTRY1))))		 Government.kif 4529-4535
(=>
    (diplomaticRelations ?COUNTRY1 ?COUNTRY2)
    (exists (?ROLE1 ?ROLE2)
        (and
            (instance ?ROLE1 Position)
            (instance ?ROLE2 Position)
            (diplomaticRepresentationType ?COUNTRY1 ?ROLE1 ?COUNTRY2)
            (diplomaticRepresentationType ?COUNTRY2 ?ROLE2 ?COUNTRY1))))		 Government.kif 4537-4544

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


(=>
    (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2)
    (diplomaticRelations ?COUNTRY1 ?COUNTRY2))		 Government.kif 4517-4519


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