diplomaticRepresentativeInRole - Sigma Knowledge base Browser

appearance as argument number 1

(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 4422-4429
(domain diplomaticRepresentativeInRole 1 AutonomousAgent)	Government.kif 4417-4417	The number 1 argument of diplomatic representative in role is an instance of agent
(domain diplomaticRepresentativeInRole 2 Human)	Government.kif 4418-4418	The number 2 argument of diplomatic representative in role is an instance of human
(domain diplomaticRepresentativeInRole 3 Position)	Government.kif 4419-4419	The number 3 argument of diplomatic representative in role is an instance of position
(domain diplomaticRepresentativeInRole 4 AutonomousAgent)	Government.kif 4420-4420	The number 4 argument of diplomatic representative in role is an instance of agent
(instance diplomaticRepresentativeInRole QuaternaryPredicate)	Government.kif 4416-4416	diplomatic representative in role is an instance of quaternary predicate

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 4409-4409	chief of diplomatic mission is a subrelation of diplomatic representative in role
(termFormat ChineseLanguage diplomaticRepresentativeInRole "外交代表担任职务")	domainEnglishFormat.kif 19647-19647	chief of diplomatic mission is a subrelation of diplomatic representative in role
(termFormat ChineseTraditionalLanguage diplomaticRepresentativeInRole "外交代表擔任職務")	domainEnglishFormat.kif 19646-19646	chief of diplomatic mission is a subrelation of diplomatic representative in role
(termFormat EnglishLanguage diplomaticRepresentativeInRole "diplomatic representative in role")	domainEnglishFormat.kif 19645-19645	chief of diplomatic mission is a subrelation of diplomatic representative in role

antecedent

(=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 GeopoliticalArea)) (employs (GovernmentFn ?AGENT1) ?PERSON))	Government.kif 4447-4451	If a geopolitical area is diplomatic representative in role a human for a position with an agent and the geopolitical area is an instance of geopolitical area, then the government of the geopolitical area employs the 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 4472-4480	If a geopolitical area is diplomatic representative in role a human for a position with an agent and the geopolitical area is an instance of nation and an organization is an instance of diplomatic organization and the organization is a part of the organization the government of the geopolitical area and the human holds the position of the position in the organization and the agent is an instance of geopolitical area, then the agent is an agent operates in area of the organization
(=> (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 4431-4439	If a geopolitical area is diplomatic representative in role a human for a position with an agent and the geopolitical area is an instance of nation, then there exists an organization such that the organization is an instance of diplomatic organization and the organization is a part of the organization the government of the geopolitical area and the human holds the position of the position in the organization
(=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 Organization) (instance ?AGENT2 GeopoliticalArea)) (agentOperatesInArea ?AGENT1 ?AGENT2))	Government.kif 4465-4470	If an agent is diplomatic representative in role a human for a position with another agent and the agent is an instance of organization and the other agent is an instance of geopolitical area, then the other agent is an agent operates in area of the agent
(=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 Organization)) (employs ?AGENT1 ?PERSON))	Government.kif 4453-4457	If an agent is diplomatic representative in role a human for a position with another agent and the agent is an instance of organization, then the agent employs the human
(=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 Organization)) (occupiesPosition ?PERSON ?POSITION ?ORG))	Government.kif 4441-4445	If an agent is diplomatic representative in role a human for a position with another agent and the agent is an instance of organization, then the human holds the position of the position in an organization
(=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT2 GeopoliticalArea)) (agentOperatesInArea ?PERSON ?AGENT2))	Government.kif 4459-4463	If an agent is diplomatic representative in role a human for a position with another agent and the other agent is an instance of geopolitical area, then the other agent is an agent operates in area of the human
(=> (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT2))	Government.kif 4492-4494	If an agent is diplomatic representative in role a human for a position with another agent, then the agent diplomatic representation type the position for the other agent
(=> (diplomaticRepresentativeInRole ?AGENT1 ?PERSON Ambassador ?AGENT2) (diplomaticOrganizationType ?AGENT1 Embassy ?AGENT2))	Government.kif 4644-4646	If an agent is diplomatic representative in role a human for ambassador with another agent, then the agent is diplomatic organization type embassy for the other agent
(=> (diplomaticRepresentativeInRole ?COUNTRY1 ?PERSON ?ROLE ?COUNTRY2) (representativeAgentToAgent ?COUNTRY1 ?PERSON ?COUNTRY2))	Government.kif 4564-4566	If an agent is diplomatic representative in role a human for a position with another agent, then the agent is representative agent to agent the human for the other 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 4543-4551

If a nation diplomatic representation type a position for an agent and the position is a subattribute of diplomatic agent,
then there exists a human such that the human is an instance of human and the human is a citizen of the nation and the nation is diplomatic representative in role the human for the position with the 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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: