No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17170-17190	Processus est une instance de Decelerating processus est un agent de AutonomousAgent nombre r�el nombre r�el, nombre r�el, nombre r�el, entit� and entit� la mesure de AutonomousAgent est nombre r�el entit�(s) par nombre r�el entit�(s) pendant le d�but de temps d'existence de processus la mesure de AutonomousAgent est nombre r�el entit�(s) par nombre r�el entit�(s) pendant la fin de temps d'existence de processus nombre r�el est plus grand que nombre r�el 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 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 4401-4405	Objet en une partie est une instance de Dune la hauteur de objet en une partie est nombre r�el Centimeter(s) objet en une partie est plus grand que 7.0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10921-10934	Processus est une instance de augmenter entit� est un patient de processus nombre r�el nombre r�el, interval temporel, interval temporel and entit� interval temporel arrive plus t�t que interval temporel la mesure de entit� est nombre r�el entit�(s) pendant interval temporel la mesure de entit� est nombre r�el entit�(s) pendant interval temporel nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1271-1292	Processus est une instance de DustStorm processus est une instance de Wind processus est un sous-processus de processus transf�re objet, objet, objet, objet and nombre r�el objet est une instance de zone de terre eventLocated processus and objet surfaceWindSpeed objet and nombre r�el KnotUnitOfSpeed(s) nombre r�el est plus grand que 30.0 transf�re est une instance de Translocation transf�re est un sous-processus de processus objectTransferred transf�re and objet objectTransferred transf�re and objet objet est une instance de ParticulateMatter objet est une instance de Sand objet est une instance de zone de terre transf�re aboutit � objet objet ne recouvre %n{pas} objet
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3234-3250	Processus est une instance de Downtick physique est un patient de processus temps d'existence de processus est AutonomousAgent unit� de mesure est une instance de UnitOfCurrency price physique, nombre r�el unit� de mesure(s) and AutonomousAgent processus AutonomousAgent and nombre r�el processus est une instance de StockMarketTransaction physique est un patient de processus temps d'existence de processus est AutonomousAgent AutonomousAgent rencontre AutonomousAgent price physique, nombre r�el unit� de mesure(s) and AutonomousAgent nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Cars.kif 777-792	Processus est une instance de d�palcement processus est une instance de Tremor objet est une instance de Damper objet est un patient de processus objet est une partie de objet processus cause processus entit� est une instance de UnitOfLength physicalAmplitude processus and nombre r�el entit�(s) pendant temps d'existence de processus physicalAmplitude processus and nombre r�el entit�(s) pendant immediatement apr�s processus nombre r�el est plus grand que nombre r�el
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.	Cars.kif 1904-1923	Processus est une instance de EngineCycle objet est une instance de InternalCombustionEngine objet est une instance de CombustionChamber objet est une partie de objet eventLocated processus and objet entit� est une instance de UnitOfVolume maxCylinderVolume objet and nombre r�el entit�(s) pendant temps d'existence de processus nombre r�el interval temporel interval temporel prend place pendant temps d'existence de processus la mesure de objet est nombre r�el entit�(s) pendant interval temporel nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1874-1893	Processus est une instance de EngineCycle objet est une instance de InternalCombustionEngine objet est une instance de CombustionChamber objet est une partie de objet eventLocated processus and objet entit� est une instance de UnitOfVolume minCylinderVolume objet and nombre r�el entit�(s) pendant temps d'existence de processus nombre r�el interval temporel interval temporel prend place pendant temps d'existence de processus la mesure de objet est nombre r�el entit�(s) pendant interval temporel nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1949-1971	Processus est une instance de EngineCycle Engine est une instance de InternalCombustionEngine objet est une instance de Piston unit� de mesure est une instance de UnitOfLength objet est une partie de Engine objet est un patient de processus eventLocated processus and Engine pistonStroke Engine and nombre r�el unit� de mesure(s) interval temporel interval temporel, physique, physique and nombre r�el interval temporel prend place pendant temps d'existence de processus interval temporel prend place pendant temps d'existence de processus objet est situ� � physique pendant interval temporel objet est situ� � physique pendant interval temporel la distance entre physique et physique 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.	Cars.kif 2936-2954	Composant d'un appareil est une instance de EngineGovernor composant d'un appareil est une instance de Engine composant d'un appareil est connect� � composant d'un appareil governorSpeed composant d'un appareil and nombre r�el MilesPerHour(s) composant d'un appareil a pour but entit� entit� and entit� entit� est une instance de appareil entit� est une partie de composant d'un appareil entit� est une instance de Rotating la mesure de entit� est entit� MilesPerHour(s) entit� est plus grand que nombre r�el pendant temps d'existence de entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2963-2979	Composant d'un appareil est une instance de EngineGovernor composant d'un appareil est une instance de Vehicle composant d'un appareil est connect� � composant d'un appareil governorSpeed SpeedGovernor and nombre r�el MilesPerHour(s) composant d'un appareil a pour but entit� entit� entit� est une instance de Translocation la mesure de composant d'un appareil est entit� MilesPerHour(s) entit� est plus grand que nombre r�el pendant temps d'existence de entit�
No TPTP formula. May not be expressible in strict first order.	Government.kif 1893-1900	Election est une instance de PopularElection electionWinner Election, r�le social and AutonomousAgent voteFractionReceived Election, r�le social, AutonomousAgent and nombre r�el voteFractionReceived Election, r�le social, AutonomousAgent and nombre r�el AutonomousAgent est AutonomousAgent nombre r�el est plus grand que nombre r�el
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.	Mid-level-ontology.kif 17584-17599	Processus est une instance de Flooding eventLocated processus and objet nombre r�el nombre r�el and entit� entit� est une instance de UnitOfLength waterDepth objet and nombre r�el entit�(s) pendant le d�but de temps d'existence de processus waterDepth objet and nombre r�el entit�(s) pendant la fin de temps d'existence de processus nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2915-2927	Composant d'un appareil est une instance de SpeedGovernor governorSpeed composant d'un appareil and nombre r�el MilesPerHour(s) composant d'un appareil est connect� � composant d'un appareil composant d'un appareil a pour but nombre r�elP2 la mesure de composant d'un appareil est nombre r�elP2 MilesPerHour(s) nombre r�elP2 est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6160-6168	Objet est une instance de humain Fever est un attribut de objet nombre r�el la mesure de objet est nombre r�el FahrenheitDegree(s) nombre r�el est plus grand que 98.6
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 686-694	Entit� est une instance de humain Hyperthermia est un attribut de position temporel coreBodyTemp entit� and nombre r�el CelsiusDegree(s) pendant position temporel nombre r�el est plus grand que 38.3
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2439-2453	Processus est une instance de Hurricane entit� est une instance de SSHWS5 eventLocated processus and objet agent cognitif croit processus a un attribute entit� nombre r�el nombre r�el est plus grand que 157.0 agent cognitif croit nombre r�el MilesPerHour(s) est Mean1MinuteWindSpeedFn objet and temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2562-2576	Processus est une instance de AtmosphericHazing eventLocated processus and r�gion r�gion est une instance de secteur g�ographique objet est une instance de AtmosphericRegion objet est Above � r�gion locatedAtTime objet, temps d'existence de processus and objet visibilityInMeteorology r�gion, temps d'existence de processus and nombre r�el Kilometer(s) nombre r�el est plus grand que 2.0 nombre r�el est moins que 5.0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10942-10955	Processus est une instance de r�chauffer entit� est un patient de processus entit� nombre r�el and nombre r�el entit� est une instance de mesure de temperature entit� entit�(s) est nombre r�el pendant le d�but de temps d'existence de processus entit� entit�(s) est nombre r�el pendant la fin de temps d'existence de processus 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 16446-16458	Processus est une instance de Insomnia agent cognitif exp�rimente processus processus dur�e temporel and dur�e temporel2 processus est une instance de Sleeping agent cognitif exp�rimente processus la dur�� de temps d'existence de processus est dur�e temporel agent cognitif desire la dur�� de temps d'existence de processus est dur�e temporel2 dur�e temporel2 est plus grand que dur�e temporel
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
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