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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 4518-4521
(domain diplomaticRepresentationType 1 Agent) Government.kif 4514-4514 The number 1 argument of diplomatic representation type is an instance of agent
(domain diplomaticRepresentationType 2 Position) Government.kif 4515-4515 The number 2 argument of diplomatic representation type is an instance of position
(domain diplomaticRepresentationType 3 Agent) Government.kif 4516-4516 The number 3 argument of diplomatic representation type is an instance of agent
(instance diplomaticRepresentationType TernaryPredicate) Government.kif 4513-4513 diplomatic representation type is an instance of ternary predicate

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 4527-4532
(=>
    (and
        (diplomaticRepresentationType ?AGENT1 ConsulGeneral ?AGENT2)
        (instance ?AREA2 City)
        (equal ?AGENT2
            (GovernmentFn ?AREA2)))
    (diplomaticOrganizationType ?AGENT1 ConsulateGeneral ?AGENT2))
Government.kif 4667-4672
(=>
    (and
        (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2)
        (subAttribute ?ROLE DiplomaticAgent))
    (exists (?PERSON)
        (and
            (instance ?PERSON Human)
            (citizen ?PERSON ?COUNTRY1)
            (diplomaticRepresentativeInRole ?COUNTRY1 ?PERSON ?ROLE ?COUNTRY2))))
Government.kif 4574-4582
(=>
    (diplomaticRepresentationType ?AGENT1 Ambassador ?AGENT2)
    (diplomaticOrganizationType ?AGENT1 Embassy ?AGENT2))
Government.kif 4679-4681
(=>
    (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2)
    (diplomaticRelations ?COUNTRY1 ?COUNTRY2))
Government.kif 4545-4547

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


(=>
    (and
        (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT2)
        (geopoliticalSubdivision ?AGENT2 ?AGENT3)
        (instance ?AGENT3 Nation))
    (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT3))
Government.kif 4527-4532
(=>
    (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 4613-4621
(=>
    (diplomaticOrganizationType ?AGENT1 ConsulateGeneral ?AGENT2)
    (diplomaticRepresentationType ?AGENT1 ConsulGeneral ?AGENT2))
Government.kif 4636-4638
(=>
    (diplomaticOrganizationType ?AGENT1 Embassy ?AGENT2)
    (diplomaticRepresentationType ?AGENT1 Ambassador ?AGENT2))
Government.kif 4684-4686
(=>
    (diplomaticRelations ?COUNTRY1 ?COUNTRY2)
    (exists (?ROLE)
        (and
            (instance ?ROLE ForeignServicePosition)
            (subAttribute ?ROLE DiplomaticAgent)
            (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2))))
Government.kif 4549-4555
(=>
    (diplomaticRelations ?COUNTRY1 ?COUNTRY2)
    (exists (?ROLE)
        (and
            (instance ?ROLE ForeignServicePosition)
            (subAttribute ?ROLE DiplomaticAgent)
            (diplomaticRepresentationType ?COUNTRY2 ?ROLE ?COUNTRY1))))
Government.kif 4557-4563
(=>
    (diplomaticRelations ?COUNTRY1 ?COUNTRY2)
    (exists (?ROLE1 ?ROLE2)
        (and
            (instance ?ROLE1 Position)
            (instance ?ROLE2 Position)
            (diplomaticRepresentationType ?COUNTRY1 ?ROLE1 ?COUNTRY2)
            (diplomaticRepresentationType ?COUNTRY2 ?ROLE2 ?COUNTRY1))))
Government.kif 4565-4572
(=>
    (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
    (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT2))
Government.kif 4523-4525


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