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 17336-17338 | |
(subclass Position SocialRole) | Merge.kif 17335-17335 | Posicao e' uma sub-classe de Role Social |
appearance as argument number 2 |
appearance as argument number 3 |
(domain MemberRoleFn 2 Position) | Government.kif 1747-1747 | O argumento numero 2 de MemberRoleFn e' uma instancia de Posicao |
(domain appointedPosition 3 Position) | Biography.kif 151-151 | O argumento numero 3 de appointedPosition e' uma instancia de Posicao |
(domain chiefOfDiplomaticMission 3 Position) | Government.kif 4410-4410 | O argumento numero 3 de chiefOfDiplomaticMission e' uma instancia de Posicao |
(domain chiefOfState 2 Position) | Government.kif 1517-1517 | O argumento numero 2 de chiefOfState e' uma instancia de Posicao |
(domain chiefOfStateType 2 Position) | Government.kif 1542-1542 | O argumento numero 2 de chiefOfStateType e' uma instancia de Posicao |
(domain diplomaticRepresentationType 2 Position) | Government.kif 4487-4487 | O argumento numero 2 de diplomaticRepresentationType e' uma instancia de Posicao |
(domain diplomaticRepresentativeInRole 3 Position) | Government.kif 4422-4422 | O argumento numero 3 de diplomaticRepresentativeInRole e' uma instancia de Posicao |
(domain headOfGovernment 2 Position) | Government.kif 1563-1563 | O argumento numero 2 de headOfGovernment e' uma instancia de Posicao |
(domain leaderPosition 2 Position) | Government.kif 1400-1400 | O argumento numero 2 de leaderPosition e' uma instancia de Posicao |
(domain occupiesPosition 2 Position) | Merge.kif 17342-17342 | O argumento numero 2 de occupiesPosition e' uma instancia de Posicao |
(domain subordinatePosition 2 Position) | Mid-level-ontology.kif 22797-22797 | O argumento numero 2 de subordinatePosition e' uma instancia de Posicao |
(domain subordinatePosition 3 Position) | Mid-level-ontology.kif 22798-22798 | O argumento numero 3 de subordinatePosition e' uma instancia de Posicao |
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 4537-4544 |