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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Braille

 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 4402-4406
(externalImage DiplomaticAgent "http://upload.wikimedia.org/wikipedia/commons/ 6/ 64/ Talleyrand-perigord.jpg") pictureList.kif 8452-8452
(instance DiplomaticAgent ForeignServicePosition) Government.kif 4400-4400 DiplomaticAgent est une instance de ForeignServicePosition

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


(subAttribute Ambassador DiplomaticAgent) Government.kif 4413-4413 Ambassador est un sous-attribut de DiplomaticAgent
(subAttribute ChargeDAffaires DiplomaticAgent) Government.kif 4433-4433 ChargeDAffaires est un sous-attribut de DiplomaticAgent
(subAttribute Consul DiplomaticAgent) Government.kif 4427-4427 Consul est un sous-attribut de DiplomaticAgent
(subAttribute ConsulGeneral DiplomaticAgent) Government.kif 4420-4420 ConsulGeneral est un sous-attribut de DiplomaticAgent
(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 4582-4590
(=>
    (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 4621-4629

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


(=>
    (diplomaticRelations ?COUNTRY1 ?COUNTRY2)
    (exists (?ROLE)
        (and
            (instance ?ROLE ForeignServicePosition)
            (subAttribute ?ROLE DiplomaticAgent)
            (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2))))		 Government.kif 4557-4563
(=>
    (diplomaticRelations ?COUNTRY1 ?COUNTRY2)
    (exists (?ROLE)
        (and
            (instance ?ROLE ForeignServicePosition)
            (subAttribute ?ROLE DiplomaticAgent)
            (diplomaticRepresentationType ?COUNTRY2 ?ROLE ?COUNTRY1))))		 Government.kif 4565-4571
(=>
    (instance ?ROLE ForeignServicePosition)
    (subAttribute ?ROLE DiplomaticAgent))		 Government.kif 4408-4410


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