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 17344-17347
(domain occupiesPosition 1 Human)	Merge.kif 17341-17341	The number 1 argument of occupies position is an instance of human
(domain occupiesPosition 2 Position)	Merge.kif 17342-17342	The number 2 argument of occupies position is an instance of position
(domain occupiesPosition 3 Organization)	Merge.kif 17343-17343	The number 3 argument of occupies position is an instance of organization
(instance occupiesPosition TernaryPredicate)	Merge.kif 17340-17340	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
(format FrenchLanguage occupiesPosition "%1 %n{n'} occupe %n{pas} la position de %2 %3")	french_format.kif 323-323
(format ItalianLanguage occupiesPosition "%1 occupa la posizione di %2 in %3")	relations-it.txt 202-202
(format JapaneseLanguage occupiesPosition "%1 は %3 の %2 の position を hold%p{s} %n{ない}")	japanese_format.kif 2091-2091
(format PortugueseLanguage occupiesPosition "%1 %n{nao} ocupa %n a posicao de %2 %3")	portuguese_format.kif 275-275
(format de occupiesPosition "%1 besetzt die position von %2 in %3")	relations-de.txt 721-721
(format hi occupiesPosition "%3 men %1 %2 kaa sthaana letaa hai")	relations-hindi.txt 240-240
(format ro occupiesPosition "%1 %n{nu} deþine position%t{poziþia} %2 în %3")	relations-ro.kif 344-344
(format sv occupiesPosition "%1 har %n{inte} positionen %2 i %3")	relations-sv.txt 357-357
(termFormat ChineseLanguage occupiesPosition "任职")	chinese_format.kif 552-552
(termFormat ChineseLanguage occupiesPosition "占据位置")	domainEnglishFormat.kif 41622-41622
(termFormat ChineseTraditionalLanguage occupiesPosition "佔據位置")	domainEnglishFormat.kif 41621-41621
(termFormat EnglishLanguage occupiesPosition "occupies position")	domainEnglishFormat.kif 41620-41620

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 18755-18764	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 18770-18780	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 18786-18796	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 18802-18812	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 21051-21057	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 18933-18937	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 4475-4483	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 2273-2281	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 1310-1314	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 1420-1426	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 ?H Human) (occupiesPosition ?H ?B ?O) (attribute ?B Banker)) (instance ?O BankFinancialOrganization))	FinancialOntology.kif 3652-3657	If a human is an instance of human and the human holds the position of a position in an organization and banker is an attribute of the position, then the organization is an instance of BankFinancialOrganization
(=> (and (instance ?O GovernmentPosition) (occupiesPosition ?P ?O ?ORG)) (instance ?ORG GovernmentOrganization))	Mid-level-ontology.kif 18971-18975	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 AutonomousAgent) (leader ?ORG ?PERSON) (instance ?ROLE Position) (occupiesPosition ?PERSON ?ROLE ?ORG)) (leaderPosition ?ORG ?ROLE))	Government.kif 1411-1417	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 1451-1458	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 AutonomousAgent) (leaderPosition ?ORG ?ROLE) (occupiesPosition ?PERSON ?ROLE ?ORG)) (leader ?ORG ?PERSON))	Government.kif 1442-1449	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 20906-20910	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 18960-18964	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 2259-2263	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 22805-22813	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 4823-4827	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 20938-20947	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 17349-17351	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 1290-1292	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 21043-21045	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 21035-21041	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

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 1814-1818	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)) (exists (?VALET) (and (occupiesPosition ?VALET Valet ?AGENT) (modalAttribute (exists (?VP ?PARK) (and (instance ?VP ValetParking) (agent ?VP ?VALET) (patient ?VP ?VEHICLE) (destination ?VP ?PARK) (instance ?PARK ParkingRegion))) Possibility))))	TransportDetail.kif 157-176	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 there exists a human such that the human holds the position of valet in the organization and the statement there exist another entity and a third 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 the 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 4434-4442	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 4444-4448	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 1035-1048	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 1770-1776	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 16975-16988	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 22805-22813	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 152-155	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 1526-1528	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 1530-1532	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 17353-17356	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 1579-1581	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 20938-20947	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 7700-7704	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
(=> (instance ?ORD Ordaining) (hasPurpose ?ORD (exists (?X ?ORG ?POS) (and (patient ?ORD ?X) (instance ?X Human) (instance ?ORG ReligiousOrganization) (member ?X ?ORG) (result ?ORD ?POS) (instance ?POS ReligiousPosition) (occupiesPosition ?X ?POS ?ORG)))))	Biography.kif 132-143	If a physical is an instance of Ordaining, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is a patient of the physical and the entity is an instance of human and the other entity is an instance of religious organization and the entity is a member of the other entity and the third entity is a result of the physical and the third entity is an instance of religious position and the entity holds the position of the third entity in the other entity
(=> (judge ?P ?J) (exists (?O) (occupiesPosition ?J JudgeAtLaw ?O)))	Law.kif 202-205	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 155-158	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 160-166	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 111-114	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 116-122	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: