| 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 4396-4398 | |
| (subclass ForeignServicePosition Position) | Government.kif 4394-4394 | 外国服务职位 是 地位 的 subclass |
| appearance as argument number 2 |
|
|
| (instance Ambassador ForeignServicePosition) | Government.kif 4412-4412 | 大使 是 外国服务职位 的 instance |
| (instance ChargeDAffaires ForeignServicePosition) | Government.kif 4432-4432 | ChargeD 业务 是 外国服务职位 的 instance |
| (instance Consul ForeignServicePosition) | Government.kif 4426-4426 | 领事 是 外国服务职位 的 instance |
| (instance ConsulGeneral ForeignServicePosition) | Government.kif 4419-4419 | 总领事 是 外国服务职位 的 instance |
| (instance DiplomaticAgent ForeignServicePosition) | Government.kif 4400-4400 | 外交代表 是 外国服务职位 的 instance |
| (instance PrincipalOfficer ForeignServicePosition) | Government.kif 4441-4441 | 主要官员 是 外国服务职位 的 instance |
| (termFormat ChineseLanguage ForeignServicePosition "外国服务职位") | domainEnglishFormat.kif 24662-24662 | |
| (termFormat ChineseTraditionalLanguage ForeignServicePosition "外國服務職位") | domainEnglishFormat.kif 24661-24661 | |
| (termFormat EnglishLanguage ForeignServicePosition "foreign service position") | domainEnglishFormat.kif 24660-24660 |
| antecedent |
|
|
| (=> (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent)) |
Government.kif 4408-4410 |
| consequent |
|
|
| (=> (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 |
|
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