diplomaticRepresentationType |
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 4526-4529 | |
(domain diplomaticRepresentationType 1 AutonomousAgent) | Government.kif 4522-4522 | |
(domain diplomaticRepresentationType 2 Position) | Government.kif 4523-4523 | |
(domain diplomaticRepresentationType 3 AutonomousAgent) | Government.kif 4524-4524 | |
(instance diplomaticRepresentationType TernaryPredicate) | Government.kif 4521-4521 |
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 19626-19626 | |
(termFormat ChineseTraditionalLanguage diplomaticRepresentationType "外交代表類型") | domainEnglishFormat.kif 19625-19625 | |
(termFormat EnglishLanguage diplomaticRepresentationType "diplomatic representation type") | domainEnglishFormat.kif 19624-19624 |
antecedent |
(=> (and (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT2) (geopoliticalSubdivision ?AGENT2 ?AGENT3) (instance ?AGENT3 Nation)) (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT3)) |
Government.kif 4535-4540 | |
(=> (and (diplomaticRepresentationType ?AGENT1 ConsulGeneral ?AGENT2) (instance ?AREA2 City) (equal ?AGENT2 (GovernmentFn ?AREA2))) (diplomaticOrganizationType ?AGENT1 ConsulateGeneral ?AGENT2)) |
Government.kif 4675-4680 | |
(=> (and (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2) (subAttribute ?ROLE DiplomaticAgent)) (exists (?PERSON) (and (instance ?PERSON Human) (citizen ?PERSON ?COUNTRY1) (diplomaticRepresentativeInRole ?COUNTRY1 ?PERSON ?ROLE ?COUNTRY2)))) |
Government.kif 4582-4590 | |
(=> (diplomaticRepresentationType ?AGENT1 Ambassador ?AGENT2) (diplomaticOrganizationType ?AGENT1 Embassy ?AGENT2)) |
Government.kif 4687-4689 | |
(=> (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2) (diplomaticRelations ?COUNTRY1 ?COUNTRY2)) |
Government.kif 4553-4555 |
consequent |
(=> (and (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT2) (geopoliticalSubdivision ?AGENT2 ?AGENT3) (instance ?AGENT3 Nation)) (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT3)) |
Government.kif 4535-4540 | |
(=> (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 4621-4629 | |
(=> (diplomaticOrganizationType ?AGENT1 ConsulateGeneral ?AGENT2) (diplomaticRepresentationType ?AGENT1 ConsulGeneral ?AGENT2)) |
Government.kif 4644-4646 | |
(=> (diplomaticOrganizationType ?AGENT1 Embassy ?AGENT2) (diplomaticRepresentationType ?AGENT1 Ambassador ?AGENT2)) |
Government.kif 4692-4694 | |
(=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE) (and (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent) (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2)))) |
Government.kif 4557-4563 | |
(=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE) (and (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent) (diplomaticRepresentationType ?COUNTRY2 ?ROLE ?COUNTRY1)))) |
Government.kif 4565-4571 | |
(=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE1 ?ROLE2) (and (instance ?ROLE1 Position) (instance ?ROLE2 Position) (diplomaticRepresentationType ?COUNTRY1 ?ROLE1 ?COUNTRY2) (diplomaticRepresentationType ?COUNTRY2 ?ROLE2 ?COUNTRY1)))) |
Government.kif 4573-4580 | |
(=> (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT2)) |
Government.kif 4531-4533 |