TreeView Knowledge Base Browser

appearance as argument number 1

(documentation occupiesPosition ChineseLanguage "(occupiesPosition ?PERSON ?POSITION ?ORG)的意思是 ?PERSON 在 Organization ?ORG 担任 Position ?POSITION。例如： (occupiesPosition TomSmith ResearchDirector AcmeLaboratory)的意思是 TomSmith 在 Acme 实验室担任研究总监的职位。")	chinese_format.kif 3852-3854
(documentation occupiesPosition EnglishLanguage "(occupiesPosition ?PERSON ?POSITION ?ORG) means that ?PERSON holds the Position ?POSITION at Organization ?ORG. For example, (occupiesPosition TomSmith ResearchDirector AcmeLaboratory) means that TomSmith is a research director at Acme Labs.")	Merge.kif 17013-17016
(domain occupiesPosition 1 Human)	Merge.kif 17010-17010	The number 1 argument of occupies position is an instance of human
(domain occupiesPosition 2 Position)	Merge.kif 17011-17011	The number 2 argument of occupies position is an instance of position
(domain occupiesPosition 3 Organization)	Merge.kif 17012-17012	The number 3 argument of occupies position is an instance of organization
(instance occupiesPosition TernaryPredicate)	Merge.kif 17009-17009	occupies position is an instance of ternary predicate

appearance as argument number 2

(format ChineseLanguage occupiesPosition "%1 %n{doesn't} 在 %3 任职 %2")	chinese_format.kif 551-551
(format EnglishLanguage occupiesPosition "%1 %n{doesn't} hold%p{s} the position of %2 in %3")	english_format.kif 556-556
(termFormat ChineseLanguage occupiesPosition "任职")	chinese_format.kif 552-552
(termFormat ChineseLanguage occupiesPosition "占据位置")	domainEnglishFormat.kif 41605-41605
(termFormat ChineseTraditionalLanguage occupiesPosition "佔據位置")	domainEnglishFormat.kif 41604-41604
(termFormat EnglishLanguage occupiesPosition "occupies position")	domainEnglishFormat.kif 41603-41603

antecedent

(=> (and (attribute ?P CollegeFreshman) (occupiesPosition ?H ?P ?ORG)) (exists (?T) (and (holdsDuring (MeasureFn ?T YearDuration) (student ?H ?ORG)) (lessThan ?T 1))))	Mid-level-ontology.kif 18079-18088	If college freshman is an attribute of a position and a human holds the position of the position in an organization, then there exists a real number such that the human is a student of the organization holds during the real number year duration(s) and the real number is less than 1
(=> (and (attribute ?P CollegeJunior) (occupiesPosition ?H ?P ?ORG)) (exists (?T) (and (holdsDuring (MeasureFn ?T YearDuration) (student ?H ?ORG)) (greaterThanOrEqualTo ?T 2) (lessThan ?T 3))))	Mid-level-ontology.kif 18094-18104	If college junior is an attribute of a position and a human holds the position of the position in an organization, then there exists a real number such that the human is a student of the organization holds during the real number year duration(s) and the real number is greater than or equal to 2 and the real number is less than 3
(=> (and (attribute ?P CollegeSenior) (occupiesPosition ?H ?P ?ORG)) (exists (?T) (and (holdsDuring (MeasureFn ?T YearDuration) (student ?H ?ORG)) (greaterThanOrEqualTo ?T 3) (lessThan ?T 4))))	Mid-level-ontology.kif 18110-18120	If college senior is an attribute of a position and a human holds the position of the position in an organization, then there exists a real number such that the human is a student of the organization holds during the real number year duration(s) and the real number is greater than or equal to 3 and the real number is less than 4
(=> (and (attribute ?P CollegeSophomore) (occupiesPosition ?H ?P ?ORG)) (exists (?T) (and (holdsDuring (MeasureFn ?T YearDuration) (student ?H ?ORG)) (greaterThanOrEqualTo ?T 1) (lessThan ?T 2))))	Mid-level-ontology.kif 18126-18136	If college sophomore is an attribute of a position and a human holds the position of the position in an organization, then there exists a real number such that the human is a student of the organization holds during the real number year duration(s) and the real number is greater than or equal to 1 and the real number is less than 2
(=> (and (attribute ?PROF Professor) (occupiesPosition ?PROF Professor ?ORG)) (and (teacher ?PROF ?ORG) (instance ?ORG PostSecondarySchool)))	Mid-level-ontology.kif 20341-20347	If professor is an attribute of a human and the human holds the position of professor in an educational organization, then the human is a teacher in the educational organization and the educational organization is an instance of post secondary school
(=> (and (attribute ?T Teacher) (occupiesPosition ?P ?T ?O)) (teacher ?T ?O))	Mid-level-ontology.kif 18257-18261	If teacher is an attribute of a human and another human holds the position of the human in an educational organization, then the human is a teacher in the educational organization
(=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 Nation) (instance ?ORG DiplomaticOrganization) (subOrganization ?ORG (GovernmentFn ?AGENT1)) (occupiesPosition ?PERSON ?POSITION ?ORG) (instance ?AGENT2 GeopoliticalArea)) (agentOperatesInArea ?ORG ?AGENT2))	Government.kif 4491-4499	If a geopolitical area is diplomatic representative in role a human for a position with an agent and the geopolitical area is an instance of nation and an organization is an instance of diplomatic organization and the organization is a part of the organization the government of the geopolitical area and the human holds the position of the position in the organization and the agent is an instance of geopolitical area, then the agent is an agent operates in area of the organization
(=> (and (instance ?AREA GeopoliticalArea) (occupiesPosition ?PERSON Leader (GovernmentFn ?AREA))) (exists (?LEADING) (and (instance ?LEADING Guiding) (patient ?LEADING ?AREA) (agent ?LEADING ?PERSON))))	Government.kif 2294-2302	If a geopolitical area is an instance of geopolitical area and a human holds the position of leader in the government of the geopolitical area, then there exists a process such that the process is an instance of guiding and the geopolitical area is a patient of the process and the human is an agent of the process
(=> (and (instance ?AREA GeopoliticalArea) (occupiesPosition ?PERSON Leader ?AREA)) (leader (GovernmentFn ?AREA) ?PERSON))	Government.kif 1331-1335	If an organization is an instance of geopolitical area and a human holds the position of leader in the organization, then the human is a leader of the government of the organization
(=> (and (instance ?COUNTRY Nation) (leader ?COUNTRY ?PERSON) (instance ?ROLE Position) (occupiesPosition ?PERSON ?ROLE (GovernmentFn ?COUNTRY))) (leaderPosition ?COUNTRY ?ROLE))	Government.kif 1441-1447	If a geopolitical area is an instance of nation and a human is a leader of the geopolitical area and a position is an instance of position and the human holds the position of the position in the government of the geopolitical area, then the position is a leader position of the geopolitical area
(=> (and (instance ?O GovernmentPosition) (occupiesPosition ?P ?O ?ORG)) (instance ?ORG GovernmentOrganization))	Mid-level-ontology.kif 18295-18299	If a position is an instance of government position and a human holds the position of the position in the positionRG, then the positionRG is an instance of government organization
(=> (and (instance ?ORG Agent) (leader ?ORG ?PERSON) (instance ?ROLE Position) (occupiesPosition ?PERSON ?ROLE ?ORG)) (leaderPosition ?ORG ?ROLE))	Government.kif 1432-1438	If an organization is an instance of agent and a human is a leader of the organization and a position is an instance of position and the human holds the position of the position in the organization, then the position is a leader position of the organization
(=> (and (instance ?PERSON Human) (instance ?ROLE Position) (instance ?AREA GeopoliticalArea) (leaderPosition ?AREA ?ROLE) (occupiesPosition ?PERSON ?ROLE (GovernmentFn ?AREA))) (leader ?AREA ?PERSON))	Government.kif 1472-1479	If a human is an instance of human and a position is an instance of position and a geopolitical area is an instance of geopolitical area and the position is a leader position of the geopolitical area and the human holds the position of the position in the government of the geopolitical area, then the human is a leader of the geopolitical area
(=> (and (instance ?PERSON Human) (instance ?ROLE Position) (instance ?ORG Agent) (leaderPosition ?ORG ?ROLE) (occupiesPosition ?PERSON ?ROLE ?ORG)) (leader ?ORG ?PERSON))	Government.kif 1463-1470	If a human is an instance of human and a position is an instance of position and an organization is an instance of agent and the position is a leader position of the organization and the human holds the position of the position in the organization, then the human is a leader of the organization
(=> (and (occupiesPosition ?H ?P ?O) (instance ?P ReligiousPosition)) (instance ?O ReligiousOrganization))	Mid-level-ontology.kif 20196-20200	If a human holds the position of a position in an organization and the position is an instance of religious position, then the organization is an instance of religious organization
(=> (and (occupiesPosition ?H ?P ?O) (instance ?P SportsPosition)) (instance ?O SportsTeam))	Mid-level-ontology.kif 18284-18288	If a human holds the position of a position in an organization and the position is an instance of sports position, then the organization is an instance of sports team
(=> (and (occupiesPosition ?PERSON ?POSITION ?ORGANIZATION) (instance ?ORGANIZATION PoliticalParty)) (member ?PERSON ?ORGANIZATION))	Government.kif 2280-2284	If a human holds the position of a position in an organization and the organization is an instance of political party, then the human is a member of the organization
(=> (and (subordinatePosition ?ORG ?ROLE1 ?ROLE2) (occupiesPosition ?PERSON1 ?ROLE1 ?ORG)) (exists (?PERSON2) (and (instance ?PERSON2 Human) (occupiesPosition ?PERSON2 ?ROLE2 ?ORG) (subordinateInOrganization ?ORG ?PERSON1 ?PERSON2))))	Mid-level-ontology.kif 22175-22183	If an organization is subordinate position a position for another position and a human holds the position of the position in the organization, then there exists another human such that the other human is an instance of human and the other human holds the position of the other position in the organization and the organization is subordinate in organization the human for the other human
(=> (holdsDuring ?T1 (occupiesPosition ?PERSON SecretaryOfTheInterior UnitedStatesDepartmentOfInterior)) (holdsDuring ?T1 (leader UnitedStatesDepartmentOfInterior ?PERSON)))	Government.kif 4839-4843	If an entity holds the position of secretary of the interior in united states department of interior holds during a time position, then the entity is a leader of united states department of interior holds during the time position
(=> (holdsDuring ?TIME (and (occupiesPosition ?PERSON Deacon ?ORG) (instance ?ORG ReligiousOrganization))) (exists (?C) (holdsDuring ?TIME (and (occupiesPosition ?C Cleric ?ORG) (subordinateInOrganization ?ORG ?PERSON ?C)))))	Mid-level-ontology.kif 20228-20237	If an entity holds the position of deacon in another entity and the other entity is an instance of religious organization holds during a time position, then there exists a third entity such that the third entity holds the position of cleric in the other entity and the other entity is subordinate in organization the entity for the third entity holds during the time position
(=> (occupiesPosition ?AGENT ?POSITION ?ORG) (attribute ?AGENT ?POSITION))	Merge.kif 17018-17020	If a human holds the position of a position in an organization, then the position is an attribute of the human
(=> (occupiesPosition ?H Pope RomanCatholicChurch) (leader RomanCatholicChurch ?H))	People.kif 1300-1302	If a human holds the position of pope in roman catholic church, then the human is a leader of roman catholic church
(=> (occupiesPosition ?P JudgeAtLaw ?O) (instance ?O JudicialOrganization))	Mid-level-ontology.kif 20333-20335	If a human holds the position of judge in an organization, then the organization is an instance of judicial organization
(=> (occupiesPosition ?P JudgeAtLaw ?O) (modalAttribute (exists (?D) (and (instance ?D LegalDecision) (agent ?D ?P))) Permission))	Mid-level-ontology.kif 20325-20331	If a human holds the position of judge in an organization, then the statement there exists an entity such that the entity is an instance of legal decision and the human is an agent of the entity has the modal force of permission
(=> (occupiesPosition ?PERSON ?POSITION ?ORG) (attribute ?PERSON (MemberRoleFn ?ORG ?POSITION)))	Government.kif 1799-1801	If a human holds the position of a position in an organization, then the member role of the organization and the position is an attribute of the human

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

(=> (and (candidateForPosition ?ELECTION ?POSITION ?CONTENDER) (agent ?ELECTION ?AGENT)) (desires ?CONTENDER (occupiesPosition ?CONTENDER ?POSITION ?AGENT)))	Government.kif 1835-1839	If an election candidate for position a social role for a cognitive agent and an agent is an agent of the election, then the cognitive agent desires the cognitive agent holds the position of the social role in the agent
(=> (and (capability ValetParking agent ?AGENT) (customer ?CUST ?AGENT) (located ?AGENT ?LOC) (instance ?D Arriving) (agent ?D ?CUST) (patient ?D ?VEHICLE) (destination ?D ?LOC)) (and (occupiesPosition ?VALET Valet ?AGENT) (modalAttribute (exists (?VP) (and (instance ?VP ValetParking) (agent ?VP ?VALET) (patient ?VP ?VEHICLE) (destination ?VP ?PARK) (instance ?PARK ParkingRegion))) Possibility)))	TransportDetail.kif 153-171	If an organization is capable of doing valet parking as a agent and the organization is a customer of a cognitive agent and the organization is located at an object and a process is an instance of arriving and the cognitive agent is an agent of the process and an entity is a patient of the process and the process ends up at the object, then a human holds the position of valet in the organization and the statement there exists another entity such that the other entity is an instance of valet parking and the human is an agent of the other entity and the entity is a patient of the other entity and the other entity ends up at a third entity and the third entity is an instance of parking area has the modal force of possibility
(=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 Nation)) (exists (?ORG) (and (instance ?ORG DiplomaticOrganization) (subOrganization ?ORG (GovernmentFn ?AGENT1)) (occupiesPosition ?PERSON ?POSITION ?ORG))))	Government.kif 4450-4458	If a geopolitical area is diplomatic representative in role a human for a position with an agent and the geopolitical area is an instance of nation, then there exists an organization such that the organization is an instance of diplomatic organization and the organization is a part of the organization the government of the geopolitical area and the human holds the position of the position in the organization
(=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 Organization)) (occupiesPosition ?PERSON ?POSITION ?ORG))	Government.kif 4460-4464	If an agent is diplomatic representative in role a human for a position with another agent and the agent is an instance of organization, then the human holds the position of the position in an organization
(=> (and (instance ?A Appointing) (patient ?A ?H)) (exists (?P ?ORG) (and (holdsDuring (BeginFn (WhenFn ?A)) (not (occupiesPosition ?H ?P ?ORG))) (holdsDuring (ImmediateFutureFn (WhenFn ?A)) (occupiesPosition ?H ?P ?ORG)))))	Mid-level-ontology.kif 999-1012	If a process is an instance of appointing and an entity is a patient of the process, then there exist another entity and a third entity such that the entity doesn't hold the position of the other entity in the third entity holds during the beginning of the time of existence of the process and the entity holds the position of the other entity in the third entity holds during immediately after the time of existence of the process
(=> (and (instance ?PERSON Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?PERSON (MemberRoleFn ?ORG ?POSITION))) (occupiesPosition ?PERSON ?POSITION ?ORG))	Government.kif 1791-1797	If a human is an instance of human and an organization is an instance of organization and a position is an instance of position and the member role of the organization and the position is an attribute of the human, then the human holds the position of the position in the organization
(=> (and (instance ?T TransferringPosition) (experiencer ?T ?H)) (exists (?P1 ?P2 ?ORG) (and (holdsDuring (BeginFn (WhenFn ?T)) (occupiesPosition ?H ?P1 ?ORG)) (holdsDuring (EndFn (WhenFn ?T)) (occupiesPosition ?H ?P2 ?ORG)) (not (equal ?P1 ?P2)))))	Mid-level-ontology.kif 16367-16380	If a process is an instance of transferring position and an agent experiences the process, then there exist an entity, another entity and a third entity such that the agent holds the position of the entity in the third entity holds during the beginning of the time of existence of the process and the agent holds the position of the other entity in the third entity holds during the end of the time of existence of the process and the entity is not equal to the other entity
(=> (and (subordinatePosition ?ORG ?ROLE1 ?ROLE2) (occupiesPosition ?PERSON1 ?ROLE1 ?ORG)) (exists (?PERSON2) (and (instance ?PERSON2 Human) (occupiesPosition ?PERSON2 ?ROLE2 ?ORG) (subordinateInOrganization ?ORG ?PERSON1 ?PERSON2))))	Mid-level-ontology.kif 22175-22183	If an organization is subordinate position a position for another position and a human holds the position of the position in the organization, then there exists another human such that the other human is an instance of human and the other human holds the position of the other position in the organization and the organization is subordinate in organization the human for the other human
(=> (capability ValetParking agent ?AGENT) (exists (?VALET) (occupiesPosition ?VALET Valet ?AGENT)))	TransportDetail.kif 148-151	If an organization is capable of doing valet parking as a agent, then there exists a human such that the human holds the position of valet in the organization
(=> (chiefOfState ?AREA ?POSITION ?PERSON) (occupiesPosition ?PERSON ?POSITION (GovernmentFn ?AREA)))	Government.kif 1547-1549	If a geopolitical area chief of state a position for a human, then the human holds the position of the position in the government of the geopolitical area
(=> (chiefOfState ?AREA ?POSITION ?PERSON) (occupiesPosition ?PERSON Leader (GovernmentFn ?AREA)))	Government.kif 1551-1553	If a geopolitical area chief of state a position for a human, then the human holds the position of leader in the government of the geopolitical area
(=> (employs ?ORG ?PERSON) (exists (?POSITION) (occupiesPosition ?PERSON ?POSITION ?ORG)))	Merge.kif 17022-17025	If an organization employs a human, then there exists a position such that the human holds the position of the position in the organization
(=> (headOfGovernment ?AREA ?POSITION ?PERSON) (occupiesPosition ?PERSON ?POSITION (GovernmentFn ?AREA)))	Government.kif 1600-1602	If a geopolitical area is the head of government a position for a human, then the human holds the position of the position in the government of the geopolitical area
(=> (holdsDuring ?TIME (and (occupiesPosition ?PERSON Deacon ?ORG) (instance ?ORG ReligiousOrganization))) (exists (?C) (holdsDuring ?TIME (and (occupiesPosition ?C Cleric ?ORG) (subordinateInOrganization ?ORG ?PERSON ?C)))))	Mid-level-ontology.kif 20228-20237	If an entity holds the position of deacon in another entity and the other entity is an instance of religious organization holds during a time position, then there exists a third entity such that the third entity holds the position of cleric in the other entity and the other entity is subordinate in organization the entity for the third entity holds during the time position
(=> (instance ?COMPANY Cafeteria) (not (exists (?PERSON) (occupiesPosition ?PERSON ServicePosition ?COMPANY))))	Mid-level-ontology.kif 7347-7351	If an organization is an instance of cafeteria, then there doesn't exist a human such that the human holds the position of service position in the organization
(=> (judge ?P ?J) (exists (?O) (occupiesPosition ?J JudgeAtLaw ?O)))	Law.kif 245-248	If a human is the judge in a process, then there exists an organization such that the human holds the position of judge in the organization
(=> (punishes ?A ?H) (exists (?O ?P) (occupiesPosition ?A ?P ?O)))	Law.kif 168-171	If a human punishes an agent, then there exist an organization and a position such that the human holds the position of the position in the organization
(=> (punishes ?A ?H) (exists (?O ?POS ?PROC) (and (occupiesPosition ?A ?POS ?O) (agent ?PROC ?A) (wants ?O ?PROC))))	Law.kif 173-179	If a human punishes an agent, then there exist an organization, a position and a process such that the human holds the position of the position in the organization and the human is an agent of the process and the organization wants the process
(=> (rewards ?A ?H) (exists (?O ?P) (occupiesPosition ?A ?P ?O)))	Law.kif 124-127	If a human rewards an agent, then there exist an organization and a position such that the human holds the position of the position in the organization
(=> (rewards ?A ?H) (exists (?O ?POS ?PROC) (and (occupiesPosition ?A ?POS ?O) (agent ?PROC ?A) (wants ?O ?PROC))))	Law.kif 129-135	If a human rewards an agent, then there exist an organization, a position and a process such that the human holds the position of the position in the organization and the human is an agent of the process and the organization wants the process

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: