No TPTP formula. May not be expressible in strict first order.	Merge.kif 8981-8985	Interval temporel est une instance de WeekFn nombre entier positif and ann�e ann�eI est une instance de ann�e interval temporel prend place pendant ann�eI
No TPTP formula. May not be expressible in strict first order.	Food.kif 128-151	Processus est une instance de DryRoasting entit� est une instance de nourriture entit� est un patient de processus entit� entit� entit� est une instance de r�chauffer entit� est une instance de Stirring entit� est un sous-processus de processus entit� est un sous-processus de processus temps d'existence de entit� prend place pendant temps d'existence de entit� entit� est un patient de entit� entit� est un patient de entit� entit� entit� entit� est une instance de Oil entit� est une instance de DrinkingWater entit� est un patient de processus entit� est un patient de processus pendant processus
No TPTP formula. May not be expressible in strict first order.	Food.kif 1706-1716	Objet est une instance de Meal Breakfast est un attribut de objet processus est une instance de manger objet est un patient de processus l'argument entit� temps d'existence de processus prend place pendant entit� entit� est une instance de BreakfastTime a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Food.kif 1793-1803	Objet est une instance de Meal Dinner est un attribut de objet processus est une instance de manger objet est un patient de processus l'argument entit� temps d'existence de processus prend place pendant entit� entit� est une instance de DinnerTime a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Food.kif 1776-1786	Objet est une instance de Meal Lunch est un attribut de objet processus est une instance de manger objet est un patient de processus l'argument entit� temps d'existence de processus prend place pendant entit� entit� est une instance de LunchTime a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Dining.kif 419-426	AutonomousAgent est une instance de NightClub standardRetailHours interval temporel and AutonomousAgent interval temporel interval temporel est une instance de interval temporel interval temporel prend place pendant NightTime
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3629-3638	newRegisteredUsers interval temporel, WebSite and collection physique est un membre de collection interval temporel interval temporel est une instance de interval temporel interval temporel prend place pendant interval temporel registeredUser physique and WebSite pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30243-30254	Entit� est une instance de AutonomousAgent Motionless est un attribut de entit� pendant interval temporel processus processus est une instance de d�palcement entit� est un patient de processus temps d'existence de processus prend place pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	Media.kif 258-262	observesHoliday agent cognitif and Holiday interval temporel est temps d'existence de agent cognitif Holiday prend place pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30760-30771	passenger transf�re and AutonomousAgent objet est une instance de Vehicle objet est un instrument pour transf�re processus temps d'existence de processus prend place pendant temps d'existence de transf�re processus est une instance de guider processus est un agent de AutonomousAgent objet est un instrument pour processus
No TPTP formula. May not be expressible in strict first order.	Cars.kif 751-768	physicalAmplitude Tremor and nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfLength entit� est un patient de Tremor physique physique, Tremor1, Tremor2 and nombre r�el2 Tremor1 prend place pendant temps d'existence de Tremor Tremor2 prend place pendant temps d'existence de Tremor entit� est situ� � physique pendant Tremor1 entit� est situ� � physique pendant Tremor2 la distance entre physique et physique est nombre r�el2 unit� de mesure(s) nombre r�el2 est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Cars.kif 737-749	physicalAmplitude Tremor and mesure de longueur entit� est un patient de Tremor physique physique, Tremor1 and Tremor2 Tremor1 prend place pendant temps d'existence de Tremor Tremor2 prend place pendant temps d'existence de Tremor entit� est situ� � physique pendant Tremor1 entit� est situ� � physique pendant Tremor2 la distance entre physique et physique est mesure de longueur
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3217-3229	Physique a un attribute Booting physique est une instance de Computer objet objet and transf�re objet est une instance de DigitalData objet est une instance de OperatingSystem transf�re est une instance de DataTransfer temps d'existence de transf�re prend place pendant temps d'existence de physique transf�re aboutit � physique objet est une partie de objet objectTransferred transf�re and objet
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 467-492	rentalPrice physique, function de quantit�, agent cognitif and PricingScheme function de quantit� est PerFn mesure de devise and la mesure de nombre r�el est unit� de mesure unit� de mesure est une instance de UnitOfDuration entit� est une instance imm�diate de physique processus est une instance de Renting entit� est un patient de processus processus est un agent de AutonomousAgent processus existe pendant nombre r�elINT interval temporel nombre r�el nombre r�elINT prend place pendant interval temporel interval temporel est une instance de interval temporel la dur�� de interval temporel est nombre r�el unit� de mesure(s) nombre r�el est plus petit ou �gal � nombre r�el financial transaction financial transaction est une instance de Payment financial transaction aboutit � agent cognitif financial transaction est un agent de AutonomousAgent transactionAmount financial transaction and mesure de devise
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 342-357	restingBreathingRate mammif�re and nombre entier objet est une instance de Lung objet est une partie de mammif�re interval temporel nombre entierEC nombre entierEC est une instance de r�cr�ation ou exercice nombre entierEC est un agent de mammif�re interval temporel prend place pendant temps d'existence de nombre entierEC interval temporel est une instance de minute breathingRate mammif�re, interval temporel and nombre entier
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 122-136	restingHeartRate mammif�re and nombre entier mammif�reEART est une instance de Heart mammif�reEART est une partie de mammif�re interval temporel nombre entierEC nombre entierEC est une instance de r�cr�ation ou exercice nombre entierEC est un agent de mammif�re interval temporel prend place pendant temps d'existence de nombre entierEC interval temporel est une instance de minute heartRate mammif�re, interval temporel and nombre entier
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30944-30959	shortage agent cognitif, objet, mesure de devise, interval temporel and quantit� quantit� est une instance de nombre entier agent cognitif desire entit� entit� entit� est une instance de acheter temps d'existence de entit� prend place pendant interval temporel objectTransferred entit� and entit� transactionAmount entit� and mesure de devise entit� est un agent de agent cognitif entit� est une instance de collection memberType entit� and objet memberCount entit� and quantit� agent cognitif poss�de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30911-30926	shortage AutonomousAgent, objet, mesure de devise, interval temporel and nombre entier nombre entier est une instance de nombre entier transf�re collection transf�re est une instance de acheter temps d'existence de transf�re prend place pendant interval temporel objectTransferred transf�re and collection transactionAmount transf�re and mesure de devise transf�re est un agent de AutonomousAgent collection est une instance de collection memberType collection and objet memberCount collection and nombre entier AutonomousAgent poss�de collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30961-30975	shortage agent cognitif, objet, mesure de devise, interval temporel and quantit� quantit� est une instance de quantit� physique agent cognitif desire entit� entit� entit� est une instance de acheter temps d'existence de entit� prend place pendant interval temporel objectTransferred entit� and entit� transactionAmount entit� and mesure de devise entit� est un agent de agent cognitif entit� est une instance de objet la mesure de entit� est quantit� agent cognitif poss�de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30928-30942	shortage AutonomousAgent, objet, mesure de devise, interval temporel and quantit� physique quantit� physique est une instance de quantit� physique transf�re objet transf�re est une instance de acheter temps d'existence de transf�re prend place pendant interval temporel objectTransferred transf�re and objet transactionAmount transf�re and mesure de devise transf�re est un agent de AutonomousAgent objet est une instance de objet la mesure de objet est quantit� physique AutonomousAgent poss�de objet
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2705-2722	visibilityInMeteorology r�gion, interval temporel and nombre r�el unit� de mesure(s) unit� de mesure est une instance de unit� de mesure processus AutonomousAgent, objet and nombre r�el processus est une instance de Looking processus est un agent de AutonomousAgent objet est un patient de processus AutonomousAgent est Horizontal � objet temps d'existence de processus prend place pendant interval temporel eventLocated processus and r�gion la distance entre AutonomousAgent et objet est nombre r�el unit� de mesure(s) nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10385-10397	breathingRate Lung, interval temporel and nombre entier collection processus collection est une instance de collection memberType collection and Breath memberCount collection and nombre entier processus est un membre de collection Lung est un patient de processus temps d'existence de processus prend place pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	Music.kif 1051-1055	Affrontement est ContestFn affrontementONTEST and interval temporel affrontement est une instance de affrontementONTEST temps d'existence de affrontement prend place pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2974-2986	grossMerchandiseBoughtInPeriod AutonomousAgent, organisation, mesure de devise and interval temporel valeur de physique est mesure de devise physique est une instance de la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2998-3010	grossMerchandiseSoldInPeriod AutonomousAgent, organisation, mesure de devise and interval temporel valeur de physique est mesure de devise physique est une instance de la classe d�crite par cha�ne sympbolique
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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