| appearance as argument number 1 |
|
| (documentation diplomaticRepresentationType EnglishLanguage "(diplomaticRepresentationType ?AGENT1 ?RANK ?AGENT2) means that the AutonomousAgent ?AGENT1 sends a representative with the Position ?RANK to the AutonomousAgent ?AGENT2.") | Government.kif 4487-4490 | |
| (domain diplomaticRepresentationType 1 AutonomousAgent) | Government.kif 4483-4483 | |
| (domain diplomaticRepresentationType 2 Position) | Government.kif 4484-4484 | |
| (domain diplomaticRepresentationType 3 AutonomousAgent) | Government.kif 4485-4485 | |
| (instance diplomaticRepresentationType TernaryPredicate) | Government.kif 4482-4482 |
| 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 19635-19635 | |
| (termFormat ChineseTraditionalLanguage diplomaticRepresentationType "外交代表類型") | domainEnglishFormat.kif 19634-19634 | |
| (termFormat EnglishLanguage diplomaticRepresentationType "diplomatic representation type") | domainEnglishFormat.kif 19633-19633 |
| antecedent |
|
|
| (=> (and (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT2) (geopoliticalSubdivision ?AGENT2 ?AGENT3) (instance ?AGENT3 Nation)) (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT3)) |
Government.kif 4496-4501 | |
| (=> (and (diplomaticRepresentationType ?AGENT1 ConsulGeneral ?AGENT2) (instance ?AREA2 City) (equal ?AGENT2 (GovernmentFn ?AREA2))) (diplomaticOrganizationType ?AGENT1 ConsulateGeneral ?AGENT2)) |
Government.kif 4636-4641 | |
| (=> (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 | |
| (=> (diplomaticRepresentationType ?AGENT1 Ambassador ?AGENT2) (diplomaticOrganizationType ?AGENT1 Embassy ?AGENT2)) |
Government.kif 4648-4650 | |
| (=> (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2) (diplomaticRelations ?COUNTRY1 ?COUNTRY2)) |
Government.kif 4514-4516 |
| consequent |
|
|
| (=> (and (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT2) (geopoliticalSubdivision ?AGENT2 ?AGENT3) (instance ?AGENT3 Nation)) (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT3)) |
Government.kif 4496-4501 | |
| (=> (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 4582-4590 | |
| (=> (diplomaticOrganizationType ?AGENT1 ConsulateGeneral ?AGENT2) (diplomaticRepresentationType ?AGENT1 ConsulGeneral ?AGENT2)) |
Government.kif 4605-4607 | |
| (=> (diplomaticOrganizationType ?AGENT1 Embassy ?AGENT2) (diplomaticRepresentationType ?AGENT1 Ambassador ?AGENT2)) |
Government.kif 4653-4655 | |
| (=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE) (and (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent) (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2)))) |
Government.kif 4518-4524 | |
| (=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE) (and (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent) (diplomaticRepresentationType ?COUNTRY2 ?ROLE ?COUNTRY1)))) |
Government.kif 4526-4532 | |
| (=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE1 ?ROLE2) (and (instance ?ROLE1 Position) (instance ?ROLE2 Position) (diplomaticRepresentationType ?COUNTRY1 ?ROLE1 ?COUNTRY2) (diplomaticRepresentationType ?COUNTRY2 ?ROLE2 ?COUNTRY1)))) |
Government.kif 4534-4541 | |
| (=> (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT2)) |
Government.kif 4492-4494 |
|
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