| 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 4453-4460 | |
| (domain diplomaticRepresentativeInRole 1 Agent) | Government.kif 4448-4448 | 外交代表担任职务 的 1 数量 是 施事体 的 instance |
| (domain diplomaticRepresentativeInRole 2 Human) | Government.kif 4449-4449 | 外交代表担任职务 的 2 数量 是 人类 的 instance |
| (domain diplomaticRepresentativeInRole 3 Position) | Government.kif 4450-4450 | 外交代表担任职务 的 3 数量 是 地位 的 instance |
| (domain diplomaticRepresentativeInRole 4 Agent) | Government.kif 4451-4451 | 外交代表担任职务 的 4 数量 是 施事体 的 instance |
| (instance diplomaticRepresentativeInRole QuaternaryPredicate) | Government.kif 4447-4447 | 外交代表担任职务 是 四元谓语 的 instance |
| 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 4440-4440 | 外交使团团长 是 外交代表担任职务 的 subrelation |
| (termFormat ChineseLanguage diplomaticRepresentativeInRole "外交代表担任职务") | domainEnglishFormat.kif 19623-19623 | |
| (termFormat ChineseTraditionalLanguage diplomaticRepresentativeInRole "外交代表擔任職務") | domainEnglishFormat.kif 19622-19622 | |
| (termFormat EnglishLanguage diplomaticRepresentativeInRole "diplomatic representative in role") | domainEnglishFormat.kif 19621-19621 |
| antecedent |
|
|
| (=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 GeopoliticalArea)) (employs (GovernmentFn ?AGENT1) ?PERSON)) |
Government.kif 4478-4482 | |
| (=> (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 | |
| (=> (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 | |
| (=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 Organization) (instance ?AGENT2 GeopoliticalArea)) (agentOperatesInArea ?AGENT1 ?AGENT2)) |
Government.kif 4496-4501 | |
| (=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 Organization)) (employs ?AGENT1 ?PERSON)) |
Government.kif 4484-4488 | |
| (=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 Organization)) (occupiesPosition ?PERSON ?POSITION ?ORG)) |
Government.kif 4472-4476 | |
| (=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT2 GeopoliticalArea)) (agentOperatesInArea ?PERSON ?AGENT2)) |
Government.kif 4490-4494 | |
| (=> (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT2)) |
Government.kif 4523-4525 | |
| (=> (diplomaticRepresentativeInRole ?AGENT1 ?PERSON Ambassador ?AGENT2) (diplomaticOrganizationType ?AGENT1 Embassy ?AGENT2)) |
Government.kif 4675-4677 | |
| (=> (diplomaticRepresentativeInRole ?COUNTRY1 ?PERSON ?ROLE ?COUNTRY2) (representativeAgentToAgent ?COUNTRY1 ?PERSON ?COUNTRY2)) |
Government.kif 4595-4597 |
|
| 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 |
|
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