No TPTP formula. May not be expressible in strict first order.	Merge.kif 13955-13963	Processus est une instance de �vaporer objet est un patient de processus objet objet est une partie de objet 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 23767-23778	Processus est une instance de CausingHappiness entit� est un patient de processus bonheur est un attribut de entit� pendant le d�but de temps d'existence de processus bonheur 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.	Mid-level-ontology.kif 23788-23799	Processus est une instance de CausingUnhappiness entit� est un patient de processus Unhappiness est un attribut de entit� pendant le d�but de temps d'existence de processus Unhappiness 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.	Food.kif 3076-3094	Processus est une instance de ChurningButter entit� est une instance de Emulsion entit� est un patient de processus entit� entit� entit� est entit� entit� est une instance de Milk pendant le d�but de temps d'existence de processus entit� est entit� entit� est une instance de Butter pendant la fin de temps d'existence de processus
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.	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.	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.	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.	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 2412-2419	Processus est une instance de Exporting entit� est un patient de processus objet est une instance de secteur g�opolitique processus a pour origine objet entit� est situ� � objet pendant le d�but 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.	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
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 944-955	Processus est une instance de Flying entit� est un patient de processus entit� est une instance de AirLaunchMissile entit� entit� est une instance de AtmosphericRegion entit� est situ� � entit� pendant le d�but de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14022-14030	Processus est une instance de congeler objet est un patient de processus objet objet est une partie de objet Liquid 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
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