experiencer - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1872-1874
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2462-2466
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 496-498
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2458-2458	Le nombre 1 argument de experiencer est une instance de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2459-2459	Le nombre 2 argument de experiencer est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2456-2456	experiencer est une instance de r�le d�pendant du cas
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2457-2457	experiencer est une instance de relation partielle
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2460-2460	experiencer est une sous-relation de involvedInEvent

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 103-103
No TPTP formula. May not be expressible in strict first order.	english_format.kif 103-103
No TPTP formula. May not be expressible in strict first order.	french_format.kif 74-74
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 102-102
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1900-1900
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 26-26
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 82-82
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 118-118
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 142-142
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 93-93
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 73-73
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 215-215
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13105-13105	attends est une sous-relation de experiencer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23445-23445	losesControl est une sous-relation de experiencer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22889-22889	serviceRecipient est une sous-relation de experiencer
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22804-22804
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 104-104
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22803-22803
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22802-22802
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 34-34
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 216-216

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6356-6363	AutonomousAgent exp�rimente processus AutonomousAgent est une instance de PainFn partie du corps partie du corpsART partie du corpsART est une partie de processus partie du corpsART est situ� � partie du corps
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 841-862	freeFunctionRoomAmenity HotelFunctionRoom and physique entit� est une instance de HotelFunctionRoom entit� est un appartenir � AutonomousAgent processus est une instance de Renting entit� est un patient de processus processus aboutit � agent cognitif objet est une instance de physique AutonomousAgent poss�de objet customer agent cognitif and AutonomousAgent objet est une instance de processus objet est un agent de agent cognitif agent cognitif exp�rimente objet AutonomousAgent poss�de objet objet est une instance de objet agent cognitif utilise objet price objet, 0 UnitedStatesDollar(s) and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 546-561	freePropertyAmenity AutonomousAgent and physique processus est une instance de physique customer agent cognitif and AutonomousAgent processus est une instance de processus processus est un agent de agent cognitif agent cognitif exp�rimente processus AutonomousAgent poss�de processus processus est une instance de objet agent cognitif utilise processus price processus, 0 UnitedStatesDollar(s) and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6470-6482	AVPUPainStatus est un attribut de AutonomousAgent pendant interval temporel processus est une instance de Pain temps d'existence de processus prend place pendant interval temporel AutonomousAgent exp�rimente processus processus processus est une instance de mouvement du corps AutonomousAgent exp�rimente processus temps d'existence de processus prend place pendant interval temporel processus cause processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18225-18231	Embryonic est un attribut de AutonomousAgent pendant interval temporel processus est une instance de naissance interval temporel est temps d'existence de processus AutonomousAgent exp�rimente processus interval temporel ne recouvre %n{pas} interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18203-18209	Larval est un attribut de AutonomousAgent pendant interval temporel processus est une instance de naissance interval temporel est temps d'existence de processus AutonomousAgent exp�rimente processus interval temporel rencontre interval temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17192-17202	Processus est une instance de Accelerating interval temporel est temps d'existence de processus AutonomousAgent exp�rimente processus processus processus est une instance de Decelerating AutonomousAgent exp�rimente processus interval temporel est temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1545-1555	Processus est une instance de Anaphylaxis AutonomousAgent exp�rimente processus l'argument entit� entit� est une instance de mort AutonomousAgent exp�rimente entit� processus cause entit� a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6304-6313	Processus est une instance de Asphyxiation AutonomousAgent exp�rimente processus entit� entit� est une instance de respirer processus exp�rimente entit� pendant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2230-2239	Processus est une instance de RheumatoidArthritis AutonomousAgent exp�rimente processus l'argument entit� entit� est une instance de JointPain processus cause entit� a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2200-2216	Processus est une instance de AutoImmuneDisorder agent cognitif exp�rimente processus objet processus and objet objet est une instance de Antibody objet est une partie de agent cognitif objet est une instance de cellule objet est une partie de agent cognitif processus est une instance de destruction objet est un instrument pour processus agent cognitif ne desire %n{pas} processus est une instance de destruction objet est un instrument pour processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16342-16352	Processus est une instance de BecomingDrunk AutonomousAgent exp�rimente processus Sober est un attribut de AutonomousAgent pendant le d�but de temps d'existence de processus Drunk est un attribut de AutonomousAgent pendant la fin de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 80-94	Processus est une instance de Bleeding AutonomousAgent exp�rimente processus objet processus objet est une instance de Vein objet est une instance de Artery objet est une partie de AutonomousAgent processus est une instance de endommager temps d'existence de processus arrive plus t�t que temps d'existence de processus objet est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 44-59	Processus est une instance de Bleeding entit� est une instance de mort formule est une instance de humain AutonomousAgent est une instance de humain AutonomousAgent exp�rimente processus formule est Near � AutonomousAgent l'argument processus cause entit� a la force modale de Likely entit� entit� est une instance de attacher entit� est un agent de formule entit� aboutit � AutonomousAgent est oblig� d'ex�cut� des t�ches du type formule
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21473-21488	Processus est une instance de Blushing AutonomousAgent exp�rimente processus interval temporel interval temporel, entit� and entit� entit� est une instance de �tat �motionnel entit� est une instance de �tat �motionnel entit� est entit� entit� est un attribut de AutonomousAgent pendant interval temporel entit� est un attribut de AutonomousAgent pendant interval temporel temps d'existence de processus commence interval temporel temps d'existence de processus finit interval temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16362-16372	Processus est une instance de SoberingUp AutonomousAgent exp�rimente processus Drunk est un attribut de AutonomousAgent pendant le d�but de temps d'existence de processus Sober est un attribut de AutonomousAgent pendant la fin de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3179-3194	Transf�re est une instance de BreakthroughInfection objectTransferred transf�re and objet objet est une instance de objetC AutonomousAgent exp�rimente transf�re objetAX objetAX est une instance de Vaccination AutonomousAgent exp�rimente objetAX vaccine objetACCINECLASS and objetC objetACCINE est une instance de objetACCINECLASS objectTransferred objetAX and objetACCINE temps d'existence de objetAX arrive plus t�t que temps d'existence de transf�re
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10219-10226	Processus est une instance de naissance AutonomousAgent exp�rimente processus processus processus est une instance de mort AutonomousAgent exp�rimente processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21394-21402	Processus est une instance de Bleeding AutonomousAgent exp�rimente processus entit� entit� est une instance de sang entit� est une partie de AutonomousAgent pendant le d�but de temps d'existence de processus entit� est une partie de AutonomousAgent pendant la fin de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21388-21392	Processus est une instance de Bleeding AutonomousAgent exp�rimente processus AutonomousAgent est une instance de animal
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1886-1892	Processus est une instance de Chills AutonomousAgent exp�rimente processus FeelingCold est un attribut de AutonomousAgent pendant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11770-11778	Processus est une instance de Choking AutonomousAgent exp�rimente processus processusO processusO est une instance de Coughing processusO est un sous-processus de processus AutonomousAgent exp�rimente processusO
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11753-11768	Processus est une instance de Choking AutonomousAgent exp�rimente processus entit� objet and objet entit� est une instance de objet objet est une instance de Trachea objet est une instance de Lung objet est une partie de AutonomousAgent objet est une partie de AutonomousAgent entit� est situ� � objet entit� est situ� � objet pendant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6042-6053	Processus est une instance de Coughing AutonomousAgent exp�rimente processus processus processus processus est une instance de Inhaling processus est une instance de Exhaling processus est un sous-processus de processus processus est un sous-processus de processus AutonomousAgent exp�rimente processus AutonomousAgent exp�rimente processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6055-6074	Processus est une instance de Coughing AutonomousAgent exp�rimente processus processus a pour but entit� entit�, entit� and entit� entit� est une instance de Lung entit� est une instance de Throat entit� est une instance de objet entit� est une instance de supprimer entit� est une partie de AutonomousAgent entit� est une partie de AutonomousAgent objectTransferred entit� and entit� entit� est situ� � entit� entit� est situ� � entit� pendant immediatement avant temps d'existence de processus

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	People.kif 357-390	Ann�e est une instance de l' ann�e ann�eEAR MaleLifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM listeITEM est un membre de liste listeITEM est une instance de cha�ne sympbolique entit� entit� est une instance de cha�ne sympbolique entit� est un membre de liste nombre entier est instances dans la classe d�crite par cha�ne sympbolique average liste and nombre r�el
No TPTP formula. May not be expressible in strict first order.	People.kif 82-97	Ann�e est une instance de l' ann�e nombre entier BirthsPerThousandFn secteur g�opolitique and ann�e est nombre r�el PopulationFn secteur g�opolitique + 1000 est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + nombre r�el est nombre r�el
No TPTP formula. May not be expressible in strict first order.	People.kif 118-133	Ann�e est une instance de l' ann�e nombre entier DeathsPerThousandFn secteur g�opolitique and ann�e est nombre r�el PopulationFn secteur g�opolitique + 1000 est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + nombre r�el est nombre r�el
No TPTP formula. May not be expressible in strict first order.	People.kif 238-264	Ann�e est une instance de l' ann�e nombre entier DeathsPerThousandLiveBirthsFn secteur g�opolitique and ann�e est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + 1000 est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + nombre r�el est nombre r�el
No TPTP formula. May not be expressible in strict first order.	People.kif 403-436	Ann�e est une instance de l' ann�e nombre entier FemaleLifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM listeITEM est un membre de liste listeITEM est une instance de cha�ne sympbolique entit� entit� est une instance de cha�ne sympbolique entit� est un membre de liste nombre entier est instances dans la classe d�crite par cha�ne sympbolique average liste and nombre r�el
No TPTP formula. May not be expressible in strict first order.	People.kif 310-342	Ann�e est une instance de l' ann�e nombre entier LifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM listeITEM est un membre de liste listeITEM est une instance de cha�ne sympbolique entit� entit� est une instance de cha�ne sympbolique entit� est un membre de liste nombre entier est instances dans la classe d�crite par cha�ne sympbolique average liste and nombre r�el
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6230-6243	allergic humain and substance substanceUB est une instance de substance substanceUB rencontre humain pendant position temporel l'argument entit� entit� est une instance de AllergicReaction humain exp�rimente entit� temps d'existence de entit� recouvre position temporel le d�but de position temporel se produit avant le d�but de temps d'existence de entit� a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 504-520	customer agent cognitif and AutonomousAgent propertyAmenity AutonomousAgent and physique physique est une sous-classe de objet entit� est une instance de physique AutonomousAgent autorise agent cognitif � ex�cut� des t�ches du type entit� entit� est une instance de processus entit� est une resource pour entit� entit� est un instrument pour entit� entit� est un patient de entit� entit� est un agent de agent cognitif agent cognitif exp�rimente entit�
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 811-832	functionRoomAmenity HotelFunctionRoom and physique entit� est une instance de HotelFunctionRoom entit� est un appartenir � AutonomousAgent processus est une instance de Renting entit� est un patient de processus processus est un agent de AutonomousAgent processus aboutit � entit� physique est une sous-classe de objet l'argument entit� entit� entit� est une instance de physique entit� est une instance de processus entit� est une resource pour entit� entit� est un instrument pour entit� entit� est un patient de entit� entit� est un agent de entit� entit� exp�rimente entit� a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	emotion.kif 161-172	�tat �motionnel Est un attribut de entit� pendant position temporel actionTendency �tat �motionnel and EmotionalBehavioralProcess l'argument entit� entit� est une instance de EmotionalBehavioralProcess temps d'existence de entit� prend place pendant position temporel entit� exp�rimente entit� a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6470-6482	AVPUPainStatus est un attribut de AutonomousAgent pendant interval temporel processus est une instance de Pain temps d'existence de processus prend place pendant interval temporel AutonomousAgent exp�rimente processus processus processus est une instance de mouvement du corps AutonomousAgent exp�rimente processus temps d'existence de processus prend place pendant interval temporel processus cause processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23888-23902	Menopausal est un attribut de AutonomousAgent pendant interval temporel nombre r�el est YearDuration(s) + le d�but de interval temporel) interval temporel est intervale entre interval temporel et le d�but de interval temporel processus processus est une instance de Menstruation AutonomousAgent exp�rimente processus
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 120-131	Evacuee est un attribut de AutonomousAgent pendant interval temporel interval temporel est une instance de interval temporel processus AutonomousAgent processus est une instance de Evacuation processus est un agent de AutonomousAgent AutonomousAgent est une instance de MilitaryOrganization AutonomousAgent exp�rimente processus temps d'existence de processus arrive plus t�t que interval temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17192-17202	Processus est une instance de Accelerating interval temporel est temps d'existence de processus AutonomousAgent exp�rimente processus processus processus est une instance de Decelerating AutonomousAgent exp�rimente processus interval temporel est temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1545-1555	Processus est une instance de Anaphylaxis AutonomousAgent exp�rimente processus l'argument entit� entit� est une instance de mort AutonomousAgent exp�rimente entit� processus cause entit� a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1619-1630	Objet est une instance de Armor objet est une partie de objet objet rencontre objet objet a pour but entit� entit� est une instance de maintenir objet est un instrument pour entit� objet exp�rimente entit�
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1632-1644	Objet est une instance de Armor objet est une partie de objet objet rencontre objet objet a pour but entit� entit� est une instance de endommager objet est un instrument pour entit� objet exp�rimente entit�
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6304-6313	Processus est une instance de Asphyxiation AutonomousAgent exp�rimente processus entit� entit� est une instance de respirer processus exp�rimente entit� pendant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1945-1958	Processus est une instance de AngryVoiceUtterance processus est un agent de AutonomousAgent l'argument causesProposition AutonomousAgentNG AutonomousAgentNG est une instance de colère AutonomousAgent exp�rimente AutonomousAgentNG and processus est une instance de AngryVoiceUtterance processus est un agent de AutonomousAgent a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16199-16211	Entit� est une instance de LegalAward entit� inclut une r�f�rence � processus processus est une instance de action l�gale processus est un agent de agent cognitif entit� autorise agent cognitif � ex�cut� des t�ches du type entit� entit� and entit� entit� est une instance de obtenir agent cognitif exp�rimente entit� entit� est un patient de entit� valeur de entit� est entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18678-18694	Transf�re est une instance de Bequeathing transf�re est un agent de AutonomousAgent transf�re aboutit � entit� objectTransferred transf�re and AutonomousAgentROP processus processus est une instance de mort AutonomousAgent exp�rimente processus temps d'existence de processus arrive plus t�t que temps d'existence de transf�re AutonomousAgent poss�de AutonomousAgentROP pendant immediatement avant temps d'existence de processus confersNorm AutonomousAgent, entit� poss�de AutonomousAgentROP and Permission
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3179-3194	Transf�re est une instance de BreakthroughInfection objectTransferred transf�re and objet objet est une instance de objetC AutonomousAgent exp�rimente transf�re objetAX objetAX est une instance de Vaccination AutonomousAgent exp�rimente objetAX vaccine objetACCINECLASS and objetC objetACCINE est une instance de objetACCINECLASS objectTransferred objetAX and objetACCINE temps d'existence de objetAX arrive plus t�t que temps d'existence de transf�re
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10219-10226	Processus est une instance de naissance AutonomousAgent exp�rimente processus processus processus est une instance de mort AutonomousAgent exp�rimente processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11770-11778	Processus est une instance de Choking AutonomousAgent exp�rimente processus processusO processusO est une instance de Coughing processusO est un sous-processus de processus AutonomousAgent exp�rimente processusO
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6042-6053	Processus est une instance de Coughing AutonomousAgent exp�rimente processus processus processus processus est une instance de Inhaling processus est une instance de Exhaling processus est un sous-processus de processus processus est un sous-processus de processus AutonomousAgent exp�rimente processus AutonomousAgent exp�rimente processus

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

No TPTP formula. May not be expressible in strict first order.	People.kif 456-469	Ann�e est une instance de l' ann�e nombre entier ChildrenBornPerWomanFn secteur g�opolitique and ann�e est instances dans la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	WMD.kif 921-929	biochemicalAgentSyndrome ?AGENT and ?SYMPTOM biochemicalAgentAntidote ?AGENT, ?SUBSTANCE and ?PROCESS ?SAMPLE est une instance de ?SUBSTANCE ?THERAPY est une instance de ?PROCESS ?ORGANISM exp�rimente ?THERAPY ?SAMPLE est un patient de ?THERAPY diminue la probabilit� de ?SYMPTOM est un attribut de ?ORGANISM
No TPTP formula. May not be expressible in strict first order.	WMD.kif 767-773	biochemicalAgentSyndrome ?AGENT and ?SYMPTOM biochemicalAgentDelivery ?AGENT and ?PROCESSTYPE ?PROCESS est une instance de ?PROCESSTYPE ?ORGANISM exp�rimente ?PROCESS augmente la probabilit� de ?SYMPTOM est un attribut de ?ORGANISM

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

KB Term:			Term intersection

English Word: