| 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 |
| appearance as argument number 2 |
|
|
| (instance Broker Position) | FinancialOntology.kif 2054-2054 | |
| (instance Chairman Position) | Government.kif 1320-1320 | |
| (instance ChairmanJCS Position) | MilitaryProcesses.kif 912-912 | |
| (instance CombatantCommander Position) | MilitaryPersons.kif 332-332 | |
| (instance DatabaseAdministrator Position) | UXExperimentalTerms.kif 2769-2769 | |
| (instance DirectorJS Position) | MilitaryProcesses.kif 893-893 | |
| (instance FullTimePosition Position) | Mid-level-ontology.kif 18974-18974 | |
| (instance GovernmentDeputy Position) | Government.kif 1319-1319 | |
| (instance Governor Position) | Government.kif 1583-1583 | |
| (instance JointForcesAirCommander Position) | MilitaryPersons.kif 356-356 | |
| (instance JointForcesCommander Position) | MilitaryPersons.kif 344-344 | |
| (instance JointForcesLandCommander Position) | MilitaryPersons.kif 378-378 | |
| (instance JointForcesMaritimeCommander Position) | MilitaryPersons.kif 400-400 | |
| (instance JointForcesSpecialOperationsCommander Position) | MilitaryPersons.kif 432-432 | |
| (instance JointTaskForceCommander Position) | MilitaryPersons.kif 336-336 | |
| (instance King Position) | Government.kif 1356-1356 | |
| (instance Leader Position) | Government.kif 2220-2220 | |
| (instance LieutenantGovernor Position) | Government.kif 1597-1597 | |
| (instance Manager Position) | FinancialOntology.kif 3644-3644 | |
| (instance Mayor Position) | Government.kif 1601-1601 | |
| (instance MilitaryCommander Position) | Government.kif 1322-1322 | |
| (instance Monarch Position) | Government.kif 1324-1324 | |
| (instance NationalCommitteeChairman Position) | Government.kif 2222-2222 | |
| (instance PartTimePosition Position) | Mid-level-ontology.kif 18978-18978 | |
| (instance PermanentRepresentative Position) | Government.kif 2221-2221 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| (domain MemberRoleFn 2 Position) | Government.kif 1747-1747 | |
| (domain appointedPosition 3 Position) | Biography.kif 151-151 | |
| (domain chiefOfDiplomaticMission 3 Position) | Government.kif 4410-4410 | |
| (domain chiefOfState 2 Position) | Government.kif 1517-1517 | |
| (domain chiefOfStateType 2 Position) | Government.kif 1542-1542 | |
| (domain diplomaticRepresentationType 2 Position) | Government.kif 4487-4487 | |
| (domain diplomaticRepresentativeInRole 3 Position) | Government.kif 4422-4422 | |
| (domain headOfGovernment 2 Position) | Government.kif 1563-1563 | |
| (domain leaderPosition 2 Position) | Government.kif 1400-1400 | |
| (domain occupiesPosition 2 Position) | Merge.kif 17342-17342 | |
| (domain subordinatePosition 2 Position) | Mid-level-ontology.kif 23028-23028 | |
| (domain subordinatePosition 3 Position) | Mid-level-ontology.kif 23029-23029 |
| antecedent |
|
|
| (=> (and (instance ?AGENT Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?AGENT (MemberRoleFn ?ORG ?POSITION))) (attribute ?AGENT (MemberFn ?ORG))) |
Government.kif 1753-1759 | |
| (=> (and (instance ?AGENT Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?AGENT (MemberRoleFn ?ORG ?POSITION))) (member ?AGENT ?ORG)) |
Government.kif 1761-1767 | |
| (=> (and (instance ?COUNTRY Nation) (leader ?COUNTRY ?PERSON) (instance ?ROLE Position) (occupiesPosition ?PERSON ?ROLE (GovernmentFn ?COUNTRY))) (leaderPosition ?COUNTRY ?ROLE)) |
Government.kif 1420-1426 | |
| (=> (and (instance ?ORG AutonomousAgent) (leader ?ORG ?PERSON) (instance ?ROLE Position) (occupiesPosition ?PERSON ?ROLE ?ORG)) (leaderPosition ?ORG ?ROLE)) |
Government.kif 1411-1417 | |
| (=> (and (instance ?PERSON Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?PERSON (MemberRoleFn ?ORG ?POSITION))) (occupiesPosition ?PERSON ?POSITION ?ORG)) |
Government.kif 1770-1776 | |
| (=> (and (instance ?PERSON Human) (instance ?ROLE Position) (instance ?AREA GeopoliticalArea) (leaderPosition ?AREA ?ROLE) (occupiesPosition ?PERSON ?ROLE (GovernmentFn ?AREA))) (leader ?AREA ?PERSON)) |
Government.kif 1451-1458 | |
| (=> (and (instance ?PERSON Human) (instance ?ROLE Position) (instance ?ORG AutonomousAgent) (leaderPosition ?ORG ?ROLE) (occupiesPosition ?PERSON ?ROLE ?ORG)) (leader ?ORG ?PERSON)) |
Government.kif 1442-1449 |
| 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 |
|
|
|