TreeView 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 17448-17451
(domain occupiesPosition 1 Human)	Merge.kif 17445-17445	Le nombre 1 argument de occupiesPosition est une instance de humain
(domain occupiesPosition 2 Position)	Merge.kif 17446-17446	Le nombre 2 argument de occupiesPosition est une instance de position
(domain occupiesPosition 3 Organization)	Merge.kif 17447-17447	Le nombre 3 argument de occupiesPosition est une instance de organisation
(instance occupiesPosition TernaryPredicate)	Merge.kif 17444-17444	occupiesPosition est une instance de pr�dicat ternaire

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

(=> (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 20299-20308	CollegeFreshman est un attribut de position humain occupe la position de position organisation nombre r�el student humain and organisation pendant nombre r�el YearDuration(s) nombre r�el est moins que 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 20314-20324	CollegeJunior est un attribut de position humain occupe la position de position organisation nombre r�el student humain and organisation pendant nombre r�el YearDuration(s) nombre r�el est plus grand ou �gal � 2 nombre r�el est moins que 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 20330-20340	CollegeSenior est un attribut de position humain occupe la position de position organisation nombre r�el student humain and organisation pendant nombre r�el YearDuration(s) nombre r�el est plus grand ou �gal � 3 nombre r�el est moins que 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 20346-20356	CollegeSophomore est un attribut de position humain occupe la position de position organisation nombre r�el student humain and organisation pendant nombre r�el YearDuration(s) nombre r�el est plus grand ou �gal � 1 nombre r�el est moins que 2
(=> (and (attribute ?PROF Professor) (occupiesPosition ?PROF Professor ?ORG)) (and (teacher ?PROF ?ORG) (instance ?ORG PostSecondarySchool)))	Mid-level-ontology.kif 22641-22647	Professor est un attribut de humain humain occupe la position de Professor �cole teacher humain and �cole �cole est une instance de PostSecondarySchool
(=> (and (attribute ?T Teacher) (occupiesPosition ?P ?T ?O)) (teacher ?T ?O))	Mid-level-ontology.kif 20477-20481	Teacher est un attribut de humain humain occupe la position de humain �cole teacher humain and �cole
(=> (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 4472-4480	diplomaticRepresentativeInRole secteur g�opolitique, humain, position and AutonomousAgent secteur g�opolitique est une instance de nation organisation est une instance de DiplomaticOrganization organisation est une partie de l'organization le gouvernment de secteur g�opolitique humain occupe la position de position organisation AutonomousAgent est une instance de secteur g�opolitique agentOperatesInArea organisation and AutonomousAgent
(=> (and (instance ?AREA GeopoliticalArea) (occupiesPosition ?PERSON Leader (GovernmentFn ?AREA))) (exists (?LEADING) (and (instance ?LEADING Guiding) (patient ?LEADING ?AREA) (agent ?LEADING ?PERSON))))	Government.kif 2270-2278	Secteur g�opolitique est une instance de secteur g�opolitique humain occupe la position de Leader le gouvernment de secteur g�opolitique processus processus est une instance de guider secteur g�opolitique est un patient de processus processus est un agent de humain
(=> (and (instance ?AREA GeopoliticalArea) (occupiesPosition ?PERSON Leader ?AREA)) (leader (GovernmentFn ?AREA) ?PERSON))	Government.kif 1308-1312	Organisation est une instance de secteur g�opolitique humain occupe la position de Leader organisation leader le gouvernment de organisation and humain
(=> (and (instance ?COUNTRY Nation) (leader ?COUNTRY ?PERSON) (instance ?ROLE Position) (occupiesPosition ?PERSON ?ROLE (GovernmentFn ?COUNTRY))) (leaderPosition ?COUNTRY ?ROLE))	Government.kif 1418-1424	Secteur g�opolitique est une instance de nation leader secteur g�opolitique and humain position est une instance de position humain occupe la position de position le gouvernment de secteur g�opolitique leaderPosition secteur g�opolitique and position
(=> (and (instance ?H Human) (occupiesPosition ?H ?B ?O) (attribute ?B Banker)) (instance ?O BankFinancialOrganization))	FinancialOntology.kif 3670-3675	Humain est une instance de humain humain occupe la position de position organisation Banker est un attribut de position organisation est une instance de BankFinancialOrganization
(=> (and (instance ?O GovernmentPosition) (occupiesPosition ?P ?O ?ORG)) (instance ?ORG GovernmentOrganization))	Mid-level-ontology.kif 20515-20519	Position est une instance de GovernmentPosition humain occupe la position de position positionRG positionRG est une instance de GovernmentOrganization
(=> (and (instance ?ORG AutonomousAgent) (leader ?ORG ?PERSON) (instance ?ROLE Position) (occupiesPosition ?PERSON ?ROLE ?ORG)) (leaderPosition ?ORG ?ROLE))	Government.kif 1409-1415	Organisation est une instance de AutonomousAgent leader organisation and humain position est une instance de position humain occupe la position de position organisation leaderPosition organisation 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 1449-1456	Humain est une instance de humain position est une instance de position secteur g�opolitique est une instance de secteur g�opolitique leaderPosition secteur g�opolitique and position humain occupe la position de position le gouvernment de secteur g�opolitique leader secteur g�opolitique and humain
(=> (and (instance ?PERSON Human) (instance ?ROLE Position) (instance ?ORG AutonomousAgent) (leaderPosition ?ORG ?ROLE) (occupiesPosition ?PERSON ?ROLE ?ORG)) (leader ?ORG ?PERSON))	Government.kif 1440-1447	Humain est une instance de humain position est une instance de position organisation est une instance de AutonomousAgent leaderPosition organisation and position humain occupe la position de position organisation leader organisation and humain
(=> (and (occupiesPosition ?H ?P ?O) (instance ?P ReligiousPosition)) (instance ?O ReligiousOrganization))	Mid-level-ontology.kif 22496-22500	Humain occupe la position de position organisation position est une instance de ReligiousPosition organisation est une instance de organisation religieuse
(=> (and (occupiesPosition ?H ?P ?O) (instance ?P SportsPosition)) (instance ?O SportsTeam))	Mid-level-ontology.kif 20504-20508	Humain occupe la position de position organisation position est une instance de SportsPosition organisation est une instance de SportsTeam
(=> (and (occupiesPosition ?PERSON ?POSITION ?ORGANIZATION) (instance ?ORGANIZATION PoliticalParty)) (member ?PERSON ?ORGANIZATION))	Government.kif 2256-2260	Humain occupe la position de position organisation organisation est une instance de PoliticalParty humain est un membre de organisation
(=> (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 24394-24402	subordinatePosition organisation, position and position humain occupe la position de position organisation humain humain est une instance de humain humain occupe la position de position organisation subordinateInOrganization organisation, humain and humain
(=> (holdsDuring ?T1 (occupiesPosition ?PERSON SecretaryOfTheInterior UnitedStatesDepartmentOfInterior)) (holdsDuring ?T1 (leader UnitedStatesDepartmentOfInterior ?PERSON)))	Government.kif 4820-4824	Entit� occupe la position de SecretaryOfTheInterior UnitedStatesDepartmentOfInterior pendant position temporel leader UnitedStatesDepartmentOfInterior and entit� pendant position temporel
(=> (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	Entit� occupe la position de Deacon entit� entit� est une instance de organisation religieuse pendant position temporel entit� entit� occupe la position de Cleric entit� subordinateInOrganization entit�, entit� and entit� pendant position temporel
(=> (occupiesPosition ?AGENT ?POSITION ?ORG) (attribute ?AGENT ?POSITION))	Merge.kif 17453-17455	Humain occupe la position de position organisation position est un attribut de humain
(=> (occupiesPosition ?H Pope RomanCatholicChurch) (leader RomanCatholicChurch ?H))	People.kif 1291-1293	Humain occupe la position de Pope RomanCatholicChurch leader RomanCatholicChurch and humain
(=> (occupiesPosition ?P JudgeAtLaw ?O) (instance ?O JudicialOrganization))	Mid-level-ontology.kif 22633-22635	Humain occupe la position de JudgeAtLaw organisation organisation est une instance de JudicialOrganization
(=> (occupiesPosition ?P JudgeAtLaw ?O) (modalAttribute (exists (?D) (and (instance ?D LegalDecision) (agent ?D ?P))) Permission))	Mid-level-ontology.kif 22625-22631	Humain occupe la position de JudgeAtLaw organisation l'argument entit� entit� est une instance de LegalDecision entit� est un agent de humain a la force modale de 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 1812-1816	candidateForPosition Election, r�le social and agent cognitif Election est un agent de AutonomousAgent agent cognitif desire agent cognitif occupe la position de r�le social AutonomousAgent
(=> (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	Organisation est capable de faire ValetParking dans le r�le agent customer agent cognitif and organisation organisation est situ� � objet processus est une instance de Arriving processus est un agent de agent cognitif entit� est un patient de processus processus aboutit � objet humain humain occupe la position de Valet organisation l'argument entit� entit� entit� est une instance de ValetParking entit� est un agent de humain entit� est un patient de entit� entit� aboutit � entit� entit� est une instance de ParkingRegion a la force modale de 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 4431-4439	diplomaticRepresentativeInRole secteur g�opolitique, humain, position and AutonomousAgent secteur g�opolitique est une instance de nation organisation organisation est une instance de DiplomaticOrganization organisation est une partie de l'organization le gouvernment de secteur g�opolitique humain occupe la position de position organisation
(=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 Organization)) (occupiesPosition ?PERSON ?POSITION ?ORG))	Government.kif 4441-4445	diplomaticRepresentativeInRole AutonomousAgent, humain, position and AutonomousAgent AutonomousAgent est une instance de organisation humain occupe la position de position organisation
(=> (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	Processus est une instance de Appointing entit� est un patient de processus entit� entit� entit� n' occupe la position de entit� entit� pendant le d�but de temps d'existence de processus entit� occupe la position de entit� entit� pendant immediatement apr�s temps d'existence de processus
(=> (and (instance ?ORG MilitaryOrganization) (leader ?P ?ORG)) (occupiesPosition ?P MilitaryCommander ?ORG))	MilitaryPersons.kif 339-343	Humain est une instance de MilitaryOrganization leader humain and humain humain occupe la position de MilitaryCommander humain
(=> (and (instance ?PERSON Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?PERSON (MemberRoleFn ?ORG ?POSITION))) (occupiesPosition ?PERSON ?POSITION ?ORG))	Government.kif 1768-1774	Humain est une instance de humain organisation est une instance de organisation position est une instance de position MemberRoleFn organisation and position est un attribut de humain humain occupe la position de position organisation
(=> (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	Processus est une instance de TransferringPosition AutonomousAgent exp�rimente processus entit� entit� and entit� AutonomousAgent occupe la position de entit� entit� pendant le d�but de temps d'existence de processus AutonomousAgent occupe la position de entit� entit� pendant la fin de temps d'existence de processus equal entit� and entit�
(=> (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 24394-24402	subordinatePosition organisation, position and position humain occupe la position de position organisation humain humain est une instance de humain humain occupe la position de position organisation subordinateInOrganization organisation, humain and humain
(=> (capability ValetParking agent ?AGENT) (exists (?VALET) (occupiesPosition ?VALET Valet ?AGENT)))	TransportDetail.kif 152-155	Organisation est capable de faire ValetParking dans le r�le agent humain humain occupe la position de Valet organisation
(=> (chiefOfState ?AREA ?POSITION ?PERSON) (occupiesPosition ?PERSON ?POSITION (GovernmentFn ?AREA)))	Government.kif 1524-1526	chiefOfState secteur g�opolitique, position and humain humain occupe la position de position le gouvernment de secteur g�opolitique
(=> (chiefOfState ?AREA ?POSITION ?PERSON) (occupiesPosition ?PERSON Leader (GovernmentFn ?AREA)))	Government.kif 1528-1530	chiefOfState secteur g�opolitique, position and humain humain occupe la position de Leader le gouvernment de secteur g�opolitique
(=> (employs ?ORG ?PERSON) (exists (?POSITION) (occupiesPosition ?PERSON ?POSITION ?ORG)))	Merge.kif 17457-17460	Organisation emploie humain position humain occupe la position de position organisation
(=> (headOfGovernment ?AREA ?POSITION ?PERSON) (occupiesPosition ?PERSON ?POSITION (GovernmentFn ?AREA)))	Government.kif 1577-1579	headOfGovernment secteur g�opolitique, position and humain humain occupe la position de position le gouvernment de secteur g�opolitique
(=> (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	Entit� occupe la position de Deacon entit� entit� est une instance de organisation religieuse pendant position temporel entit� entit� occupe la position de Cleric entit� subordinateInOrganization entit�, entit� and entit� pendant position temporel
(=> (instance ?COMPANY Cafeteria) (not (exists (?PERSON) (occupiesPosition ?PERSON ServicePosition ?COMPANY))))	Mid-level-ontology.kif 8840-8844	Organisation est une instance de Cafeteria humain humain occupe la position de ServicePosition organisation
(=> (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	Physique est une instance de Ordaining physique a pour but entit� entit� and entit� entit� est un patient de physique entit� est une instance de humain entit� est une instance de organisation religieuse entit� est un membre de entit� entit� est le resultat de physique entit� est une instance de ReligiousPosition entit� occupe la position de entit� entit�
(=> (judge ?P ?J) (exists (?O) (occupiesPosition ?J JudgeAtLaw ?O)))	Law.kif 202-205	judge processus and humain organisation humain occupe la position de JudgeAtLaw organisation
(=> (punishes ?A ?H) (exists (?O ?P) (occupiesPosition ?A ?P ?O)))	Law.kif 155-158	punishes humain and AutonomousAgent organisation position humain occupe la position de position organisation
(=> (punishes ?A ?H) (exists (?O ?POS ?PROC) (and (occupiesPosition ?A ?POS ?O) (agent ?PROC ?A) (wants ?O ?PROC))))	Law.kif 160-166	punishes humain and AutonomousAgent organisation position and processus humain occupe la position de position organisation processus est un agent de humain organisation veut processus
(=> (rewards ?A ?H) (exists (?O ?P) (occupiesPosition ?A ?P ?O)))	Law.kif 111-114	rewards humain and AutonomousAgent organisation position humain occupe la position de position organisation
(=> (rewards ?A ?H) (exists (?O ?POS ?PROC) (and (occupiesPosition ?A ?POS ?O) (agent ?PROC ?A) (wants ?O ?PROC))))	Law.kif 116-122	rewards humain and AutonomousAgent organisation position and processus humain occupe la position de position organisation processus est un agent de humain organisation veut processus

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

KB Term:			Term intersection

English Word: