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 4463-4466
(domain diplomaticRepresentationType 1 Agent) Government.kif 4459-4459 The number 1 argument of diplomatic representation type is an instance of agent
(domain diplomaticRepresentationType 2 Position) Government.kif 4460-4460 The number 2 argument of diplomatic representation type is an instance of position
(domain diplomaticRepresentationType 3 Agent) Government.kif 4461-4461 The number 3 argument of diplomatic representation type is an instance of agent
(instance diplomaticRepresentationType TernaryPredicate) Government.kif 4458-4458 diplomatic representation type is an instance of ternary predicate

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


(format EnglishLanguage diplomaticRepresentationType "%1 %n{doesn't} diplomatic representation type %2 for %3") domainEnglishFormat.kif 196-196
(termFormat EnglishLanguage diplomaticRepresentationType "diplomatic representation type") domainEnglishFormat.kif 3692-3692 "diplomatic representation type" is the printable form of diplomatic representation type in english language

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


(=>
    (and
        (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT2)
        (geopoliticalSubdivision ?AGENT2 ?AGENT3)
        (instance ?AGENT3 Nation))
    (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT3))
Government.kif 4472-4477
(=>
    (and
        (diplomaticRepresentationType ?AGENT1 ConsulGeneral ?AGENT2)
        (instance ?AREA2 City))
    (diplomaticOrganizationType ?AGENT1 ConsulateGeneral ?AGENT2))
Government.kif 4612-4616
(=>
    (and
        (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2)
        (subAttribute ?ROLE DiplomaticAgent))
    (exists (?PERSON)
        (and
            (instance ?PERSON Human)
            (citizen ?PERSON ?COUNTRY1)
            (diplomaticRepresentativeInRole ?COUNTRY1 ?PERSON ?ROLE ?COUNTRY2))))
Government.kif 4519-4527
(=>
    (diplomaticRepresentationType ?AGENT1 Ambassador ?AGENT2)
    (diplomaticOrganizationType ?AGENT1 Embassy ?AGENT2))
Government.kif 4623-4625
(=>
    (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2)
    (diplomaticRelations ?COUNTRY1 ?COUNTRY2))
Government.kif 4490-4492

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


(=>
    (and
        (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT2)
        (geopoliticalSubdivision ?AGENT2 ?AGENT3)
        (instance ?AGENT3 Nation))
    (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT3))
Government.kif 4472-4477
(=>
    (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 4558-4566
(=>
    (diplomaticOrganizationType ?AGENT1 ConsulateGeneral ?AGENT2)
    (diplomaticRepresentationType ?AGENT1 ConsulGeneral ?AGENT2))
Government.kif 4581-4583
(=>
    (diplomaticOrganizationType ?AGENT1 Embassy ?AGENT2)
    (diplomaticRepresentationType ?AGENT1 Ambassador ?AGENT2))
Government.kif 4628-4630
(=>
    (diplomaticRelations ?COUNTRY1 ?COUNTRY2)
    (exists (?ROLE)
        (and
            (instance ?ROLE ForeignServicePosition)
            (subAttribute ?ROLE DiplomaticAgent)
            (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2))))
Government.kif 4494-4500
(=>
    (diplomaticRelations ?COUNTRY1 ?COUNTRY2)
    (exists (?ROLE)
        (and
            (instance ?ROLE ForeignServicePosition)
            (subAttribute ?ROLE DiplomaticAgent)
            (diplomaticRepresentationType ?COUNTRY2 ?ROLE ?COUNTRY1))))
Government.kif 4502-4508
(=>
    (diplomaticRelations ?COUNTRY1 ?COUNTRY2)
    (exists (?ROLE1 ?ROLE2)
        (and
            (instance ?ROLE1 Position)
            (instance ?ROLE2 Position)
            (diplomaticRepresentationType ?COUNTRY1 ?ROLE1 ?COUNTRY2)
            (diplomaticRepresentationType ?COUNTRY2 ?ROLE2 ?COUNTRY1))))
Government.kif 4510-4517
(=>
    (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
    (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT2))
Government.kif 4468-4470


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners