No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6505-6529	Processus est une instance de CheckingVitals processus est un agent de agent cognitif objet est un patient de processus Heart est une instance de Heart Heart est une partie de objet Lung est une instance de Lung Lung est une partie de objet systolicBloodPressure objet and entit� diastolicBloodPressure objet and entit� la mesure de objet est entit� FahrenheitDegree(s) pendant temps d'existence de processus heartRate Heart, temps d'existence de processus and nombre entier breathingRate Lung, temps d'existence de processus and nombre entier agent cognitif conna�t systolicBloodPressure objet and entit� diastolicBloodPressure objet and entit� la mesure de objet est entit� FahrenheitDegree(s) pendant temps d'existence de processus heartRate Heart, temps d'existence de processus and nombre entier breathingRate Lung, temps d'existence de processus and nombre entier
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4645-4658	Objet est une instance de CoffeeArabica la mesure de objet est nombre r�el Gram(s) objetC est une instance de Caffeine objetC est une partie de objet la mesure de objetC est nombre r�el Gram(s) nombre r�el est nombre r�el + nombre r�el nombre r�el est plus grand ou �gal � 0.008 nombre r�el est plus petit ou �gal � 0.014
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4669-4682	Objet est une instance de CoffeeRobusta la mesure de objet est nombre r�el Gram(s) objetC est une instance de Caffeine objetC est une partie de objet la mesure de objetC est nombre r�el Gram(s) nombre r�el est nombre r�el + nombre r�el nombre r�el est plus grand ou �gal � 0.017 nombre r�el est plus petit ou �gal � 0.04
No TPTP formula. May not be expressible in strict first order.	Food.kif 3124-3136	Objet est une instance de Cream objet est une partie de objet objet est une instance de ButterFat la mesure de objet est nombre r�el Gram(s) objet est une instance de Milk objet est une partie de objet objet est une instance de ButterFat la mesure de objet est nombre r�el Gram(s) nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Food.kif 1367-1385	Objet est une instance de FlatWhite substance est une partie de objet substance est une partie de objet substance est une instance de Espresso substance est une instance de MilkFoam mixtureRatio substance, substance, nombre r�el, nombre r�el and Liter objet en une partie est une partie de substance objet en une partie est une partie de substance le dessus de substance est objet en une partie objet en une partie est une instance de Bubble la mesure de objet en une partie est nombre r�el Millimeter(s) approximateValue nombre r�el and 0.03 approximateValue nombre r�el and 0.15 nombre r�el est plus grand ou �gal � 1.0 nombre r�el est plus petit ou �gal � 20.0
No TPTP formula. May not be expressible in strict first order.	Food.kif 1399-1415	Objet est une instance de Latte substance est une partie de objet substance est une partie de objet substance est une instance de Espresso substance est une instance de MilkFoam mixtureRatio substance, substance, nombre r�el, nombre r�el and Liter objet en une partie est une partie de substance objet en une partie est une instance de Bubble le dessus de substance est objet en une partie la mesure de objet en une partie est nombre r�el Millimeter(s) approximateValue nombre r�el and 0.03 approximateValue nombre r�el and 0.21 approximateValue nombre r�el and 12.0
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10054-10077	Objet est une instance de Antidiuretic d�palcement est une instance de ing�rer d�palcement est un agent de AutonomousAgent moves d�palcement and objet interval temporel est une instance de Urination entit� est le resultat de interval temporel interval temporel est un agent de AutonomousAgent interval temporel est une instance de Urination interval temporel est interval temporel entit� est le resultat de interval temporel interval temporel est un agent de AutonomousAgent interval temporel arrive plus t�t que d�palcement d�palcement arrive plus t�t que interval temporel unit� de mesure est une instance de UnitOfVolume la mesure de interval temporel est nombre r�el unit� de mesure(s) la mesure de interval temporel est nombre r�el unit� de mesure(s) l'argument nombre r�el est plus grand que nombre r�el a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10024-10045	Objet est une instance de Diuretic d�palcement est une instance de ing�rer d�palcement est un agent de AutonomousAgent moves d�palcement and objet interval temporel est une instance de Urination entit� est le resultat de interval temporel interval temporel est un agent de AutonomousAgent interval temporel est une instance de Urination entit� est le resultat de interval temporel interval temporel est un agent de AutonomousAgent interval temporel arrive plus t�t que d�palcement d�palcement arrive plus t�t que interval temporel unit� de mesure est une instance de UnitOfVolume la mesure de interval temporel est nombre r�el unit� de mesure(s) la mesure de interval temporel est nombre r�el unit� de mesure(s) l'argument nombre r�el est plus grand que nombre r�el a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7016-7030	Processus est une instance de Deposition entit� est un patient de processus la mesure de entit� est nombre r�el Joule(s) pendant immediatement avant temps d'existence de processus la mesure de entit� est nombre r�el Joule(s) pendant immediatement apr�s temps d'existence de processus nombre r�el est moins que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2817-2836	Objet est une instance de InternalCombustionEngine objet est une instance de CombustionChamber objet est une partie de objet entit� est une instance de Fuel entit� est une instance de UnitOfVolume objet contient entit� la mesure de entit� est entit� entit�(s) EngineFlooded est un attribut de objet pendant position temporel objet a pour but entit�2 entit� entit�2 est une instance de Fuel objet contient entit�2 la mesure de entit�2 est entit� entit�(s) entit� est plus grand ou �gal � entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1314-1348	Entit� est une instance de EngineChoke DeviceOn est un attribut de entit� pendant processus DeviceOff est un attribut de entit� pendant processus objet en une partie est une instance de EngineCylinder capacity objet en une partie and quantit� constante processus est une instance de FourStrokeCompression processus est une instance de FourStrokeCompression eventLocated processus and objet en une partie eventLocated processus and objet en une partie objet est une instance de Air objet est une instance de Fuel objet est une partie de quantit� constanteIX1 objet est une partie de quantit� constanteIX1 la mesure de quantit� constanteIX1 est quantit� constante objet est une instance de Air objet est une instance de Fuel objet est une partie de quantit� constanteIX2 objet est une partie de quantit� constanteIX2 la mesure de quantit� constanteIX2 est quantit� constante unit� de mesure est une instance de unit� de mesure la mesure de objet est objetM unit� de mesure(s) la mesure de objet est objetM unit� de mesure(s) la mesure de objet est objetM unit� de mesure(s) la mesure de objet est objetM unit� de mesure(s) objetM + objetM est plus grand que objetM + objetM
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13975-13988	Processus est une instance de Evaporating boilingPoint substance pure and nombre r�el unit� de mesure(s) objet est une instance de substance pure la mesure de objet est nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfTemperature objet est un patient de processus objet objet est une partie de objet nombre r�el est plus grand que nombre r�el Liquid est un attribut de objet pendant le d�but de temps d'existence de processus Gas est un attribut de objet pendant la fin de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Food.kif 1207-1216	Processus est une instance de FoamingMilk physique est un patient de processus physique est une instance de ProcessedMilk processus est une instance de r�chauffer processus est un sous-processus de processus la mesure de physique est nombre r�el CelsiusDegree(s) approximateValue nombre r�el and 70.0
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2992-2998	Entit� est une instance de Grease la mesure de entit� est 77 FahrenheitDegree(s) pendant position temporel Solid est un attribut de entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 519-530	Objet est une instance de humain objet est une instance de Rectum objet est une partie de objet coreBodyTemp objet and nombre r�el entit�(s) la mesure de objet est nombre r�el2 entit�(s) pendant position temporel approximateValue nombre r�el and nombre r�el2
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5915-5924	Humain est une instance de HumanAdult la mesure de humain est nombre r�el Pounds(s) bloodVolume humain and nombre r�el2 Liter(s) nombre r�el2 est nombre r�el + 0.07 + 2.33
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2336-2351	Processus est une instance de GravesDisease AutonomousAgent exp�rimente processus AutonomousAgent est une instance de humain objet est une instance de ThyroidHormone objet est une partie de AutonomousAgent la mesure de objet est nombre r�el unit� de mesure(s) objet est une instance de humain objet est une instance de ThyroidHormone objet est une partie de objet la mesure de objet est nombre r�el unit� de mesure(s) Healthy est un attribut de objet nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2382-2397	Processus est une instance de HashimotosThyroiditis AutonomousAgent exp�rimente processus AutonomousAgent est une instance de humain objet est une instance de ThyroidHormone objet est une partie de AutonomousAgent la mesure de objet est nombre r�el unit� de mesure(s) objet est une instance de humain objet est une instance de ThyroidHormone objet est une partie de objet la mesure de objet est nombre r�el unit� de mesure(s) Healthy est un attribut de objet nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3163-3173	Objet est une instance de IgnitionCoil processus est une instance de ElectricTransmission objet est une resource pour processus objet est une instance de Electricity entit� est une instance de Electricity entit� est le resultat de processus objet est un instrument pour processus la mesure de objet est nombre r�el Volt(s) approximateValue nombre r�el and 12
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8984-8988	Physique est une instance de Ice la mesure de physique est nombre r�el CelsiusDegree(s) nombre r�el est plus petit ou �gal � 0.0
No TPTP formula. May not be expressible in strict first order.	Food.kif 1248-1262	Objet est une instance de mixture unit� de mesure est une instance de unit� de mesure mixtureRatio substance, substance, nombre r�el, nombre r�el and unit� de mesure la mesure de objet est nombre r�el unit� de mesure(s) substance est une partie de objet substance est une partie de objet la mesure de substance est nombre r�el unit� de mesure(s) la mesure de substance est nombre r�el unit� de mesure(s) nombre r�el est nombre r�el + nombre r�el)
No TPTP formula. May not be expressible in strict first order.	Food.kif 2969-2986	Objet est une instance de OnePercentMilk la mesure de objet est nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfVolume objet nombre r�el2 objet est une instance de ButterFat objet est une partie de objet objet objet est une instance de ButterFat objet est objet objet est une partie de objet la mesure de objet est nombre r�el2 unit� de mesure(s) nombre r�el2 est nombre r�el
No TPTP formula. May not be expressible in strict first order.	Food.kif 2993-3011	Objet est une instance de SemiSkimmedMilk la mesure de objet est nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfVolume objet nombre r�el2 objet est une instance de ButterFat objet est une partie de objet objet objet est une instance de ButterFat objet est objet objet est une partie de objet la mesure de objet est nombre r�el2 unit� de mesure(s) nombre r�el2 est plus grand ou �gal � 0.015 + nombre r�el nombre r�el2 est plus petit ou �gal � 0.02 + nombre r�el
No TPTP formula. May not be expressible in strict first order.	Food.kif 3018-3036	Objet est une instance de SkimmedMilk la mesure de objet est nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfVolume objet nombre r�el2 objet est une instance de ButterFat objet est une partie de objet objet objet est une instance de ButterFat objet est objet objet est une partie de objet la mesure de objet est nombre r�el2 unit� de mesure(s) nombre r�el2 est plus grand ou �gal � 0.0 + nombre r�el nombre r�el2 est plus petit ou �gal � 0.005 + nombre r�el
No TPTP formula. May not be expressible in strict first order.	Food.kif 2945-2962	Objet est une instance de TwoPercentMilk la mesure de objet est nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfVolume objet nombre r�el2 objet est une instance de ButterFat objet est une partie de objet objet objet est une instance de ButterFat objet est objet objet est une partie de objet la mesure de objet est nombre r�el2 unit� de mesure(s) nombre r�el2 est nombre r�el
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