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 17440-17442 | |
(subclass Position SocialRole) | Merge.kif 17439-17439 |
appearance as argument number 2 |
![]() |
(instance Broker Position) | FinancialOntology.kif 2071-2071 | |
(instance Chairman Position) | Government.kif 1318-1318 | |
(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 20287-20287 | |
(instance GovernmentDeputy Position) | Government.kif 1317-1317 | |
(instance Governor Position) | Government.kif 1581-1581 | |
(instance JointForcesAirCommander Position) | MilitaryPersons.kif 367-367 | |
(instance JointForcesCommander Position) | MilitaryPersons.kif 355-355 | |
(instance JointForcesLandCommander Position) | MilitaryPersons.kif 389-389 | |
(instance JointForcesMaritimeCommander Position) | MilitaryPersons.kif 411-411 | |
(instance JointForcesSpecialOperationsCommander Position) | MilitaryPersons.kif 443-443 | |
(instance JointTaskForceCommander Position) | MilitaryPersons.kif 347-347 | |
(instance King Position) | Government.kif 1354-1354 | |
(instance Leader Position) | Government.kif 2217-2217 | |
(instance LieutenantGovernor Position) | Government.kif 1595-1595 | |
(instance Manager Position) | FinancialOntology.kif 3662-3662 | |
(instance Mayor Position) | Government.kif 1599-1599 | |
(instance MilitaryCommander Position) | Government.kif 1320-1320 | |
(instance Monarch Position) | Government.kif 1322-1322 | |
(instance NationalCommitteeChairman Position) | Government.kif 2219-2219 | |
(instance PartTimePosition Position) | Mid-level-ontology.kif 20291-20291 | |
(instance PermanentRepresentative Position) | Government.kif 2218-2218 | |
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 1745-1745 | |
(domain appointedPosition 3 Position) | Biography.kif 156-156 | |
(domain chiefOfDiplomaticMission 3 Position) | Government.kif 4407-4407 | |
(domain chiefOfState 2 Position) | Government.kif 1515-1515 | |
(domain chiefOfStateType 2 Position) | Government.kif 1540-1540 | |
(domain diplomaticRepresentationType 2 Position) | Government.kif 4484-4484 | |
(domain diplomaticRepresentativeInRole 3 Position) | Government.kif 4419-4419 | |
(domain headOfGovernment 2 Position) | Government.kif 1561-1561 | |
(domain leaderPosition 2 Position) | Government.kif 1398-1398 | |
(domain occupiesPosition 2 Position) | Merge.kif 17446-17446 | |
(domain subordinatePosition 2 Position) | Mid-level-ontology.kif 24386-24386 | |
(domain subordinatePosition 3 Position) | Mid-level-ontology.kif 24387-24387 |
antecedent |
![]() |
(=> (and (instance ?AGENT Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?AGENT (MemberRoleFn ?ORG ?POSITION))) (attribute ?AGENT (MemberFn ?ORG))) |
Government.kif 1751-1757 | |
(=> (and (instance ?AGENT Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?AGENT (MemberRoleFn ?ORG ?POSITION))) (member ?AGENT ?ORG)) |
Government.kif 1759-1765 | |
(=> (and (instance ?COUNTRY Nation) (leader ?COUNTRY ?PERSON) (instance ?ROLE Position) (occupiesPosition ?PERSON ?ROLE (GovernmentFn ?COUNTRY))) (leaderPosition ?COUNTRY ?ROLE)) |
Government.kif 1418-1424 | |
(=> (and (instance ?ORG AutonomousAgent) (leader ?ORG ?PERSON) (instance ?ROLE Position) (occupiesPosition ?PERSON ?ROLE ?ORG)) (leaderPosition ?ORG ?ROLE)) |
Government.kif 1409-1415 | |
(=> (and (instance ?PERSON Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?PERSON (MemberRoleFn ?ORG ?POSITION))) (occupiesPosition ?PERSON ?POSITION ?ORG)) |
Government.kif 1768-1774 | |
(=> (and (instance ?PERSON Human) (instance ?ROLE Position) (instance ?AREA GeopoliticalArea) (leaderPosition ?AREA ?ROLE) (occupiesPosition ?PERSON ?ROLE (GovernmentFn ?AREA))) (leader ?AREA ?PERSON)) |
Government.kif 1449-1456 | |
(=> (and (instance ?PERSON Human) (instance ?ROLE Position) (instance ?ORG AutonomousAgent) (leaderPosition ?ORG ?ROLE) (occupiesPosition ?PERSON ?ROLE ?ORG)) (leader ?ORG ?PERSON)) |
Government.kif 1440-1447 |
consequent |
![]() |
(=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE1 ?ROLE2) (and (instance ?ROLE1 Position) (instance ?ROLE2 Position) (diplomaticRepresentationType ?COUNTRY1 ?ROLE1 ?COUNTRY2) (diplomaticRepresentationType ?COUNTRY2 ?ROLE2 ?COUNTRY1)))) |
Government.kif 4534-4541 |
![]() |
![]() |