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 4425-4432
(domain diplomaticRepresentativeInRole 1 AutonomousAgent)	Government.kif 4420-4420	Die Zahl 1 Argument von diplomaticRepresentativeInRole ist ein fall von AutonomousAgent %n{nicht}
(domain diplomaticRepresentativeInRole 2 Human)	Government.kif 4421-4421	Die Zahl 2 Argument von diplomaticRepresentativeInRole ist ein fall von Human %n{nicht}
(domain diplomaticRepresentativeInRole 3 Position)	Government.kif 4422-4422	Die Zahl 3 Argument von diplomaticRepresentativeInRole ist ein fall von Position %n{nicht}
(domain diplomaticRepresentativeInRole 4 AutonomousAgent)	Government.kif 4423-4423	Die Zahl 4 Argument von diplomaticRepresentativeInRole ist ein fall von AutonomousAgent %n{nicht}
(instance diplomaticRepresentativeInRole QuaternaryPredicate)	Government.kif 4419-4419	diplomaticRepresentativeInRole ist ein fall von QuaternaryPredicate %n{nicht}

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 4412-4412	chiefOfDiplomaticMission ist eine teilrelation von diplomaticRepresentativeInRole
(termFormat ChineseLanguage diplomaticRepresentativeInRole "外交代表担任职务")	domainEnglishFormat.kif 19632-19632
(termFormat ChineseTraditionalLanguage diplomaticRepresentativeInRole "外交代表擔任職務")	domainEnglishFormat.kif 19631-19631
(termFormat EnglishLanguage diplomaticRepresentativeInRole "diplomatic representative in role")	domainEnglishFormat.kif 19630-19630

antecedent

(=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 GeopoliticalArea)) (employs (GovernmentFn ?AGENT1) ?PERSON))	Government.kif 4450-4454	Wenn diplomaticRepresentativeInRole GeopoliticalArea, Human, Position and AutonomousAgent und GeopoliticalArea ist ein fall von GeopoliticalArea %n{nicht}, dann GovernmentFn GeopoliticalArea beschaeftigt ** Human %n{nicht}
(=> (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 4475-4483	Wenn diplomaticRepresentativeInRole GeopoliticalArea, Human, Position and AutonomousAgent und GeopoliticalArea ist ein fall von Nation %n{nicht} und Organization ist ein fall von DiplomaticOrganization %n{nicht} und subOrganization Organization and GovernmentFn GeopoliticalArea und Human besetzt die position von Position in Organization und AutonomousAgent ist ein fall von GeopoliticalArea %n{nicht}, dann agentOperatesInArea Organization and ** AutonomousAgent
(=> (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 4434-4442	Wenn diplomaticRepresentativeInRole GeopoliticalArea, Human, Position and AutonomousAgent und GeopoliticalArea ist ein fall von Nation %n{nicht}, dann es gibt Organization um Organization ist ein fall von DiplomaticOrganization %n{nicht} und subOrganization Organization and GovernmentFn GeopoliticalArea und Human besetzt die position von Position in ** Organization
(=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 Organization) (instance ?AGENT2 GeopoliticalArea)) (agentOperatesInArea ?AGENT1 ?AGENT2))	Government.kif 4468-4473	Wenn diplomaticRepresentativeInRole AutonomousAgent, Human, Position and AutonomousAgent und AutonomousAgent ist ein fall von Organization %n{nicht} und AutonomousAgent ist ein fall von GeopoliticalArea %n{nicht}, dann agentOperatesInArea AutonomousAgent and ** AutonomousAgent
(=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 Organization)) (employs ?AGENT1 ?PERSON))	Government.kif 4456-4460	Wenn diplomaticRepresentativeInRole AutonomousAgent, Human, Position and AutonomousAgent und AutonomousAgent ist ein fall von Organization %n{nicht}, dann AutonomousAgent beschaeftigt Human %n{nicht}
(=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 Organization)) (occupiesPosition ?PERSON ?POSITION ?ORG))	Government.kif 4444-4448	Wenn diplomaticRepresentativeInRole AutonomousAgent, Human, Position and AutonomousAgent und AutonomousAgent ist ein fall von Organization %n{nicht}, dann Human besetzt die position von Position in Organization
(=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT2 GeopoliticalArea)) (agentOperatesInArea ?PERSON ?AGENT2))	Government.kif 4462-4466	Wenn diplomaticRepresentativeInRole AutonomousAgent, Human, Position and AutonomousAgent und AutonomousAgent ist ein fall von GeopoliticalArea %n{nicht}, dann agentOperatesInArea Human and AutonomousAgent
(=> (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT2))	Government.kif 4495-4497	Wenn diplomaticRepresentativeInRole AutonomousAgent, Human, Position and AutonomousAgent, dann diplomaticRepresentationType AutonomousAgent, Position and ** AutonomousAgent
(=> (diplomaticRepresentativeInRole ?AGENT1 ?PERSON Ambassador ?AGENT2) (diplomaticOrganizationType ?AGENT1 Embassy ?AGENT2))	Government.kif 4647-4649	Wenn diplomaticRepresentativeInRole AutonomousAgent, Human, Ambassador and AutonomousAgent, dann diplomaticOrganizationType AutonomousAgent, Embassy and AutonomousAgent
(=> (diplomaticRepresentativeInRole ?COUNTRY1 ?PERSON ?ROLE ?COUNTRY2) (representativeAgentToAgent ?COUNTRY1 ?PERSON ?COUNTRY2))	Government.kif 4567-4569	Wenn diplomaticRepresentativeInRole AutonomousAgent, Human, Position and AutonomousAgent, dann representativeAgentToAgent AutonomousAgent, Human and ** AutonomousAgent

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 4546-4554

Wenn diplomaticRepresentationType Nation, Position and AutonomousAgent und ** Position ist ein teilattribut von DiplomaticAgent,
dann es gibt Human um ** Human ist ein fall von Human %n{nicht} und ** Human ist der buerger von ** Nation und diplomaticRepresentativeInRole ** Nation, ** Human, ** Position and ** AutonomousAgent

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: