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 17344-17347
(domain occupiesPosition 1 Human)	Merge.kif 17341-17341	Le nombre 1 argument de occupiesPosition est une instance de humain
(domain occupiesPosition 2 Position)	Merge.kif 17342-17342	Le nombre 2 argument de occupiesPosition est une instance de position
(domain occupiesPosition 3 Organization)	Merge.kif 17343-17343	Le nombre 3 argument de occupiesPosition est une instance de organisation
(instance occupiesPosition TernaryPredicate)	Merge.kif 17340-17340	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 41622-41622
(termFormat ChineseTraditionalLanguage occupiesPosition "佔據位置")	domainEnglishFormat.kif 41621-41621
(termFormat EnglishLanguage occupiesPosition "occupies position")	domainEnglishFormat.kif 41620-41620

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 18755-18764	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 18770-18780	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 18786-18796	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 18802-18812	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 21051-21057	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 18933-18937	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 4475-4483	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 2273-2281	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 1310-1314	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 1420-1426	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 3652-3657	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 18971-18975	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 1411-1417	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 1451-1458	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 1442-1449	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 20906-20910	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 18960-18964	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 2259-2263	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 22805-22813	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 4823-4827	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 20938-20947	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 17349-17351	Humain occupe la position de position organisation position est un attribut de humain
(=> (occupiesPosition ?H Pope RomanCatholicChurch) (leader RomanCatholicChurch ?H))	People.kif 1290-1292	Humain occupe la position de Pope RomanCatholicChurch leader RomanCatholicChurch and humain
(=> (occupiesPosition ?P JudgeAtLaw ?O) (instance ?O JudicialOrganization))	Mid-level-ontology.kif 21043-21045	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 21035-21041	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 1814-1818	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 4434-4442	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 4444-4448	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 %n{pas} 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 ?PERSON Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?PERSON (MemberRoleFn ?ORG ?POSITION))) (occupiesPosition ?PERSON ?POSITION ?ORG))	Government.kif 1770-1776	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 16975-16988	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 entit� est 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 22805-22813	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 1526-1528	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 1530-1532	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 17353-17356	Organisation emploie humain position humain occupe la position de position organisation
(=> (headOfGovernment ?AREA ?POSITION ?PERSON) (occupiesPosition ?PERSON ?POSITION (GovernmentFn ?AREA)))	Government.kif 1579-1581	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 20938-20947	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 7700-7704	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 132-143	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: