TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1698-1701
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1623-1631
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 296-301
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6794-6794
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1622-1622	Processus est une sous-classe de physique

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2375-2375	SEO est une instance de processus
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2413-2413	Le domaine de AbortedFn est une instance de processus
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4515-4515	Les valeurs retourn�es par FailureFn sont des sous-classes de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17885-17885	Les valeurs retourn�es par OperatingFn sont des sous-classes de processus
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1303-1303	AddToCart est une sous-classe de processus
No TPTP formula. May not be expressible in strict first order.	Media.kif 164-164	AgentPatientProcess est une sous-classe de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30026-30026	BreakingRecord est une sous-classe de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23764-23764	CausingHappiness est une sous-classe de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23785-23785	CausingUnhappiness est une sous-classe de processus
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1457-1457	Checkout est une sous-classe de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1319-1319	ContentBearingProcess est une sous-classe de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1633-1633	Processus requ�rant deux patients est une sous-classe de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10486-10486	Processus intentionnel est une sous-classe de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12592-12592	Changement interne est une sous-classe de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7928-7928	LargeGroupProcess est une sous-classe de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11013-11013	D�palcement est une sous-classe de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10482-10482	NaturalProcess est une sous-classe de processus
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2063-2063	PowerGeneration est une sous-classe de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1646-1646	SingleAgentProcess est une sous-classe de processus
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1587-1587	WatchItem est une sous-classe de processus
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 851-851
No TPTP formula. May not be expressible in strict first order.	english_format.kif 904-904
No TPTP formula. May not be expressible in strict first order.	french_format.kif 527-527
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 58-58

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2412-2412	Le nombre 2 argument de AbortedFn est une instance de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 421-421	Le nombre 1 argument de StartFn est une instance de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 435-435	Le nombre 1 argument de StopFn est une instance de processus
No TPTP formula. May not be expressible in strict first order.	Law.kif 545-545	Le nombre 3 argument de ageOfMajorityForProcess est une instance de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2433-2433	Le nombre 1 argument de agent est une instance de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22912-22912	Le nombre 1 argument de benefits est une instance de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3778-3778	Le nombre 1 argument de causes est une instance de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3779-3779	Le nombre 2 argument de causes est une instance de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15904-15904	Le nombre 2 argument de commentator est une instance de processus
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2826-2826	Le nombre 2 argument de conversionEvent est une instance de processus
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1696-1696	Le nombre 1 argument de coordinates est une instance de processus
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1697-1697	Le nombre 2 argument de coordinates est une instance de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2444-2444	Le nombre 1 argument de destination est une instance de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16938-16938	Le nombre 1 argument de direction est une instance de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4096-4096	Le nombre 1 argument de eventPartlyLocated est une instance de processus
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4333-4333	Le nombre 2 argument de exclusiveEvent est une instance de processus
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.	UXExperimentalTerms.kif 3825-3825	Le nombre 2 argument de experimentalControlProcess est une instance de processus
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3872-3872	Le nombre 2 argument de experimentalVariableProcess est une instance de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4391-4391	Le nombre 1 argument de hinders est une instance de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2471-2471	Le nombre 1 argument de instrument est une instance de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2414-2414	Le nombre 1 argument de involvedInEvent est une instance de processus
No TPTP formula. May not be expressible in strict first order.	Law.kif 193-193	Le nombre 1 argument de judge est une instance de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1732-1732	Le nombre 1 argument de manner est une instance de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2482-2482	Le nombre 1 argument de origin est une instance de processus

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23252-23258	R�le d�pendant du cas processus and objet r�le d�pendant du cas est une instance de r�le d�pendant du cas processus est une instance de processus objet est une instance de objet playsRoleInEvent objet, r�le d�pendant du cas and processus
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 522-538	customer agent cognitif and AutonomousAgent propertyAmenity AutonomousAgent and physique physique est une sous-classe de processus l'argument entit� entit� and entit� entit� est un appartenir � AutonomousAgent entit� est un agent de AutonomousAgent agent cognitif est un patient de entit� entit� est une instance de physique entit� est une instance de physique entit� est un sous-processus de entit� entit� est situ� � entit� a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18401-18406	Organisation est DepartmentOfPreventingFn organisation and physique physique est une sous-classe de processus organisation est une partie de l'organization organisation organisation inhibe physique
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.	Hotel.kif 346-361	freeRoomAmenity HotelUnit and physique physique est une sous-classe de objet TemporaryResidence est une instance de HotelUnit stays humain and TemporaryResidence TemporaryResidence est un appartenir � AutonomousAgent objet est une instance de physique objet est situ� � TemporaryResidence processus est une instance de processus processus est un agent de humain objet est un patient de processus objet est un instrument pour processus objet est une resource pour processus price objet, 0 UnitedStatesDollar(s) and humain
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 364-378	freeRoomAmenity HotelUnit and physique physique est une sous-classe de processus TemporaryResidence est une instance de HotelUnit stays humain and TemporaryResidence TemporaryResidence est un appartenir � AutonomousAgent humain est un patient de processus processus est une instance de physique processus est une instance de physique processus est un sous-processus de processus processus est situ� � TemporaryResidence price processus, 0.0 UnitedStatesDollar(s) and humain
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15887-15900	Processus est une instance de Commenting entit� est une instance de processus entit� est un patient de processus AutonomousAgent processus and processus AutonomousAgent est une instance de AutonomousAgent processus est une instance de Speaking processus est une instance de Looking processus est un agent de AutonomousAgent processus est un agent de AutonomousAgent entit� est un patient de processus processus inclut une r�f�rence � entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2546-2554	Objet est une instance de ElectricDevice processus est une instance de processus objet est un instrument pour processus objet objet est une instance de Electricity objet est une resource pour processus
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4357-4374	Processus est une instance de processus humain est une instance de AutonomousAgent Experimenting est une instance de Experimenting treatedUser humain and Experimenting experimentalVariableProcess Experimenting and processus humain exp�rimente processus humain exp�rimente processus exclusiveEvent Experimenting and processus ExperimentingERIMENTER ExperimentingERIMENTER est une instance de AutonomousAgent experimenter Experimenting and ExperimentingERIMENTER ExperimentingERIMENTER croit l'argument processus cause processus a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7510-7514	Physique est une instance de processus la mesure de physique est quantit� physique quantit� physique est une instance de quantit� d�pendant du temps
No TPTP formula. May not be expressible in strict first order.	Military.kif 32-44	Proposition est une instance de plan physique est une instance de processus proposition d�finie physique proposition NING ContentBearingPhysical proposition NING est une instance de planifier ContentBearingPhysical est une instance de ContentBearingPhysical ContentBearingPhysical contient information proposition ContentBearingPhysical est le resultat de proposition NING le d�but de temps d'existence de proposition NING arrive plus t�t que le d�but de temps d'existence de physique la fin de temps d'existence de proposition NING arrive plus t�t que la fin de temps d'existence de physique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23506-23511	Processus est une instance de processus eventLocated processus and objet processus est un sous-processus de processus eventLocated processus and objet
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1496-1518	Interval temporel est une instance de interval temporel_CLASS interval temporel_CLASS est une sous-classe de processus AccessingWebPage est une instance de AccessingWebPage AutonomousAgent est une instance de AutonomousAgent interval temporel est un agent de AutonomousAgent AccessingWebPage est un agent de AutonomousAgent interval temporel prend place pendant AccessingWebPage physique est une instance de interval temporel interval temporel2 interval temporel2 est une instance de interval temporel_CLASS interval temporel2 est un agent de AutonomousAgent interval temporel2 prend place pendant AccessingWebPage le d�but de temps d'existence de interval temporel2 se produit avant le d�but de temps d'existence de interval temporel le d�but de temps d'existence de AccessingWebPage est d�but de temps d'existence de physique le d�but de temps d'existence de interval temporel est fin de temps d'existence de physique TTFxFn interval temporel_CLASS and AccessingWebPage est physique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2561-2567	Processus est une instance de processus physique est un patient de processus physique est une instance de eau la mesure de physique est nombre r�el PHValue(s) nombre r�el est moins que 5.6
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3910-3916	R�le d�pendant du cas est une instance de r�le d�pendant du cas r�le d�pendant du cas entit� and objet entit� est une instance de processus processus est une sous-classe de processus objet est capable de faire processus dans le r�le r�le d�pendant du cas
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4501-4518	Processus est une instance de MultivariateTest Experimenting est un sous-processus de processus Experimenting est un sous-processus de processus Experimenting est une instance de Experimenting Experimenting est une instance de Experimenting processus est une instance de processus processus est une instance de processus experimentalVariableProcess Experimenting and processus experimentalVariableProcess Experimenting and processus processus processus est une instance de processus processus est un sous-processus de processus processus est un sous-processus de processus processus est processus
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3851-3862	Processus est une instance de processus Experimenting est une instance de Experimenting processus est une instance de AutonomousAgent AutonomousAgent exp�rimente processus experimentalVariableProcess Experimenting and processus entit�_GROUP entit�_GROUP est une instance de collection processus est un membre de entit�_GROUP controlGroup entit�_GROUP and Experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3968-3979	Processus est une instance de processus Experimenting est une instance de Experimenting processus est une instance de AutonomousAgent AutonomousAgent exp�rimente processus experimentalVariableProcess Experimenting and processus entit�_GROUP entit�_GROUP est une instance de collection processus est un membre de entit�_GROUP treatmentGroup entit�_GROUP and Experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4241-4267	Humain est une instance de humain collection est une instance de collection Experimenting physique processus Experimenting est une instance de Experimenting physique est une instance de processus physique est un membre de QualifyingEventsFn Experimenting physique est une instance de processus humain est capable de faire processus dans le r�le experiencer physique est un membre de collection physique est un membre de collection physique est une instance de processus Experimenting physiqueESS Experimenting est une instance de Experimenting physique est un membre de QualifyingEventsFn Experimenting physique est une instance de physiqueESS humain est capable de faire physiqueESS dans le r�le experiencer QualifiedTreatmentsFn humain est collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31316-31323	memberMeasure ensemble, MeasurementAttribute and dur�e temporel ensemble est une instance de ensemble AutonomousAgent est un ensemble processus est une instance de processus processus est un agent de AutonomousAgent processus se produit tous les dur�e temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31325-31332	memberMeasure classe, Frequency and dur�e temporel classe est une instance de classe AutonomousAgent est une instance de classe processus est une instance de processus processus est un agent de AutonomousAgent processus se produit tous les dur�e temporel
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2280-2290	naturalHazardTypeInArea secteur g�ographique and physique physique est une sous-classe de processus physique physique est une instance de physique physique est situ� � secteur g�ographique temps d'existence de secteur g�ographique recouvre temps d'existence de physique
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 98-107	offers AutonomousAgent and Catalog catalogItem entit� and Catalog entit� est une sous-classe de objet processus est une instance de processus processus est une sous-classe de processus entit� est une instance de entit� entit� est un patient de processus AutonomousAgent est capable de faire processus dans le r�le agent
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 88-93	offers AutonomousAgent and Catalog catalogItem entit� and Catalog entit� est une sous-classe de processus AutonomousAgent est capable de faire entit� dans le r�le agent

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.	emotion.kif 374-387	AppraisalAsJustTreatment est un attribut de agent cognitif agent cognitifJT est une instance de AppraisalProcess agent cognitifJT est un agent de agent cognitif processus agent cognitif2 processus est une instance de processus agent cognitifJT inclut une r�f�rence � processus processus est un agent de agent cognitif2 agent cognitif est agent cognitif2 agent cognitif est un patient de processus agent cognitif veut processus
No TPTP formula. May not be expressible in strict first order.	emotion.kif 349-363	AppraisalAsUnjustTreatment est un attribut de agent cognitif agent cognitifUJ est une instance de AppraisalProcess agent cognitifUJ est un agent de agent cognitif processus agent cognitif2 processus est une instance de processus agent cognitifUJ inclut une r�f�rence � processus processus est un agent de agent cognitif2 agent cognitif est agent cognitif2 agent cognitif est un patient de processus agent cognitif ne veut %n{pas} processus
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.	MilitaryProcesses.kif 2516-2530	Processus est une instance de Evacuation processus a pour origine secteur g�ographique processus est un agent de agent cognitif processus processus est une instance de processus geographicSubregion secteur g�ographique and la place o� processus �tait � le d�but de temps d'existence de processus processus cause processus agent cognitif croit Dangerous est un attribut de processus
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3923-3934	Experimenting est une instance de Experimenting humain est une instance de humain experimentalSubject Experimenting and humain processus processus est une instance de processus humain exp�rimente processus experimentalControlProcess Experimenting and processus experimentalVariableProcess Experimenting and processus
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3447-3476	WearableItem est une instance de HearingProtection animal est une instance de humain animal porte WearableItem WearableItem a pour but entit� entit� and entit� entit� est une instance de processus entit� est une sous-classe de la classe d�crite par entit� entit� previent l'occurrence de entit� WearableItem est un instrument pour entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3389-3417	WearableItem est une instance de SafetyHarness animal est une instance de animal animal porte WearableItem WearableItem a pour but entit� entit� and entit� entit� est une instance de processus WearableItem est un instrument pour entit� animal est un patient de entit� entit� est une sous-classe de la classe d�crite par entit� entit� previent l'occurrence de entit�
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4501-4518	Processus est une instance de MultivariateTest Experimenting est un sous-processus de processus Experimenting est un sous-processus de processus Experimenting est une instance de Experimenting Experimenting est une instance de Experimenting processus est une instance de processus processus est une instance de processus experimentalVariableProcess Experimenting and processus experimentalVariableProcess Experimenting and processus processus processus est une instance de processus processus est un sous-processus de processus processus est un sous-processus de processus processus est processus
No TPTP formula. May not be expressible in strict first order.	Biography.kif 280-296	ContentBearingPhysical est une instance de DeathCertificate processus est une instance de mort AutonomousAgent est une instance de humain AutonomousAgent exp�rimente processus containsFormula ContentBearingPhysical and processusAY entit�, entit� and entit�ROC deathdate AutonomousAgent and processusAY processusAY est une instance de jour deathplace AutonomousAgent and entit� entit� est une instance de secteur g�ographique entit� d�finie AutonomousAgent entit� est une instance de Name entit�ROC cause processus entit�ROC est une instance de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30030-30060	Processus est une instance de BreakingRecord processus est un agent de AutonomousAgent ensemble classe, processus, point temporel, r�le d�pendant du cas, objet and entit� ensemble est une instance de ensemble AutonomousAgent est un ensemble classe est une sous-classe de processus objet est une instance de r�gion point temporel est une instance de point temporel entit� est une instance de quantit� processus est une instance de classe processus inclut une r�f�rence � entit� entit� inclut une r�f�rence � processus playsRoleInEvent AutonomousAgent, r�le d�pendant du cas and processus eventLocated processus and objet entit� entit� entit� est une instance de ensemble entit� est AutonomousAgent entit� est une instance de classe playsRoleInEvent entit�, r�le d�pendant du cas and entit� eventLocated entit� and objet pendant l'intervale entre point temporel et la fin de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3531-3552	WearableItem est une instance de Respirator animal est une instance de animal animal porte WearableItem WearableItem a pour but entit� entit�, entit� and entit� entit� est une instance de processus WearableItem est un instrument pour entit� entit� previent l'occurrence de entit� entit� est une sous-classe de la classe d�crite par entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26973-26999	Physique est une instance de SurveillanceSystem physique est un membre de collection physique est un membre de collection collection est situ� � objet collection est une instance de Camera collection est situ� � objet objet est objet collection est une instance de VideoDisplay physique a pour but entit� entit�, entit� and entit� entit� est une instance de processus eventLocated entit� and objet entit� d�finie entit� Camera est un instrument pour entit� entit� est le resultat de entit� entit� est une instance de lumi�re irradiante collection est un instrument pour entit� entit� est un patient de entit� le d�but de entit� se produit avant le d�but de entit� le d�but de entit� se produit avant le d�but de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16542-16554	issuedBy certificat and agent cognitif certificat est une instance de Ticket AutonomousAgent poss�de certificat confersNorm agent cognitif, entit� entit� entit� est une instance de processus entit� est un agent de agent cognitif AutonomousAgent exp�rimente entit� pendant entit� and Permission
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31316-31323	memberMeasure ensemble, MeasurementAttribute and dur�e temporel ensemble est une instance de ensemble AutonomousAgent est un ensemble processus est une instance de processus processus est un agent de AutonomousAgent processus se produit tous les dur�e temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31325-31332	memberMeasure classe, Frequency and dur�e temporel classe est une instance de classe AutonomousAgent est une instance de classe processus est une instance de processus processus est un agent de AutonomousAgent processus se produit tous les dur�e temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21066-21080	NewsReporter est un attribut de objet objet a pour but entit� entit� and entit� entit� est une instance de processus temps d'existence de objet recouvre temps d'existence de entit� entit� est une instance de entit� entit� est une sous-classe de Newspaper entit� est une sous-classe de NewsProgram objet est l' auteur de entit� entit� inclut une r�f�rence � entit�
No TPTP formula. May not be expressible in strict first order.	Dining.kif 956-980	OpenLayout est un attribut de objet objet est une instance de pi�ce objet objet and objet objet est une instance de r�gion objet est une instance de r�gion objet est situ� � objet objet est situ� � objet objet est objet objet est Adjacent � objet formule formule formule est une instance de processus formule est une instance de processus objet a pour but formule objet a pour but formule objet est une instance de AutonomousAgent objet est situ� � objet objet est capable de faire voir dans le r�le agent objet est capable de faire voir dans le r�le patient
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4432-4437	ABTest est un attribut de objet processus processus est une instance de processus experimentalVariableProcess objet and processus
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2563-2570	businessUnit organisation and Business organisation a pour but entit� entit� est une instance de processus entit� est un agent de organisation benefits entit� and Business
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 998-1006	dateUsed objet, interval temporel and AutonomousAgent processus processus est une instance de processus objet est un patient de processus processus est un agent de AutonomousAgent AutonomousAgent utilise objet temps d'existence de processus recouvre interval temporel
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4345-4355	exclusiveEvent Experimenting and processus processus humain processus est une instance de processus humain est une instance de AutonomousAgent treatedUser humain and Experimenting experimentalVariableProcess Experimenting and processus humain exp�rimente processus humain exp�rimente processus temps d'existence de processus arrive plus t�t que temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30707-30727	SafetyPosition est un attribut de entit� pendant position temporel entit� a pour but entit� entit�, entit� and position temporel2 entit� est une instance de humain entit� est une instance de processus entit� est un patient de entit� entit� est un agent de entit� entit� previent l'occurrence de la classe d�crite par entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1216-1224	ingredient substance and classe processus entit� and entit� processus est une instance de processus entit� est une instance de substance entit� est un patient de processus entit� est une instance de classe entit� est le resultat de processus
No TPTP formula. May not be expressible in strict first order.	Food.kif 1660-1669	ingredientAmount objet en une partie, objet en une partie and quantit� physique processus physique and entit� physique est une instance de objet en une partie la mesure de physique est quantit� physique entit� est une instance de objet en une partie processus est une instance de processus physique est un patient de processus entit� est le resultat de processus

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

Show without tree

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: