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

Formal Language: 



KB Term:  Term intersection
English Word: 

  diplomaticRepresentativeInRole

Sigma KEE - diplomaticRepresentativeInRole
diplomaticRepresentativeInRole

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


(documentation diplomaticRepresentativeInRole EnglishLanguage "(diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?RANK ?AGENT2) means that the Agent ?AGENT1 sends the individual ?PERSON with the Position ?RANK as its representative to the Agent ?AGENT2. Note: it is possible for ?PERSON to be diplomatically accredited to more than one area. For example, currently the United States Ambassador to Papua New Guinea is also accredited to Vanuatu, and there is no embassy in Vanuatu.") Government.kif 4398-4405
(domain diplomaticRepresentativeInRole 1 Agent) Government.kif 4393-4393 The number 1 argument of diplomatic representative in role is an instance of agent
(domain diplomaticRepresentativeInRole 2 Human) Government.kif 4394-4394 The number 2 argument of diplomatic representative in role is an instance of human
(domain diplomaticRepresentativeInRole 3 Position) Government.kif 4395-4395 The number 3 argument of diplomatic representative in role is an instance of position
(domain diplomaticRepresentativeInRole 4 Agent) Government.kif 4396-4396 The number 4 argument of diplomatic representative in role is an instance of agent
(instance diplomaticRepresentativeInRole QuaternaryPredicate) Government.kif 4392-4392 diplomatic representative in role is an instance of quaternary predicate

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


(format EnglishLanguage diplomaticRepresentativeInRole "%1 %n{doesn't} diplomatic representative in role %2 for %3 with %4") domainEnglishFormat.kif 197-197
(subrelation chiefOfDiplomaticMission diplomaticRepresentativeInRole) Government.kif 4385-4385 chief of diplomatic mission is a subrelation of diplomatic representative in role
(termFormat EnglishLanguage diplomaticRepresentativeInRole "diplomatic representative in role") domainEnglishFormat.kif 3693-3693 "diplomatic representative in role" is the printable form of diplomatic representative in role in english language

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


(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 GeopoliticalArea))
    (employs
        (GovernmentFn ?AGENT1) ?PERSON))
Government.kif 4423-4427
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Nation)
        (instance ?ORG DiplomaticOrganization)
        (subOrganization ?ORG
            (GovernmentFn ?AGENT1))
        (occupiesPosition ?PERSON ?POSITION ?ORG)
        (instance ?AGENT2 GeopoliticalArea))
    (agentOperatesInArea ?ORG ?AGENT2))
Government.kif 4448-4456
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Nation))
    (exists (?ORG)
        (and
            (instance ?ORG DiplomaticOrganization)
            (subOrganization ?ORG
                (GovernmentFn ?AGENT1))
            (occupiesPosition ?PERSON ?POSITION ?ORG))))
Government.kif 4407-4415
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Organization)
        (instance ?AGENT2 GeopoliticalArea))
    (agentOperatesInArea ?AGENT1 ?AGENT2))
Government.kif 4441-4446
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Organization))
    (employs ?AGENT1 ?PERSON))
Government.kif 4429-4433
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Organization))
    (occupiesPosition ?PERSON ?POSITION ?ORG))
Government.kif 4417-4421
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT2 GeopoliticalArea))
    (agentOperatesInArea ?PERSON ?AGENT2))
Government.kif 4435-4439
(=>
    (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
    (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT2))
Government.kif 4468-4470
(=>
    (diplomaticRepresentativeInRole ?AGENT1 ?PERSON Ambassador ?AGENT2)
    (diplomaticOrganizationType ?AGENT1 Embassy ?AGENT2))
Government.kif 4619-4621
(=>
    (diplomaticRepresentativeInRole ?COUNTRY1 ?PERSON ?ROLE ?COUNTRY2)
    (representativeAgentToAgent ?COUNTRY1 ?PERSON ?COUNTRY2))
Government.kif 4540-4542

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


(=>
    (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


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