occupiesPosition - Sigma 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 16037-16040
(domain occupiesPosition 1 Human)	Merge.kif 16034-16034	domain occupiesPosition, 1 and Human
(domain occupiesPosition 2 Position)	Merge.kif 16035-16035	domain occupiesPosition, 2 and Position
(domain occupiesPosition 3 Organization)	Merge.kif 16036-16036	domain occupiesPosition, 3 and Organization
(instance occupiesPosition TernaryPredicate)	Merge.kif 16033-16033	instance occupiesPosition and TernaryPredicate

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 559-559
(termFormat ChineseLanguage occupiesPosition "任职")	chinese_format.kif 552-552
(termFormat ChineseLanguage occupiesPosition "占据位置")	domainEnglishFormat.kif 41515-41515
(termFormat ChineseTraditionalLanguage occupiesPosition "佔據位置")	domainEnglishFormat.kif 41514-41514
(termFormat EnglishLanguage occupiesPosition "occupies position")	domainEnglishFormat.kif 41513-41513

antecedent

(=> (and (attribute ?P CollegeFreshman) (occupiesPosition ?H ?P ?ORG)) (exists (?T) (and (holdsDuring ?T (student ?H ?ORG)) (lessThan ?T (MeasureFn 1 YearDuration)))))	Mid-level-ontology.kif 16400-16408	attribute Position and CollegeFreshman occupiesPosition Human, Position and Organization TimePosition holdsDuring TimePosition and student Human and Organization lessThan TimePosition and MeasureFn 1 and YearDuration
(=> (and (attribute ?P CollegeJunior) (occupiesPosition ?H ?P ?ORG)) (exists (?T) (and (holdsDuring ?T (student ?H ?ORG)) (greaterThanOrEqualTo ?T (MeasureFn 2 YearDuration)) (lessThan ?T (MeasureFn 3 YearDuration)))))	Mid-level-ontology.kif 16414-16425	attribute Position and CollegeJunior occupiesPosition Human, Position and Organization TimePosition holdsDuring TimePosition and student Human and Organization greaterThanOrEqualTo TimePosition and MeasureFn 2 and YearDuration lessThan TimePosition and MeasureFn 3 and YearDuration
(=> (and (attribute ?P CollegeSenior) (occupiesPosition ?H ?P ?ORG)) (exists (?T) (and (holdsDuring ?T (student ?H ?ORG)) (greaterThanOrEqualTo ?T (MeasureFn 3 YearDuration)) (lessThan ?T (MeasureFn 4 YearDuration)))))	Mid-level-ontology.kif 16431-16442	attribute Position and CollegeSenior occupiesPosition Human, Position and Organization TimePosition holdsDuring TimePosition and student Human and Organization greaterThanOrEqualTo TimePosition and MeasureFn 3 and YearDuration lessThan TimePosition and MeasureFn 4 and YearDuration
(=> (and (attribute ?P CollegeSophomore) (occupiesPosition ?H ?P ?ORG)) (exists (?T) (and (holdsDuring ?T (student ?H ?ORG)) (greaterThanOrEqualTo ?T (MeasureFn 1 YearDuration)) (lessThan ?T (MeasureFn 2 YearDuration)))))	Mid-level-ontology.kif 16448-16459	attribute Position and CollegeSophomore occupiesPosition Human, Position and Organization TimePosition holdsDuring TimePosition and student Human and Organization greaterThanOrEqualTo TimePosition and MeasureFn 1 and YearDuration lessThan TimePosition and MeasureFn 2 and YearDuration
(=> (and (attribute ?PROF Professor) (occupiesPosition ?PROF Professor ?ORG)) (and (teacher ?PROF ?ORG) (instance ?ORG PostSecondarySchool)))	Mid-level-ontology.kif 18705-18711	attribute Human and Professor occupiesPosition Human, Professor and EducationalOrganization teacher Human and EducationalOrganization instance EducationalOrganization and PostSecondarySchool
(=> (and (attribute ?T Teacher) (occupiesPosition ?P ?T ?O)) (teacher ?T ?O))	Mid-level-ontology.kif 16634-16638	attribute Human and Teacher occupiesPosition Human, Human and EducationalOrganization teacher Human and EducationalOrganization
(=> (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 4442-4450	diplomaticRepresentativeInRole GeopoliticalArea, Human, Position and Agent instance GeopoliticalArea and Nation instance Organization and DiplomaticOrganization subOrganization Organization and GovernmentFn GeopoliticalArea occupiesPosition Human, Position and Organization instance Agent and GeopoliticalArea agentOperatesInArea Organization and Agent
(=> (and (instance ?AREA GeopoliticalArea) (occupiesPosition ?PERSON Leader (GovernmentFn ?AREA))) (exists (?LEADING) (and (instance ?LEADING Guiding) (patient ?LEADING ?AREA) (agent ?LEADING ?PERSON))))	Government.kif 2250-2258	instance GeopoliticalArea and GeopoliticalArea occupiesPosition Human, Leader and GovernmentFn GeopoliticalArea Process instance Process and Guiding patient Process and GeopoliticalArea agent Process and Human
(=> (and (instance ?AREA GeopoliticalArea) (occupiesPosition ?PERSON Leader ?AREA)) (leader (GovernmentFn ?AREA) ?PERSON))	Government.kif 1300-1304	instance Organization and GeopoliticalArea occupiesPosition Human, Leader and Organization leader GovernmentFn Organization and Human
(=> (and (instance ?COUNTRY Nation) (leader ?COUNTRY ?PERSON) (instance ?ROLE Position) (occupiesPosition ?PERSON ?ROLE (GovernmentFn ?COUNTRY))) (leaderPosition ?COUNTRY ?ROLE))	Government.kif 1410-1416	instance GeopoliticalArea and Nation leader GeopoliticalArea and Human instance Position and Position occupiesPosition Human, Position and GovernmentFn GeopoliticalArea leaderPosition GeopoliticalArea and Position
(=> (and (instance ?H Human) (occupiesPosition ?H ?B ?O) (attribute ?B Banker)) (instance ?O Bank-FinancialOrganization))	FinancialOntology.kif 3551-3556	instance Human and Human occupiesPosition Human, Position and Organization attribute Position and Banker instance Organization and Bank-FinancialOrganization
(=> (and (instance ?O GovernmentPosition) (occupiesPosition ?P ?O ?ORG)) (instance ?ORG GovernmentOrganization))	Mid-level-ontology.kif 16672-16676	instance Position and GovernmentPosition occupiesPosition Human, Position and PositionRG instance PositionRG and GovernmentOrganization
(=> (and (instance ?ORG Agent) (leader ?ORG ?PERSON) (instance ?ROLE Position) (occupiesPosition ?PERSON ?ROLE ?ORG)) (leaderPosition ?ORG ?ROLE))	Government.kif 1401-1407	instance Organization and Agent leader Organization and Human instance Position and Position occupiesPosition Human, Position and Organization leaderPosition Organization and Position
(=> (and (instance ?PERSON Human) (instance ?ROLE Position) (instance ?AREA GeopoliticalArea) (leaderPosition ?AREA ?ROLE) (occupiesPosition ?PERSON ?ROLE (GovernmentFn ?AREA))) (leader ?AREA ?PERSON))	Government.kif 1441-1448	instance Human and Human instance Position and Position instance GeopoliticalArea and GeopoliticalArea leaderPosition GeopoliticalArea and Position occupiesPosition Human, Position and GovernmentFn GeopoliticalArea leader GeopoliticalArea and Human
(=> (and (instance ?PERSON Human) (instance ?ROLE Position) (instance ?ORG Agent) (leaderPosition ?ORG ?ROLE) (occupiesPosition ?PERSON ?ROLE ?ORG)) (leader ?ORG ?PERSON))	Government.kif 1432-1439	instance Human and Human instance Position and Position instance Organization and Agent leaderPosition Organization and Position occupiesPosition Human, Position and Organization leader Organization and Human
(=> (and (occupiesPosition ?H ?P ?O) (instance ?P ReligiousPosition)) (instance ?O ReligiousOrganization))	Mid-level-ontology.kif 18545-18549	occupiesPosition Human, Position and Organization instance Position and ReligiousPosition instance Organization and ReligiousOrganization
(=> (and (occupiesPosition ?H ?P ?O) (instance ?P SportsPosition)) (instance ?O SportsTeam))	Mid-level-ontology.kif 16661-16665	occupiesPosition Human, Position and Organization instance Position and SportsPosition instance Organization and SportsTeam
(=> (and (occupiesPosition ?PERSON ?POSITION ?ORGANIZATION) (instance ?ORGANIZATION PoliticalParty)) (member ?PERSON ?ORGANIZATION))	Government.kif 2236-2240	occupiesPosition Human, Position and Organization instance Organization and PoliticalParty member Human and 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 20640-20648	subordinatePosition Organization, Position and Position occupiesPosition Human, Position and Organization Human instance Human and Human occupiesPosition Human, Position and Organization subordinateInOrganization Organization, Human and Human
(=> (holdsDuring ?T1 (occupiesPosition ?PERSON SecretaryOfTheInterior UnitedStatesDepartmentOfInterior)) (holdsDuring ?T1 (leader UnitedStatesDepartmentOfInterior ?PERSON)))	Government.kif 4790-4794	holdsDuring TimePosition and occupiesPosition entity, SecretaryOfTheInterior and UnitedStatesDepartmentOfInterior holdsDuring TimePosition and leader UnitedStatesDepartmentOfInterior and entity
(=> (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 18582-18591	holdsDuring TimePosition and occupiesPosition entity, Deacon and entity instance entity and ReligiousOrganization entity holdsDuring TimePosition and occupiesPosition entity, Cleric and entity subordinateInOrganization entity, entity and entity
(=> (occupiesPosition ?AGENT ?POSITION ?ORG) (attribute ?AGENT ?POSITION))	Merge.kif 16042-16044	occupiesPosition Human, Position and Organization attribute Human and Position
(=> (occupiesPosition ?H Pope RomanCatholicChurch) (leader RomanCatholicChurch ?H))	People.kif 1292-1294	occupiesPosition Human, Pope and RomanCatholicChurch leader RomanCatholicChurch and Human
(=> (occupiesPosition ?P JudgeAtLaw ?O) (instance ?O JudicialOrganization))	Mid-level-ontology.kif 18697-18699	occupiesPosition Human, JudgeAtLaw and Organization instance Organization and JudicialOrganization
(=> (occupiesPosition ?P JudgeAtLaw ?O) (modalAttribute (exists (?D) (and (instance ?D LegalDecision) (agent ?D ?P))) Permission))	Mid-level-ontology.kif 18689-18695	occupiesPosition Human, JudgeAtLaw and Organization modalAttribute entity instance entity and LegalDecision agent entity and Human and 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 1804-1808	candidateForPosition Election, SocialRole and CognitiveAgent agent Election and Agent desires CognitiveAgent and occupiesPosition CognitiveAgent, SocialRole and 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	capability ValetParking, agent and Organization customer CognitiveAgent and Organization located Organization and Object instance Process and Arriving agent Process and CognitiveAgent patient Process and Entity destination Process and Object occupiesPosition Human, Valet and Organization modalAttribute entity instance entity and ValetParking agent entity and Human patient entity and Entity destination entity and entity instance entity and ParkingRegion and 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 4401-4409	diplomaticRepresentativeInRole GeopoliticalArea, Human, Position and Agent instance GeopoliticalArea and Nation Organization instance Organization and DiplomaticOrganization subOrganization Organization and GovernmentFn GeopoliticalArea occupiesPosition Human, Position and Organization
(=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 Organization)) (occupiesPosition ?PERSON ?POSITION ?ORG))	Government.kif 4411-4415	diplomaticRepresentativeInRole Agent, Human, Position and Agent instance Agent and Organization occupiesPosition Human, Position and 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 1421-1434	instance Process and Appointing patient Process and Entity entity entity holdsDuring BeginFn WhenFn Process and occupiesPosition Entity, entity and entity holdsDuring ImmediateFutureFn WhenFn Process and occupiesPosition Entity, entity and entity
(=> (and (instance ?PERSON Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?PERSON (MemberRoleFn ?ORG ?POSITION))) (occupiesPosition ?PERSON ?POSITION ?ORG))	Government.kif 1760-1766	instance Human and Human instance Organization and Organization instance Position and Position attribute Human and MemberRoleFn Organization and Position occupiesPosition Human, Position and 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 14504-14517	instance Process and TransferringPosition experiencer Process and Agent Entity Entity and entity holdsDuring BeginFn WhenFn Process and occupiesPosition Agent, Entity and entity holdsDuring EndFn WhenFn Process and occupiesPosition Agent, Entity and entity equal Entity and 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 20640-20648	subordinatePosition Organization, Position and Position occupiesPosition Human, Position and Organization Human instance Human and Human occupiesPosition Human, Position and Organization subordinateInOrganization Organization, Human and Human
(=> (capability ValetParking agent ?AGENT) (exists (?VALET) (occupiesPosition ?VALET Valet ?AGENT)))	TransportDetail.kif 148-151	capability ValetParking, agent and Organization Human occupiesPosition Human, Valet and Organization
(=> (chiefOfState ?AREA ?POSITION ?PERSON) (occupiesPosition ?PERSON ?POSITION (GovernmentFn ?AREA)))	Government.kif 1516-1518	chiefOfState GeopoliticalArea, Position and Human occupiesPosition Human, Position and GovernmentFn GeopoliticalArea
(=> (chiefOfState ?AREA ?POSITION ?PERSON) (occupiesPosition ?PERSON Leader (GovernmentFn ?AREA)))	Government.kif 1520-1522	chiefOfState GeopoliticalArea, Position and Human occupiesPosition Human, Leader and GovernmentFn GeopoliticalArea
(=> (employs ?ORG ?PERSON) (exists (?POSITION) (occupiesPosition ?PERSON ?POSITION ?ORG)))	Merge.kif 16046-16049	employs Organization and Human Position occupiesPosition Human, Position and Organization
(=> (headOfGovernment ?AREA ?POSITION ?PERSON) (occupiesPosition ?PERSON ?POSITION (GovernmentFn ?AREA)))	Government.kif 1569-1571	headOfGovernment GeopoliticalArea, Position and Human occupiesPosition Human, Position and GovernmentFn GeopoliticalArea
(=> (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 18582-18591	holdsDuring TimePosition and occupiesPosition entity, Deacon and entity instance entity and ReligiousOrganization entity holdsDuring TimePosition and occupiesPosition entity, Cleric and entity subordinateInOrganization entity, entity and entity
(=> (instance ?COMPANY Cafeteria) (not (exists (?PERSON) (occupiesPosition ?PERSON ServicePosition ?COMPANY))))	Mid-level-ontology.kif 7368-7372	instance Organization and Cafeteria Human occupiesPosition Human, ServicePosition and Organization
(=> (judge ?P ?J) (exists (?O) (occupiesPosition ?J JudgeAtLaw ?O)))	Law.kif 245-248	judge Process and Human Organization occupiesPosition Human, JudgeAtLaw and Organization
(=> (punishes ?A ?H) (exists (?O ?P) (occupiesPosition ?A ?P ?O)))	Law.kif 168-171	punishes Human and Agent Organization Position occupiesPosition Human, Position and Organization
(=> (punishes ?A ?H) (exists (?O ?POS ?PROC) (and (occupiesPosition ?A ?POS ?O) (agent ?PROC ?A) (wants ?O ?PROC))))	Law.kif 173-179	punishes Human and Agent Organization Position and Process occupiesPosition Human, Position and Organization agent Process and Human wants Organization and Process
(=> (rewards ?A ?H) (exists (?O ?P) (occupiesPosition ?A ?P ?O)))	Law.kif 124-127	rewards Human and Agent Organization Position occupiesPosition Human, Position and Organization
(=> (rewards ?A ?H) (exists (?O ?POS ?PROC) (and (occupiesPosition ?A ?POS ?O) (agent ?PROC ?A) (wants ?O ?PROC))))	Law.kif 129-135	rewards Human and Agent Organization Position and Process occupiesPosition Human, Position and Organization agent Process and Human wants Organization and Process

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

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: