| appearance as argument number 1 |
|
| (documentation diplomaticRepresentationType EnglishLanguage "(diplomaticRepresentationType ?AGENT1 ?RANK ?AGENT2) means that the Agent ?AGENT1 sends a representative with the Position ?RANK to the Agent ?AGENT2.") | Government.kif 4489-4492 | |
| (domain diplomaticRepresentationType 1 Agent) | Government.kif 4485-4485 | |
| (domain diplomaticRepresentationType 2 Position) | Government.kif 4486-4486 | |
| (domain diplomaticRepresentationType 3 Agent) | Government.kif 4487-4487 | |
| (instance diplomaticRepresentationType TernaryPredicate) | Government.kif 4484-4484 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage diplomaticRepresentationType "") | domainEnglishFormat.kif 748-748 | |
| (format ChineseTraditionalLanguage diplomaticRepresentationType "% %n %1 %3 ") | domainEnglishFormat.kif 747-747 | |
| (format EnglishLanguage diplomaticRepresentationType "%1 %n{doesn't} diplomatic representation type %2 for %3") | domainEnglishFormat.kif 746-746 | |
| (termFormat ChineseLanguage diplomaticRepresentationType "外交代表类型") | domainEnglishFormat.kif 19617-19617 | |
| (termFormat ChineseTraditionalLanguage diplomaticRepresentationType "外交代表類型") | domainEnglishFormat.kif 19616-19616 | |
| (termFormat EnglishLanguage diplomaticRepresentationType "diplomatic representation type") | domainEnglishFormat.kif 19615-19615 |
| antecedent |
|
|
| (=> (and (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT2) (geopoliticalSubdivision ?AGENT2 ?AGENT3) (instance ?AGENT3 Nation)) (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT3)) |
Government.kif 4498-4503 | |
| (=> (and (diplomaticRepresentationType ?AGENT1 ConsulGeneral ?AGENT2) (instance ?AREA2 City) (equal ?AGENT2 (GovernmentFn ?AREA2))) (diplomaticOrganizationType ?AGENT1 ConsulateGeneral ?AGENT2)) |
Government.kif 4638-4643 | |
| (=> (and (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2) (subAttribute ?ROLE DiplomaticAgent)) (exists (?PERSON) (and (instance ?PERSON Human) (citizen ?PERSON ?COUNTRY1) (diplomaticRepresentativeInRole ?COUNTRY1 ?PERSON ?ROLE ?COUNTRY2)))) |
Government.kif 4545-4553 | |
| (=> (diplomaticRepresentationType ?AGENT1 Ambassador ?AGENT2) (diplomaticOrganizationType ?AGENT1 Embassy ?AGENT2)) |
Government.kif 4650-4652 | |
| (=> (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2) (diplomaticRelations ?COUNTRY1 ?COUNTRY2)) |
Government.kif 4516-4518 |
| consequent |
|
|
| (=> (and (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT2) (geopoliticalSubdivision ?AGENT2 ?AGENT3) (instance ?AGENT3 Nation)) (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT3)) |
Government.kif 4498-4503 | |
| (=> (and (instance ?SENDER Nation) (instance ?RECEIVER Nation) (instance ?PERSON Human) (attribute ?PERSON ?ROLE) (subAttribute ?ROLE DiplomaticAgent) (representativeAgentToAgent ?SENDER ?PERSON ?RECEIVER)) (diplomaticRepresentationType ?SENDER ?ROLE ?RECEIVER)) |
Government.kif 4584-4592 | |
| (=> (diplomaticOrganizationType ?AGENT1 ConsulateGeneral ?AGENT2) (diplomaticRepresentationType ?AGENT1 ConsulGeneral ?AGENT2)) |
Government.kif 4607-4609 | |
| (=> (diplomaticOrganizationType ?AGENT1 Embassy ?AGENT2) (diplomaticRepresentationType ?AGENT1 Ambassador ?AGENT2)) |
Government.kif 4655-4657 | |
| (=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE) (and (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent) (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2)))) |
Government.kif 4520-4526 | |
| (=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE) (and (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent) (diplomaticRepresentationType ?COUNTRY2 ?ROLE ?COUNTRY1)))) |
Government.kif 4528-4534 | |
| (=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE1 ?ROLE2) (and (instance ?ROLE1 Position) (instance ?ROLE2 Position) (diplomaticRepresentationType ?COUNTRY1 ?ROLE1 ?COUNTRY2) (diplomaticRepresentationType ?COUNTRY2 ?ROLE2 ?COUNTRY1)))) |
Government.kif 4536-4543 | |
| (=> (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT2)) |
Government.kif 4494-4496 |
|
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