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

Formal Language: 



KB Term:  Term intersection
English Word: 

  diplomaticRepresentationType

 Sigma KEE - diplomaticRepresentationType
diplomaticRepresentationType

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


(documentation diplomaticRepresentationType EnglishLanguage "(diplomaticRepresentationType ?AGENT1 ?RANK ?AGENT2) means that the Agent ?AGENT1 sends a representative with the Position ?RANK to the Agent ?AGENT2.") Government.kif 4506-4509
(domain diplomaticRepresentationType 1 Agent) Government.kif 4502-4502
(domain diplomaticRepresentationType 2 Position) Government.kif 4503-4503
(domain diplomaticRepresentationType 3 Agent) Government.kif 4504-4504
(instance diplomaticRepresentationType TernaryPredicate) Government.kif 4501-4501

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


(format ChineseLanguage diplomaticRepresentationType "") domainEnglishFormat.kif 748-748
(format ChineseTraditionalLanguage diplomaticRepresentationType "% %n %1 %3 ") domainEnglishFormat.kif 747-747
(format EnglishLanguage diplomaticRepresentationType "%1 %n{doesn't} diplomatic representation type %2 for %3") domainEnglishFormat.kif 746-746
(termFormat ChineseLanguage diplomaticRepresentationType "外交代表类型") domainEnglishFormat.kif 19617-19617
(termFormat ChineseTraditionalLanguage diplomaticRepresentationType "外交代表類型") domainEnglishFormat.kif 19616-19616
(termFormat EnglishLanguage diplomaticRepresentationType "diplomatic representation type") domainEnglishFormat.kif 19615-19615

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


(=>
    (and
        (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT2)
        (geopoliticalSubdivision ?AGENT2 ?AGENT3)
        (instance ?AGENT3 Nation))
    (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT3))		 Government.kif 4515-4520
(=>
    (and
        (diplomaticRepresentationType ?AGENT1 ConsulGeneral ?AGENT2)
        (instance ?AREA2 City)
        (equal ?AGENT2
            (GovernmentFn ?AREA2)))
    (diplomaticOrganizationType ?AGENT1 ConsulateGeneral ?AGENT2))		 Government.kif 4655-4660
(=>
    (and
        (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2)
        (subAttribute ?ROLE DiplomaticAgent))
    (exists (?PERSON)
        (and
            (instance ?PERSON Human)
            (citizen ?PERSON ?COUNTRY1)
            (diplomaticRepresentativeInRole ?COUNTRY1 ?PERSON ?ROLE ?COUNTRY2))))		 Government.kif 4562-4570
(=>
    (diplomaticRepresentationType ?AGENT1 Ambassador ?AGENT2)
    (diplomaticOrganizationType ?AGENT1 Embassy ?AGENT2))		 Government.kif 4667-4669
(=>
    (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2)
    (diplomaticRelations ?COUNTRY1 ?COUNTRY2))		 Government.kif 4533-4535

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


(=>
    (and
        (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT2)
        (geopoliticalSubdivision ?AGENT2 ?AGENT3)
        (instance ?AGENT3 Nation))
    (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT3))		 Government.kif 4515-4520
(=>
    (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 4601-4609
(=>
    (diplomaticOrganizationType ?AGENT1 ConsulateGeneral ?AGENT2)
    (diplomaticRepresentationType ?AGENT1 ConsulGeneral ?AGENT2))		 Government.kif 4624-4626
(=>
    (diplomaticOrganizationType ?AGENT1 Embassy ?AGENT2)
    (diplomaticRepresentationType ?AGENT1 Ambassador ?AGENT2))		 Government.kif 4672-4674
(=>
    (diplomaticRelations ?COUNTRY1 ?COUNTRY2)
    (exists (?ROLE)
        (and
            (instance ?ROLE ForeignServicePosition)
            (subAttribute ?ROLE DiplomaticAgent)
            (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2))))		 Government.kif 4537-4543
(=>
    (diplomaticRelations ?COUNTRY1 ?COUNTRY2)
    (exists (?ROLE)
        (and
            (instance ?ROLE ForeignServicePosition)
            (subAttribute ?ROLE DiplomaticAgent)
            (diplomaticRepresentationType ?COUNTRY2 ?ROLE ?COUNTRY1))))		 Government.kif 4545-4551
(=>
    (diplomaticRelations ?COUNTRY1 ?COUNTRY2)
    (exists (?ROLE1 ?ROLE2)
        (and
            (instance ?ROLE1 Position)
            (instance ?ROLE2 Position)
            (diplomaticRepresentationType ?COUNTRY1 ?ROLE1 ?COUNTRY2)
            (diplomaticRepresentationType ?COUNTRY2 ?ROLE2 ?COUNTRY1))))		 Government.kif 4553-4560
(=>
    (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
    (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT2))		 Government.kif 4511-4513


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