diplomaticRepresentativeInRole - Sigma Knowledge base Browser

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 4392-4399
(domain diplomaticRepresentativeInRole 1 Agent)	Government.kif 4387-4387	domain diplomaticRepresentativeInRole, 1 and Agent
(domain diplomaticRepresentativeInRole 2 Human)	Government.kif 4388-4388	domain diplomaticRepresentativeInRole, 2 and Human
(domain diplomaticRepresentativeInRole 3 Position)	Government.kif 4389-4389	domain diplomaticRepresentativeInRole, 3 and Position
(domain diplomaticRepresentativeInRole 4 Agent)	Government.kif 4390-4390	domain diplomaticRepresentativeInRole, 4 and Agent
(instance diplomaticRepresentativeInRole QuaternaryPredicate)	Government.kif 4386-4386	instance diplomaticRepresentativeInRole and QuaternaryPredicate

appearance as argument number 2

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

antecedent

(=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 GeopoliticalArea)) (employs (GovernmentFn ?AGENT1) ?PERSON))	Government.kif 4417-4421	diplomaticRepresentativeInRole GeopoliticalArea, Human, Position and Agent instance GeopoliticalArea and GeopoliticalArea employs GovernmentFn GeopoliticalArea and Human
(=> (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 4442-4450	diplomaticRepresentativeInRole GeopoliticalArea, Human, Position and Agent instance GeopoliticalArea and Nation instance Organization and DiplomaticOrganization subOrganization Organization and GovernmentFn GeopoliticalArea occupiesPosition Human, Position and Organization instance Agent and GeopoliticalArea agentOperatesInArea Organization and Agent
(=> (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 4401-4409	diplomaticRepresentativeInRole GeopoliticalArea, Human, Position and Agent instance GeopoliticalArea and Nation Organization instance Organization and DiplomaticOrganization subOrganization Organization and GovernmentFn GeopoliticalArea occupiesPosition Human, Position and Organization
(=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 Organization) (instance ?AGENT2 GeopoliticalArea)) (agentOperatesInArea ?AGENT1 ?AGENT2))	Government.kif 4435-4440	diplomaticRepresentativeInRole Agent, Human, Position and Agent instance Agent and Organization instance Agent and GeopoliticalArea agentOperatesInArea Agent and Agent
(=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 Organization)) (employs ?AGENT1 ?PERSON))	Government.kif 4423-4427	diplomaticRepresentativeInRole Agent, Human, Position and Agent instance Agent and Organization employs Agent and Human
(=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 Organization)) (occupiesPosition ?PERSON ?POSITION ?ORG))	Government.kif 4411-4415	diplomaticRepresentativeInRole Agent, Human, Position and Agent instance Agent and Organization occupiesPosition Human, Position and Organization
(=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT2 GeopoliticalArea)) (agentOperatesInArea ?PERSON ?AGENT2))	Government.kif 4429-4433	diplomaticRepresentativeInRole Agent, Human, Position and Agent instance Agent and GeopoliticalArea agentOperatesInArea Human and Agent
(=> (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT2))	Government.kif 4462-4464	diplomaticRepresentativeInRole Agent, Human, Position and Agent diplomaticRepresentationType Agent, Position and Agent
(=> (diplomaticRepresentativeInRole ?AGENT1 ?PERSON Ambassador ?AGENT2) (diplomaticOrganizationType ?AGENT1 Embassy ?AGENT2))	Government.kif 4614-4616	diplomaticRepresentativeInRole Agent, Human, Ambassador and Agent diplomaticOrganizationType Agent, Embassy and Agent
(=> (diplomaticRepresentativeInRole ?COUNTRY1 ?PERSON ?ROLE ?COUNTRY2) (representativeAgentToAgent ?COUNTRY1 ?PERSON ?COUNTRY2))	Government.kif 4534-4536	diplomaticRepresentativeInRole Agent, Human, Position and Agent representativeAgentToAgent Agent, Human and Agent

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 4513-4521

diplomaticRepresentationType Nation, Position and Agent subAttribute Position and DiplomaticAgent
Human instance Human and Human citizen Human and Nation diplomaticRepresentativeInRole Nation, Human, Position and Agent

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

KB Term:			Term intersection

English Word: