Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - occupiesPosition
occupiesPosition

appearance as argument number 1
-------------------------


(instance occupiesPosition TernaryPredicate) Merge.kif 17619-17619 occupies position is an instance of ternary predicate
(domain occupiesPosition 1 Human) Merge.kif 17620-17620 The number 1 argument of occupies position is an instance of human
(domain occupiesPosition 2 Position) Merge.kif 17621-17621 The number 2 argument of occupies position is an instance of position
(domain occupiesPosition 3 Organization) Merge.kif 17622-17622 The number 3 argument of occupies position is an instance of organization
(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 17623-17626 The number 3 argument of occupies position is an instance of organization

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage occupiesPosition "occupies position") domainEnglishFormat.kif 41619-41619
(termFormat ChineseTraditionalLanguage occupiesPosition "佔據位置") domainEnglishFormat.kif 41620-41620
(termFormat ChineseLanguage occupiesPosition "占据位置") domainEnglishFormat.kif 41621-41621
(format EnglishLanguage occupiesPosition "%1 %n{doesn't} hold%p{s} the position of %2 in %3") english_format.kif 556-556

antecedent
-------------------------


(=>
    (occupiesPosition ?AGENT ?POSITION ?ORG)
    (attribute ?AGENT ?POSITION))		 Merge.kif 17628-17630 If X holds the position of Y in Z, then Y is an attribute of X
(=>
    (occupiesPosition ?PERSON ?POSITION ?ORGANIZATION)
    (member ?PERSON ?ORGANIZATION))		 Merge.kif 17637-17639 If X holds the position of Y in Z, then X is a member of Z
(=>
    (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 20650-20659 If college freshman is an attribute of X and Y holds the position of X in Z, then there exists W such that Y is a student of Z holds during W year duration(s) and W 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 20665-20675 If college junior is an attribute of X and Y holds the position of X in Z, then there exists W such that Y is a student of Z holds during W year duration(s) and W is greater than or equal to 2 and W 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 20681-20691 If college senior is an attribute of X and Y holds the position of X in Z, then there exists W such that Y is a student of Z holds during W year duration(s) and W is greater than or equal to 3 and W 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 20697-20707 If college sophomore is an attribute of X and Y holds the position of X in Z, then there exists W such that Y is a student of Z holds during W year duration(s) and W is greater than or equal to 1 and W is less than 2
(=>
    (and
        (attribute ?T Teacher)
        (occupiesPosition ?P ?T ?O))
    (teacher ?T ?O))		 Mid-level-ontology.kif 20843-20847 If teacher is an attribute of X and Y holds the position of X in Z, then X is a teacher in Z
(=>
    (and
        (occupiesPosition ?H ?P ?O)
        (instance ?P SportsPosition))
    (instance ?O SportsTeam))		 Mid-level-ontology.kif 20870-20874 If X holds the position of Y in Z and Y is an instance of sports position, then Z is an instance of sports team
(=>
    (and
        (instance ?O GovernmentPosition)
        (occupiesPosition ?P ?O ?ORG))
    (instance ?ORG GovernmentOrganization))		 Mid-level-ontology.kif 20881-20885 If X is an instance of government position and Y holds the position of X in Z, then Z is an instance of government organization
(=>
    (and
        (occupiesPosition ?H ?P ?O)
        (instance ?P ReligiousPosition))
    (instance ?O ReligiousOrganization))		 Mid-level-ontology.kif 23121-23125 If X holds the position of Y in Z and Y is an instance of religious position, then Z is an instance of religious organization
(=>
    (occupiesPosition ?PERSON Cleric ?ORG)
    (and
        (leader ?ORG ?PERSON)
        (instance ?ORG ReligiousOrganization)))		 Mid-level-ontology.kif 23133-23137 If X holds the position of cleric in Y, then X is a leader of Y and Y is an instance of religious organization
(=>
    (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 23153-23162 If X holds the position of deacon in Y and Y is an instance of religious organization holds during Z, then there exists W such that W holds the position of cleric in Y and Y is subordinate in organization X for W holds during Z
(=>
    (occupiesPosition ?P JudgeAtLaw ?O)
    (modalAttribute
        (exists (?D)
            (and
                (instance ?D LegalDecision)
                (agent ?D ?P))) Permission))		 Mid-level-ontology.kif 23250-23256 If X holds the position of judge in Y, then the statement there exists Z such that Z is an instance of legal decision and X is an agent of Z has the modal force of permission
(=>
    (occupiesPosition ?P JudgeAtLaw ?O)
    (instance ?O JudicialOrganization))		 Mid-level-ontology.kif 23258-23260 If X holds the position of judge in Y, then Y is an instance of judicial organization
(=>
    (and
        (attribute ?PROF Professor)
        (occupiesPosition ?PROF Professor ?ORG))
    (and
        (teacher ?PROF ?ORG)
        (instance ?ORG PostSecondarySchool)))		 Mid-level-ontology.kif 23266-23272 If professor is an attribute of X and X holds the position of professor in Y, then X is a teacher in Y and Y is an instance of post secondary school
(=>
    (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 25031-25039 If X is subordinate position Y for Z and W holds the position of Y in X, then there exists V such that V is an instance of human, V holds the position of Z in X, and X is subordinate in organization W for V
(=>
    (and
        (instance ?H Human)
        (occupiesPosition ?H ?B ?O)
        (attribute ?B Banker))
    (instance ?O BankFinancialOrganization))		 FinancialOntology.kif 3710-3715 If X is an instance of human, X holds the position of Y in Z, and banker is an attribute of Y, then Z is an instance of bank
(=>
    (occupiesPosition ?PERSON Leader ?ORGANIZATION)
    (leader ?ORGANIZATION ?PERSON))		 Government.kif 1313-1315 If X holds the position of leader in Y, then X is a leader of Y
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (occupiesPosition ?PERSON Leader ?AREA))
    (leader
        (GovernmentFn ?AREA) ?PERSON))		 Government.kif 1317-1321 If X is an instance of geopolitical area and Y holds the position of leader in X, then Y is a leader of the government of X
(=>
    (and
        (instance ?ORG AutonomousAgent)
        (leader ?ORG ?PERSON)
        (instance ?ROLE Position)
        (occupiesPosition ?PERSON ?ROLE ?ORG))
    (leaderPosition ?ORG ?ROLE))		 Government.kif 1418-1424 If X is an instance of agent, Y is a leader of X, Z is an instance of position, and Y holds the position of Z in X, then Z is a leader position of X
(=>
    (and
        (instance ?COUNTRY Nation)
        (leader ?COUNTRY ?PERSON)
        (instance ?ROLE Position)
        (occupiesPosition ?PERSON ?ROLE
            (GovernmentFn ?COUNTRY)))
    (leaderPosition ?COUNTRY ?ROLE))		 Government.kif 1427-1433 If X is an instance of nation, Y is a leader of X, Z is an instance of position, and Y holds the position of Z in the government of X, then Z is a leader position of X
(=>
    (and
        (instance ?PERSON Human)
        (instance ?ROLE Position)
        (instance ?ORG AutonomousAgent)
        (leaderPosition ?ORG ?ROLE)
        (occupiesPosition ?PERSON ?ROLE ?ORG))
    (leader ?ORG ?PERSON))		 Government.kif 1449-1456 If X is an instance of human, Y is an instance of position, Z is an instance of agent, Y is a leader position of Z, and X holds the position of Y in Z, then X is a leader of Z
(=>
    (and
        (instance ?PERSON Human)
        (instance ?ROLE Position)
        (instance ?AREA GeopoliticalArea)
        (leaderPosition ?AREA ?ROLE)
        (occupiesPosition ?PERSON ?ROLE
            (GovernmentFn ?AREA)))
    (leader ?AREA ?PERSON))		 Government.kif 1458-1465 If X is an instance of human, Y is an instance of position, Z is an instance of geopolitical area, Y is a leader position of Z, and X holds the position of Y in the government of Z, then X is a leader of Z
(=>
    (occupiesPosition ?PERSON ?POSITION ?ORG)
    (attribute ?PERSON
        (MemberRoleFn ?ORG ?POSITION)))		 Government.kif 1785-1787 If X holds the position of Y in Z, then the member role of Z and Y is an attribute of X
(=>
    (and
        (occupiesPosition ?PERSON ?POSITION ?ORGANIZATION)
        (instance ?ORGANIZATION PoliticalParty))
    (member ?PERSON ?ORGANIZATION))		 Government.kif 2265-2269 If X holds the position of Y in Z and Z is an instance of political party, then X is a member of Z

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


(=>
    (employs ?ORG ?PERSON)
    (exists (?POSITION)
        (occupiesPosition ?PERSON ?POSITION ?ORG)))		 Merge.kif 17632-17635 If X employs Y, then there exists Z such that Y holds the position of Z in X
(=>
    (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 1032-1045 If X is an instance of appointing and Y is a patient of X, then there exist Z, W such that Y doesn't hold the position of Z in W holds during the beginning of the time of existence of X, and Y holds the position of Z in W holds during immediately after the time of existence of X
(=>
    (instance ?COMPANY Cafeteria)
    (not
        (exists (?PERSON)
            (occupiesPosition ?PERSON ServicePosition ?COMPANY))))		 Mid-level-ontology.kif 8994-8998 If X is an instance of cafeteria, then there doesn't exist Y such that Y holds the position of service position in X
(=>
    (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 18566-18579 If X is an instance of transferring position and Y experiences X, then there exist Z, W, V such that Y holds the position of Z in V holds during the beginning of the time of existence of X, Y holds the position of W in V holds during the end of the time of existence of X, equal Z, and W
(=>
    (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 23153-23162 If X holds the position of deacon in Y and Y is an instance of religious organization holds during Z, then there exists W such that W holds the position of cleric in Y and Y is subordinate in organization X for W holds during Z
(=>
    (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 25031-25039 If X is subordinate position Y for Z and W holds the position of Y in X, then there exists V such that V is an instance of human, V holds the position of Z in X, and X is subordinate in organization W for V
(=>
    (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 136-147 If X is an instance of ordaining, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is a patient of X (3) Y is an instance of human (4) Z is an instance of religious organization (5) Y is a member of Z (6) W is a result of X (7) W is an instance of religious position (8) Y holds the position of W in Z
(=>
    (chiefOfState ?AREA ?POSITION ?PERSON)
    (occupiesPosition ?PERSON ?POSITION
        (GovernmentFn ?AREA)))		 Government.kif 1533-1535 If X chief of state Y for Z, then Z holds the position of Y in the government of X
(=>
    (chiefOfState ?AREA ?POSITION ?PERSON)
    (occupiesPosition ?PERSON Leader
        (GovernmentFn ?AREA)))		 Government.kif 1537-1539 If X chief of state Y for Z, then Z holds the position of leader in the government of X
(=>
    (headOfGovernment ?AREA ?POSITION ?PERSON)
    (occupiesPosition ?PERSON ?POSITION
        (GovernmentFn ?AREA)))		 Government.kif 1586-1588 If X is the head of government Y for Z, then Z holds the position of Y in the government of X
(=>
    (and
        (instance ?PERSON Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?PERSON
            (MemberRoleFn ?ORG ?POSITION)))
    (occupiesPosition ?PERSON ?POSITION ?ORG))		 Government.kif 1777-1783 If X is an instance of human, Y is an instance of organization, Z is an instance of position, and the member role of Y and Z is an attribute of X, then X holds the position of Z in Y
(=>
    (and
        (candidateForPosition ?ELECTION ?POSITION ?CONTENDER)
        (agent ?ELECTION ?AGENT))
    (desires ?CONTENDER
        (occupiesPosition ?CONTENDER ?POSITION ?AGENT)))		 Government.kif 1821-1825 If X candidate for position Y for Z and W is an agent of X, then Z desires Z holds the position of Y in W
(=>
    (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 4462-4470 If X is diplomatic representative in role Y for Z with W and X is an instance of nation, then there exists V such that V is an instance of diplomatic organization, V is a part of the organization the government of X, and Y holds the position of Z in V
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Organization))
    (occupiesPosition ?PERSON ?POSITION ?ORG))		 Government.kif 4472-4476 If X is diplomatic representative in role Y for Z with W and X is an instance of organization, then Y holds the position of Z in V
(=>
    (rewards ?A ?H)
    (exists (?O ?P)
        (occupiesPosition ?A ?P ?O)))		 Law.kif 111-114 If X rewards Y, then there exist Z and W such that X holds the position of W in Z
(=>
    (rewards ?A ?H)
    (exists (?O ?POS ?PROC)
        (and
            (occupiesPosition ?A ?POS ?O)
            (agent ?PROC ?A)
            (wants ?O ?PROC))))		 Law.kif 116-122 If X rewards Y, then there exist Z, W, V such that X holds the position of W in Z, X is an agent of V, and Z wants V
(=>
    (punishes ?A ?H)
    (exists (?O ?P)
        (occupiesPosition ?A ?P ?O)))		 Law.kif 155-158 If X punishes Y, then there exist Z and W such that X holds the position of W in Z
(=>
    (punishes ?A ?H)
    (exists (?O ?POS ?PROC)
        (and
            (occupiesPosition ?A ?POS ?O)
            (agent ?PROC ?A)
            (wants ?O ?PROC))))		 Law.kif 160-166 If X punishes Y, then there exist Z, W, V such that X holds the position of W in Z, X is an agent of V, and Z wants V
(=>
    (judge ?P ?J)
    (exists (?O)
        (occupiesPosition ?J JudgeAtLaw ?O)))		 Law.kif 202-205 If X is the judge in Y, then there exists Z such that X holds the position of judge in Z
(=>
    (and
        (instance ?ORG MilitaryOrganization)
        (leader ?P ?ORG))
    (occupiesPosition ?P MilitaryCommander ?ORG))		 MilitaryPersons.kif 342-346 If X is an instance of military organization and X is a leader of Y, then Y holds the position of military commander in X
(=>
    (capability ValetParking agent ?AGENT)
    (exists (?VALET)
        (occupiesPosition ?VALET Valet ?AGENT)))		 TransportDetail.kif 152-155 If X is capable of doing valet parking as a agent, then there exists Y such that Y holds the position of valet in X
(=>
    (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 All of the following hold: (1) X is capable of doing valet parking as a agent (2) X is a customer of Y (3) X is located at Z (4) W is an instance of arriving (5) Y is an agent of W (6) V is a patient of W (7) W ends up at Z, then All of the following hold: (1) there exists U such that U holds the position of valet in X (2) the statement there exist T (3) S such that T is an instance of valet parking (4) U is an agent of T (5) V is a patient of T (6) T ends up at S (7) S is an instance of parking area has the modal force of possibility


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 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners