|
|
   ForeignServicePosition
|
|
|
| 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 4367-4369 | |
| (subclass ForeignServicePosition Position) | Government.kif 4365-4365 |
| appearance as argument number 2 |
|
|
| (instance Ambassador ForeignServicePosition) | Government.kif 4383-4383 | |
| (instance ChargeDAffaires ForeignServicePosition) | Government.kif 4403-4403 | |
| (instance Consul ForeignServicePosition) | Government.kif 4397-4397 | |
| (instance ConsulGeneral ForeignServicePosition) | Government.kif 4390-4390 | |
| (instance DiplomaticAgent ForeignServicePosition) | Government.kif 4371-4371 | |
| (instance PrincipalOfficer ForeignServicePosition) | Government.kif 4412-4412 | |
| (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 4379-4381 |
| consequent |
|
|
| (=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE) (and (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent) (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2)))) |
Government.kif 4528-4534 | |
| (=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE) (and (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent) (diplomaticRepresentationType ?COUNTRY2 ?ROLE ?COUNTRY1)))) |
Government.kif 4536-4542 |
|
|
|