No TPTP formula. May not be expressible in strict first order.	Food.kif 3226-3247	Processus est une instance de CurdlingMilk physique est une instance de Milk physique est un patient de processus nombre r�el processus, entit� and entit� la mesure de physique est nombre r�el PHValue(s) processus est une instance de diminuer processus est un sous-processus de processus nombre r�el est un patient de processus nombre r�el est entit� pendant le d�but de temps d'existence de processus nombre r�el est entit� pendant la fin de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17111-17116	Processus est une instance de Catching processus est un agent de AutonomousAgent entit� est un patient de processus AutonomousAgent se saisit de entit� pendant la fin de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11678-11688	Processus est une instance de changement de possession processus a pour origine objet processus aboutit � entit� objet est une instance de AutonomousAgent entit� est une instance de AutonomousAgent entit� est un patient de processus objet poss�de entit� pendant le d�but de temps d'existence de processus entit� poss�de entit� pendant la fin de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12621-12632	Processus est une instance de changement interne entit� est un patient de processus entit� entit� est un attribut de entit� pendant le d�but de temps d'existence de processus entit� est un attribut de entit� pendant la fin de temps d'existence de processus entit� est un attribut de entit� pendant le d�but de temps d'existence de processus entit� est un attribut de entit� pendant la fin de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2438-2445	Processus est une instance de ClosingGraphicalWindow physique est un patient de processus physique est une instance de InterfaceWindow physique existe pendant le d�but de temps d'existence de physique physique n' existe %n{pas} pendant la fin de temps d'existence de physique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12658-12672	Processus est une instance de colorer objet est un patient de processus entit� objet objet est une partie de objet entit� est une instance de attribut de couleur entit� est un attribut de objet pendant le d�but de temps d'existence de processus entit� est un attribut de objet pendant la fin de temps d'existence de processus entit� est un attribut de objet pendant le d�but de temps d'existence de processus entit� 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.	Merge.kif 14001-14009	Processus est une instance de condenser objet est un patient de processus objet objet est une partie de objet Gas est un attribut de objet pendant le d�but de temps d'existence de processus Liquid 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.	Merge.kif 10983-10996	Processus est une instance de refroidir 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 moins que nombre r�el
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2597-2607	Interval temporel est une instance de CoveringGUIElement interval temporel est un agent de entit�_TOP entit�_BOTTOM est un patient de interval temporel entit�_TOP est une instance de GUIElement entit�_BOTTOM est une instance de GUIElement guiElementCoveredBy entit�_BOTTOM and entit�_TOP guiElementPartiallyCoveredBy entit�_BOTTOM and entit�_TOP pendant la fin de interval temporel
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2609-2617	Interval temporel est une instance de PartiallyCoveringGraphicalWindow interval temporel est un agent de entit�_TOP entit�_BOTTOM est un patient de interval temporel entit�_TOP est une instance de GUIElement entit�_BOTTOM est une instance de GUIElement guiElementPartiallyCoveredBy entit�_BOTTOM and entit�_TOP pendant la fin de interval temporel
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 20002-20014	Processus est une instance de Dismounting processus est un agent de AutonomousAgent entit� est un patient de processus AutonomousAgent est On � entit� pendant le d�but de temps d'existence de processus AutonomousAgent est On � entit� pendant la fin de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6997-7014	Processus est une instance de Deposition objet est un patient de processus objet objet est une partie de objet Gas est un attribut de objet pendant le d�but de temps d'existence de processus Solid est un attribut de objet pendant la fin de temps d'existence de processus Liquid est un attribut de objet pendant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2488-2501	Processus est une instance de Desertification eventLocated processus and objet entit� entit� entit� est une instance de ArableLand entit� est une instance de Desert objet recouvre entit� pendant le d�but de temps d'existence de processus objet recouvre entit� pendant la fin de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12430-12437	Processus est une instance de detacher entit� est un patient de processus entit� est un patient de processus entit� est connect� � entit� pendant le d�but de temps d'existence de processus entit� est connect� � entit� pendant la fin de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5502-5517	Processus est une instance de Dressing processus est un agent de AutonomousAgent entit� est un patient de processus entit� est une instance de v�tement AutonomousAgent ne porte %n{pas} entit� pendant le d�but de temps d'existence de processus AutonomousAgent porte entit� pendant la fin de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18098-18105	Processus est une instance de Drilling entit� est un patient de processus entit� entit� est un trou dans entit� pendant le d�but de temps d'existence de processus entit� est un trou dans entit� pendant la fin de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12799-12804	Processus est une instance de s�cher entit� est un patient de processus Dry est un attribut de entit� pendant la fin de temps d'existence de processus
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.	Economy.kif 2447-2454	Processus est une instance de Exporting entit� est un patient de processus entit� est une instance de secteur g�opolitique processus aboutit � entit� entit� est situ� � entit� pendant la fin de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2421-2430	Processus est une instance de Exporting entit� est un patient de processus entit� est une instance de secteur g�opolitique entit� est situ� � entit� pendant le d�but de temps d'existence de processus entit� est situ� � entit� pendant la fin de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2432-2445	Processus est une instance de Exporting entit� est un patient de processus secteur g�opolitique est une instance de secteur g�opolitique entit� est situ� � secteur g�opolitique pendant le d�but de temps d'existence de processus secteur g�opolitique secteur g�opolitique est une instance de secteur g�opolitique sous-division g�opolitique sous-division g�opolitique entit� est situ� � secteur g�opolitique 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 191-200	Processus est une instance de FourStrokeCompression objet est une instance de EngineCylinder trou est une instance de InternalCombustionChamber objet est h�te du trou trou eventLocated processus and objet Pressurized est un attribut de trou pendant la fin de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10762-10770	Processus est une instance de renvoyer AutonomousAgent est une instance de organisation processus est un agent de AutonomousAgent entit� est un patient de processus AutonomousAgent emploie entit� pendant le d�but de temps d'existence de processus AutonomousAgent n' emploie %n{pas} entit� pendant la fin de temps d'existence de processus
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