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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DiplomaticAgent
DiplomaticAgent(diplomatic agent)

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 4366-4370
(externalImage DiplomaticAgent "http://upload.wikimedia.org/wikipedia/commons/ 6/ 64/ Talleyrand-perigord.jpg") pictureList.kif 8452-8452
(instance DiplomaticAgent ForeignServicePosition) Government.kif 4364-4364 Diplomatic agent is an instance of foreign service position

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


(subAttribute Ambassador DiplomaticAgent) Government.kif 4377-4377 Ambassador is a subattribute of diplomatic agent
(subAttribute ChargeDAffaires DiplomaticAgent) Government.kif 4397-4397 ChargeD affaires is a subattribute of diplomatic agent
(subAttribute Consul DiplomaticAgent) Government.kif 4391-4391 Consul is a subattribute of diplomatic agent
(subAttribute ConsulGeneral DiplomaticAgent) Government.kif 4384-4384 Consul general is a subattribute of diplomatic agent
(termFormat ChineseLanguage DiplomaticAgent "外交代表") domainEnglishFormat.kif 19602-19602
(termFormat ChineseTraditionalLanguage DiplomaticAgent "外交代表") domainEnglishFormat.kif 19601-19601
(termFormat EnglishLanguage DiplomaticAgent "diplomatic agent") domainEnglishFormat.kif 19600-19600

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 4546-4554
(=>
    (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 4585-4593

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


(=>
    (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
(=>
    (instance ?ROLE ForeignServicePosition)
    (subAttribute ?ROLE DiplomaticAgent))
Government.kif 4372-4374


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