Position |
appearance as argument number 1 |
(documentation Position ChineseLanguage "这是 Organization 里一个负责的正式职位,Position 的例子包括:总裁、实验室主管、高级研究员和销售代表等等。") | chinese_format.kif 3850-3851 | |
(documentation Position EnglishLanguage "A formal position of responsibility within an Organization. Examples of Positions include president, laboratory director, senior researcher, sales representative, etc.") | Merge.kif 17287-17289 | |
(subclass Position SocialRole) | Merge.kif 17286-17286 | 子類 Position and SocialRole |
appearance as argument number 2 |
appearance as argument number 3 |
antecedent |
consequent |
(=> (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 |
|