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 17433-17436 | |
(domain occupiesPosition 1 Human) | Merge.kif 17430-17430 | occupiesPosition の数値 1 引数は 人[人間] の instance では |
(domain occupiesPosition 2 Position) | Merge.kif 17431-17431 | occupiesPosition の数値 2 引数は ポジション の instance では |
(domain occupiesPosition 3 Organization) | Merge.kif 17432-17432 | occupiesPosition の数値 3 引数は 組織 の instance では |
(instance occupiesPosition TernaryPredicate) | Merge.kif 17429-17429 | occupiesPosition は 3進述語 の instance では |
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 41628-41628 | |
(termFormat ChineseTraditionalLanguage occupiesPosition "佔據位置") | domainEnglishFormat.kif 41627-41627 | |
(termFormat EnglishLanguage occupiesPosition "occupies position") | domainEnglishFormat.kif 41626-41626 | |
(termFormat de occupiesPosition "besetztPosition") | terms-de.txt 220-220 |
antecedent |
![]() |
consequent |
![]() |
(=> (and (candidateForPosition ?ELECTION ?POSITION ?CONTENDER) (agent ?ELECTION ?AGENT)) (desires ?CONTENDER (occupiesPosition ?CONTENDER ?POSITION ?AGENT))) |
Government.kif 1812-1816 |
|
(=> (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 |
|
(=> (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 4431-4439 |
|
(=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 Organization)) (occupiesPosition ?PERSON ?POSITION ?ORG)) |
Government.kif 4441-4445 |
|
(=> (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 | |
(=> (and (instance ?ORG MilitaryOrganization) (leader ?P ?ORG)) (occupiesPosition ?P MilitaryCommander ?ORG)) |
MilitaryPersons.kif 339-343 |
|
(=> (and (instance ?PERSON Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?PERSON (MemberRoleFn ?ORG ?POSITION))) (occupiesPosition ?PERSON ?POSITION ?ORG)) |
Government.kif 1768-1774 | |
(=> (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 18335-18348 |
|
(=> (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 24396-24404 | |
(=> (capability ValetParking agent ?AGENT) (exists (?VALET) (occupiesPosition ?VALET Valet ?AGENT))) |
TransportDetail.kif 152-155 | |
(=> (chiefOfState ?AREA ?POSITION ?PERSON) (occupiesPosition ?PERSON ?POSITION (GovernmentFn ?AREA))) |
Government.kif 1524-1526 |
|
(=> (chiefOfState ?AREA ?POSITION ?PERSON) (occupiesPosition ?PERSON Leader (GovernmentFn ?AREA))) |
Government.kif 1528-1530 |
|
(=> (employs ?ORG ?PERSON) (exists (?POSITION) (occupiesPosition ?PERSON ?POSITION ?ORG))) |
Merge.kif 17442-17445 | |
(=> (headOfGovernment ?AREA ?POSITION ?PERSON) (occupiesPosition ?PERSON ?POSITION (GovernmentFn ?AREA))) |
Government.kif 1577-1579 |
|
(=> (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 22528-22537 | |
(=> (instance ?COMPANY Cafeteria) (not (exists (?PERSON) (occupiesPosition ?PERSON ServicePosition ?COMPANY)))) |
Mid-level-ontology.kif 8840-8844 | |
(=> (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 | |
(=> (judge ?P ?J) (exists (?O) (occupiesPosition ?J JudgeAtLaw ?O))) |
Law.kif 202-205 | |
(=> (punishes ?A ?H) (exists (?O ?P) (occupiesPosition ?A ?P ?O))) |
Law.kif 155-158 | |
(=> (punishes ?A ?H) (exists (?O ?POS ?PROC) (and (occupiesPosition ?A ?POS ?O) (agent ?PROC ?A) (wants ?O ?PROC)))) |
Law.kif 160-166 | |
(=> (rewards ?A ?H) (exists (?O ?P) (occupiesPosition ?A ?P ?O))) |
Law.kif 111-114 | |
(=> (rewards ?A ?H) (exists (?O ?POS ?PROC) (and (occupiesPosition ?A ?POS ?O) (agent ?PROC ?A) (wants ?O ?PROC)))) |
Law.kif 116-122 |
![]() |
![]() |