Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - occupiesPosition
occupiesPosition

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 16101-16104
(domain occupiesPosition 1 Human) Merge.kif 16098-16098
(domain occupiesPosition 2 Position) Merge.kif 16099-16099
(domain occupiesPosition 3 Organization) Merge.kif 16100-16100
(instance occupiesPosition TernaryPredicate) Merge.kif 16097-16097

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 41545-41545
(termFormat ChineseTraditionalLanguage occupiesPosition "佔據位置") domainEnglishFormat.kif 41544-41544
(termFormat EnglishLanguage occupiesPosition "occupies position") domainEnglishFormat.kif 41543-41543

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 16430-16438
(=>
    (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 16444-16455
(=>
    (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 16461-16472
(=>
    (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 16478-16489
(=>
    (and
        (attribute ?PROF Professor)
        (occupiesPosition ?PROF Professor ?ORG))
    (and
        (teacher ?PROF ?ORG)
        (instance ?ORG PostSecondarySchool)))
Mid-level-ontology.kif 18736-18742
(=>
    (and
        (attribute ?T Teacher)
        (occupiesPosition ?P ?T ?O))
    (teacher ?T ?O))
Mid-level-ontology.kif 16664-16668
(=>
    (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
(=>
    (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
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (occupiesPosition ?PERSON Leader ?AREA))
    (leader
        (GovernmentFn ?AREA) ?PERSON))
Government.kif 1300-1304
(=>
    (and
        (instance ?COUNTRY Nation)
        (leader ?COUNTRY ?PERSON)
        (instance ?ROLE Position)
        (occupiesPosition ?PERSON ?ROLE
            (GovernmentFn ?COUNTRY)))
    (leaderPosition ?COUNTRY ?ROLE))
Government.kif 1410-1416
(=>
    (and
        (instance ?H Human)
        (occupiesPosition ?H ?B ?O)
        (attribute ?B Banker))
    (instance ?O Bank-FinancialOrganization))
FinancialOntology.kif 3551-3556
(=>
    (and
        (instance ?O GovernmentPosition)
        (occupiesPosition ?P ?O ?ORG))
    (instance ?ORG GovernmentOrganization))
Mid-level-ontology.kif 16702-16706
(=>
    (and
        (instance ?ORG Agent)
        (leader ?ORG ?PERSON)
        (instance ?ROLE Position)
        (occupiesPosition ?PERSON ?ROLE ?ORG))
    (leaderPosition ?ORG ?ROLE))
Government.kif 1401-1407
(=>
    (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
(=>
    (and
        (instance ?PERSON Human)
        (instance ?ROLE Position)
        (instance ?ORG Agent)
        (leaderPosition ?ORG ?ROLE)
        (occupiesPosition ?PERSON ?ROLE ?ORG))
    (leader ?ORG ?PERSON))
Government.kif 1432-1439
(=>
    (and
        (occupiesPosition ?H ?P ?O)
        (instance ?P ReligiousPosition))
    (instance ?O ReligiousOrganization))
Mid-level-ontology.kif 18576-18580
(=>
    (and
        (occupiesPosition ?H ?P ?O)
        (instance ?P SportsPosition))
    (instance ?O SportsTeam))
Mid-level-ontology.kif 16691-16695
(=>
    (and
        (occupiesPosition ?PERSON ?POSITION ?ORGANIZATION)
        (instance ?ORGANIZATION PoliticalParty))
    (member ?PERSON ?ORGANIZATION))
Government.kif 2236-2240
(=>
    (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 20671-20679
(=>
    (holdsDuring ?T1
        (occupiesPosition ?PERSON SecretaryOfTheInterior UnitedStatesDepartmentOfInterior))
    (holdsDuring ?T1
        (leader UnitedStatesDepartmentOfInterior ?PERSON)))
Government.kif 4790-4794
(=>
    (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 18613-18622
(=>
    (occupiesPosition ?AGENT ?POSITION ?ORG)
    (attribute ?AGENT ?POSITION))
Merge.kif 16106-16108
(=>
    (occupiesPosition ?H Pope RomanCatholicChurch)
    (leader RomanCatholicChurch ?H))
People.kif 1292-1294
(=>
    (occupiesPosition ?P JudgeAtLaw ?O)
    (instance ?O JudicialOrganization))
Mid-level-ontology.kif 18728-18730
(=>
    (occupiesPosition ?P JudgeAtLaw ?O)
    (modalAttribute
        (exists (?D)
            (and
                (instance ?D LegalDecision)
                (agent ?D ?P))) Permission))
Mid-level-ontology.kif 18720-18726

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
(=>
    (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
(=>
    (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
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Organization))
    (occupiesPosition ?PERSON ?POSITION ?ORG))
Government.kif 4411-4415
(=>
    (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 1427-1440
(=>
    (and
        (instance ?PERSON Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?PERSON
            (MemberRoleFn ?ORG ?POSITION)))
    (occupiesPosition ?PERSON ?POSITION ?ORG))
Government.kif 1760-1766
(=>
    (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 14531-14544
(=>
    (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 20671-20679
(=>
    (capability ValetParking agent ?AGENT)
    (exists (?VALET)
        (occupiesPosition ?VALET Valet ?AGENT)))
TransportDetail.kif 148-151
(=>
    (chiefOfState ?AREA ?POSITION ?PERSON)
    (occupiesPosition ?PERSON ?POSITION
        (GovernmentFn ?AREA)))
Government.kif 1516-1518
(=>
    (chiefOfState ?AREA ?POSITION ?PERSON)
    (occupiesPosition ?PERSON Leader
        (GovernmentFn ?AREA)))
Government.kif 1520-1522
(=>
    (employs ?ORG ?PERSON)
    (exists (?POSITION)
        (occupiesPosition ?PERSON ?POSITION ?ORG)))
Merge.kif 16110-16113
(=>
    (headOfGovernment ?AREA ?POSITION ?PERSON)
    (occupiesPosition ?PERSON ?POSITION
        (GovernmentFn ?AREA)))
Government.kif 1569-1571
(=>
    (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 18613-18622
(=>
    (instance ?COMPANY Cafeteria)
    (not
        (exists (?PERSON)
            (occupiesPosition ?PERSON ServicePosition ?COMPANY))))
Mid-level-ontology.kif 7349-7353
(=>
    (judge ?P ?J)
    (exists (?O)
        (occupiesPosition ?J JudgeAtLaw ?O)))
Law.kif 245-248
(=>
    (punishes ?A ?H)
    (exists (?O ?P)
        (occupiesPosition ?A ?P ?O)))
Law.kif 168-171
(=>
    (punishes ?A ?H)
    (exists (?O ?POS ?PROC)
        (and
            (occupiesPosition ?A ?POS ?O)
            (agent ?PROC ?A)
            (wants ?O ?PROC))))
Law.kif 173-179
(=>
    (rewards ?A ?H)
    (exists (?O ?P)
        (occupiesPosition ?A ?P ?O)))
Law.kif 124-127
(=>
    (rewards ?A ?H)
    (exists (?O ?POS ?PROC)
        (and
            (occupiesPosition ?A ?POS ?O)
            (agent ?PROC ?A)
            (wants ?O ?PROC))))
Law.kif 129-135


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 is open source software produced by Articulate Software and its partners