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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - DiplomaticAgent
DiplomaticAgent

appearance as argument number 1
-------------------------


(documentation DiplomaticAgent EnglishLanguage "DiplomaticAgent is a generic Attribute of persons charged to represent one national government to another nation or international organization. This includes any Ambassador or head of a diplomatic mission. Individuals with this attribute may also hold a career diplomatic position (see ForeignServicePosition).") Government.kif 4363-4367
(externalImage DiplomaticAgent "http://upload.wikimedia.org/wikipedia/commons/ 6/ 64/ Talleyrand_perigord.jpg") pictureList.kif 8451-8451
(instance DiplomaticAgent ForeignServicePosition) Government.kif 4361-4361

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


(subAttribute Ambassador DiplomaticAgent) Government.kif 4374-4374
(subAttribute ChargeDAffaires DiplomaticAgent) Government.kif 4394-4394
(subAttribute Consul DiplomaticAgent) Government.kif 4388-4388
(subAttribute ConsulGeneral DiplomaticAgent) Government.kif 4381-4381
(termFormat ChineseLanguage DiplomaticAgent "外交代表") domainEnglishFormat.kif 19611-19611
(termFormat ChineseTraditionalLanguage DiplomaticAgent "外交代表") domainEnglishFormat.kif 19610-19610
(termFormat EnglishLanguage DiplomaticAgent "diplomatic agent") domainEnglishFormat.kif 19609-19609

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


(=>
    (and
        (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2)
        (subAttribute ?ROLE DiplomaticAgent))
    (exists (?PERSON)
        (and
            (instance ?PERSON Human)
            (citizen ?PERSON ?COUNTRY1)
            (diplomaticRepresentativeInRole ?COUNTRY1 ?PERSON ?ROLE ?COUNTRY2))))
Government.kif 4543-4551
(=>
    (and
        (instance ?SENDER Nation)
        (instance ?RECEIVER Nation)
        (instance ?PERSON Human)
        (attribute ?PERSON ?ROLE)
        (subAttribute ?ROLE DiplomaticAgent)
        (representativeAgentToAgent ?SENDER ?PERSON ?RECEIVER))
    (diplomaticRepresentationType ?SENDER ?ROLE ?RECEIVER))
Government.kif 4582-4590

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


(=>
    (diplomaticRelations ?COUNTRY1 ?COUNTRY2)
    (exists (?ROLE)
        (and
            (instance ?ROLE ForeignServicePosition)
            (subAttribute ?ROLE DiplomaticAgent)
            (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2))))
Government.kif 4518-4524
(=>
    (diplomaticRelations ?COUNTRY1 ?COUNTRY2)
    (exists (?ROLE)
        (and
            (instance ?ROLE ForeignServicePosition)
            (subAttribute ?ROLE DiplomaticAgent)
            (diplomaticRepresentationType ?COUNTRY2 ?ROLE ?COUNTRY1))))
Government.kif 4526-4532
(=>
    (instance ?ROLE ForeignServicePosition)
    (subAttribute ?ROLE DiplomaticAgent))
Government.kif 4369-4371


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