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 15944-15947
(domain occupiesPosition 1 Human)	Merge.kif 15941-15941	domain occupiesPosition, 1 and Human
(domain occupiesPosition 2 Position)	Merge.kif 15942-15942	domain occupiesPosition, 2 and Position
(domain occupiesPosition 3 Organization)	Merge.kif 15943-15943	domain occupiesPosition, 3 and Organization
(instance occupiesPosition TernaryPredicate)	Merge.kif 15940-15940	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 and "任职"
(termFormat ChineseLanguage occupiesPosition "占据位置")	domainEnglishFormat.kif 41539-41539	termFormat ChineseLanguage, occupiesPosition and "占据位置"
(termFormat ChineseTraditionalLanguage occupiesPosition "佔據位置")	domainEnglishFormat.kif 41538-41538	termFormat ChineseTraditionalLanguage, occupiesPosition and "佔據位置"
(termFormat EnglishLanguage occupiesPosition "occupies position")	domainEnglishFormat.kif 41537-41537	termFormat EnglishLanguage, occupiesPosition and "occupies position"

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 16399-16407	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 16413-16424	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 16430-16441	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 16447-16458	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 18704-18710	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 16633-16637	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 3550-3555	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 16671-16675	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 18544-18548	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 16660-16664	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 20628-20636	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 18581-18590	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 15949-15951	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 18696-18698	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 18688-18694	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 14503-14516	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 20628-20636	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 15953-15956	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 18581-18590	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 7367-7371	instance Organization and Cafeteria Human occupiesPosition Human, ServicePosition and Organization
(=> (judge ?P ?J) (exists (?O) (occupiesPosition ?J JudgeAtLaw ?O)))	Law.kif 243-246	judge entity 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: