|
|
   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 17265-17267 | |
| (subclass Position SocialRole) | Merge.kif 17264-17264 | Position ist eine teilkategorie von SocialRole |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain MemberRoleFn 2 Position) | Government.kif 1783-1783 | Die Zahl 2 Argument von MemberRoleFn ist ein fall von Position %n{nicht} |
| (domain appointedPosition 3 Position) | Biography.kif 151-151 | Die Zahl 3 Argument von appointedPosition ist ein fall von Position %n{nicht} |
| (domain chiefOfDiplomaticMission 3 Position) | Government.kif 4446-4446 | Die Zahl 3 Argument von chiefOfDiplomaticMission ist ein fall von Position %n{nicht} |
| (domain chiefOfState 2 Position) | Government.kif 1553-1553 | Die Zahl 2 Argument von chiefOfState ist ein fall von Position %n{nicht} |
| (domain chiefOfStateType 2 Position) | Government.kif 1578-1578 | Die Zahl 2 Argument von chiefOfStateType ist ein fall von Position %n{nicht} |
| (domain diplomaticRepresentationType 2 Position) | Government.kif 4523-4523 | Die Zahl 2 Argument von diplomaticRepresentationType ist ein fall von Position %n{nicht} |
| (domain diplomaticRepresentativeInRole 3 Position) | Government.kif 4458-4458 | Die Zahl 3 Argument von diplomaticRepresentativeInRole ist ein fall von Position %n{nicht} |
| (domain headOfGovernment 2 Position) | Government.kif 1599-1599 | Die Zahl 2 Argument von headOfGovernment ist ein fall von Position %n{nicht} |
| (domain leaderPosition 2 Position) | Government.kif 1436-1436 | Die Zahl 2 Argument von leaderPosition ist ein fall von Position %n{nicht} |
| (domain occupiesPosition 2 Position) | Merge.kif 17271-17271 | Die Zahl 2 Argument von occupiesPosition ist ein fall von Position %n{nicht} |
| (domain subordinatePosition 2 Position) | Mid-level-ontology.kif 22745-22745 | Die Zahl 2 Argument von subordinatePosition ist ein fall von Position %n{nicht} |
| (domain subordinatePosition 3 Position) | Mid-level-ontology.kif 22746-22746 | Die Zahl 3 Argument von subordinatePosition ist ein fall von Position %n{nicht} |
| 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 |
|
|
|
|