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

KB Term:  Term intersection
English Word: 

Sigma KEE - diplomaticRepresentativeInRole
diplomaticRepresentativeInRole

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


(instance diplomaticRepresentativeInRole QuaternaryPredicate) Government.kif 4447-4447 diplomatic representative in role is an instance of quaternary predicate
(domain diplomaticRepresentativeInRole 1 AutonomousAgent) Government.kif 4448-4448 The number 1 argument of diplomatic representative in role is an instance of agent
(domain diplomaticRepresentativeInRole 2 Human) Government.kif 4449-4449 The number 2 argument of diplomatic representative in role is an instance of human
(domain diplomaticRepresentativeInRole 3 Position) Government.kif 4450-4450 The number 3 argument of diplomatic representative in role is an instance of position
(domain diplomaticRepresentativeInRole 4 AutonomousAgent) Government.kif 4451-4451 The number 4 argument of diplomatic representative in role is an instance of agent
(documentation diplomaticRepresentativeInRole EnglishLanguage "(diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?RANK ?AGENT2) means that the AutonomousAgent ?AGENT1 sends the individual ?PERSON with the Position ?RANK as its representative to the AutonomousAgent ?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 4453-4460 The number 4 argument of diplomatic representative in role is an instance of agent

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


(subrelation chiefOfDiplomaticMission diplomaticRepresentativeInRole) Government.kif 4440-4440 chief of diplomatic mission is a subrelation of diplomatic representative in role
(format EnglishLanguage diplomaticRepresentativeInRole "%1 %p{is} %n{isn't} diplomatic representative in role %2 for %3 with %4") domainEnglishFormat.kif 750-750 chief of diplomatic mission is a subrelation of diplomatic representative in role
(format ChineseTraditionalLanguage diplomaticRepresentativeInRole "%1 %p{是} %n{不是} 對於 %3 和 %4 的外交代表在角色 %2 ") domainEnglishFormat.kif 751-751 chief of diplomatic mission is a subrelation of diplomatic representative in role
(format ChineseLanguage diplomaticRepresentativeInRole "%1 %p{是} %n{不是} 对于 %3 和 %4 的外交代表在角色 %2") domainEnglishFormat.kif 752-752 chief of diplomatic mission is a subrelation of diplomatic representative in role
(termFormat EnglishLanguage diplomaticRepresentativeInRole "diplomatic representative in role") domainEnglishFormat.kif 19632-19632 chief of diplomatic mission is a subrelation of diplomatic representative in role
(termFormat ChineseTraditionalLanguage diplomaticRepresentativeInRole "外交代表擔任職務") domainEnglishFormat.kif 19633-19633 chief of diplomatic mission is a subrelation of diplomatic representative in role
(termFormat ChineseLanguage diplomaticRepresentativeInRole "外交代表担任职务") domainEnglishFormat.kif 19634-19634 chief of diplomatic mission is a subrelation of diplomatic representative in role

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


(=>
    (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 4462-4470 If X is diplomatic representative in role Y for Z with W and X is an instance of nation, then there exists V such that V is an instance of diplomatic organization, V is a part of the organization the government of X, and Y holds the position of Z in V
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Organization))
    (occupiesPosition ?PERSON ?POSITION ?ORG))		 Government.kif 4472-4476 If X is diplomatic representative in role Y for Z with W and X is an instance of organization, then Y holds the position of Z in V
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 GeopoliticalArea))
    (employs
        (GovernmentFn ?AGENT1) ?PERSON))		 Government.kif 4478-4482 If X is diplomatic representative in role Y for Z with W and X is an instance of geopolitical area, then the government of X employs Y
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Organization))
    (employs ?AGENT1 ?PERSON))		 Government.kif 4484-4488 If X is diplomatic representative in role Y for Z with W and X is an instance of organization, then X employs Y
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT2 GeopoliticalArea))
    (agentOperatesInArea ?PERSON ?AGENT2))		 Government.kif 4490-4494 If X is diplomatic representative in role Y for Z with W and W is an instance of geopolitical area, then W is an agent operates in area of Y
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Organization)
        (instance ?AGENT2 GeopoliticalArea))
    (agentOperatesInArea ?AGENT1 ?AGENT2))		 Government.kif 4496-4501 If X is diplomatic representative in role Y for Z with W, X is an instance of organization, and W is an instance of geopolitical area, then W is an agent operates in area of X
(=>
    (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 4503-4511 If All of the following hold: (1) X is diplomatic representative in role Y for Z with W (2) X is an instance of nation (3) V is an instance of diplomatic organization (4) V is a part of the organization the government of X (5) Y holds the position of Z in V (6) W is an instance of geopolitical area, then W is an agent operates in area of V
(=>
    (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
    (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT2))		 Government.kif 4523-4525 If X is diplomatic representative in role Y for Z with W, then X diplomatic representation type Z for W
(=>
    (diplomaticRepresentativeInRole ?COUNTRY1 ?PERSON ?ROLE ?COUNTRY2)
    (representativeAgentToAgent ?COUNTRY1 ?PERSON ?COUNTRY2))		 Government.kif 4595-4597 If X is diplomatic representative in role Y for Z with W, then X is representative agent to agent Y for W
(=>
    (diplomaticRepresentativeInRole ?AGENT1 ?PERSON Ambassador ?AGENT2)
    (diplomaticOrganizationType ?AGENT1 Embassy ?AGENT2))		 Government.kif 4675-4677 If X is diplomatic representative in role Y for ambassador with Z, then X is diplomatic organization type embassy for Z

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 4574-4582 If X diplomatic representation type Y for Z and Y is a subattribute of diplomatic agent, then there exists W such that W is an instance of human, W is a citizen of X, and X is diplomatic representative in role W for Y with Z


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners