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 4486-4488
(domain diplomaticRelations 1 GeopoliticalArea) Government.kif 4483-4483 The number 1 argument of diplomatic relations is an instance of geopolitical area
(domain diplomaticRelations 2 GeopoliticalArea) Government.kif 4484-4484 The number 2 argument of diplomatic relations is an instance of geopolitical area
(instance diplomaticRelations BinaryPredicate) Government.kif 4479-4479 diplomatic relations is an instance of binary predicate
(instance diplomaticRelations IrreflexiveRelation) Government.kif 4481-4481 diplomatic relations is an instance of irreflexive relation
(instance diplomaticRelations PartialValuedRelation) Government.kif 4482-4482 diplomatic relations is an instance of partial valued relation
(instance diplomaticRelations SymmetricRelation) Government.kif 4480-4480 diplomatic relations is an instance of symmetric relation

appearance as argument number 2
-------------------------


(format EnglishLanguage diplomaticRelations "%2 is %n a diplomatic relations of %1") domainEnglishFormat.kif 195-195
(termFormat EnglishLanguage diplomaticRelations "diplomatic relations") domainEnglishFormat.kif 3691-3691 "diplomatic relations" is the printable form of diplomatic relations in english language

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


(=>
    (diplomaticRelations ?COUNTRY1 ?COUNTRY2)
    (exists (?ROLE)
        (and
            (instance ?ROLE ForeignServicePosition)
            (subAttribute ?ROLE DiplomaticAgent)
            (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2))))
Government.kif 4494-4500
(=>
    (diplomaticRelations ?COUNTRY1 ?COUNTRY2)
    (exists (?ROLE)
        (and
            (instance ?ROLE ForeignServicePosition)
            (subAttribute ?ROLE DiplomaticAgent)
            (diplomaticRepresentationType ?COUNTRY2 ?ROLE ?COUNTRY1))))
Government.kif 4502-4508
(=>
    (diplomaticRelations ?COUNTRY1 ?COUNTRY2)
    (exists (?ROLE1 ?ROLE2)
        (and
            (instance ?ROLE1 Position)
            (instance ?ROLE2 Position)
            (diplomaticRepresentationType ?COUNTRY1 ?ROLE1 ?COUNTRY2)
            (diplomaticRepresentationType ?COUNTRY2 ?ROLE2 ?COUNTRY1))))
Government.kif 4510-4517

Show without tree


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