![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation ForeignServicePosition EnglishLanguage "ForeignServicePosition is the subclass of Positions that belong to foreign service personnel working for a national government or international organization.") | Government.kif 4388-4390 | |
(subclass ForeignServicePosition Position) | Government.kif 4386-4386 |
appearance as argument number 2 |
![]() |
(instance Ambassador ForeignServicePosition) | Government.kif 4404-4404 | |
(instance ChargeDAffaires ForeignServicePosition) | Government.kif 4424-4424 | |
(instance Consul ForeignServicePosition) | Government.kif 4418-4418 | |
(instance ConsulGeneral ForeignServicePosition) | Government.kif 4411-4411 | |
(instance DiplomaticAgent ForeignServicePosition) | Government.kif 4392-4392 | |
(instance PrincipalOfficer ForeignServicePosition) | Government.kif 4433-4433 | |
(termFormat ChineseLanguage ForeignServicePosition "外国服务职位") | domainEnglishFormat.kif 24657-24657 | |
(termFormat ChineseTraditionalLanguage ForeignServicePosition "外國服務職位") | domainEnglishFormat.kif 24656-24656 | |
(termFormat EnglishLanguage ForeignServicePosition "foreign service position") | domainEnglishFormat.kif 24655-24655 |
antecedent |
![]() |
(=> (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent)) |
Government.kif 4400-4402 |
consequent |
![]() |
(=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE) (and (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent) (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2)))) |
Government.kif 4549-4555 | |
(=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE) (and (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent) (diplomaticRepresentationType ?COUNTRY2 ?ROLE ?COUNTRY1)))) |
Government.kif 4557-4563 |
![]() |
![]() |