No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 436-453	Financial transaction est une instance de Deposit FinancialAccount est une instance de FinancialAccount financial transaction aboutit � CurrencyFn FinancialAccount transactionAmount financial transaction and nombre r�el unit� de mesure(s) currentAccountBalance FinancialAccount, immediatement avant temps d'existence de financial transaction and nombre r�el unit� de mesure(s) nombre r�el est nombre r�el + nombre r�el) currentAccountBalance FinancialAccount, immediatement apr�s apr�s financial transaction and nombre r�el unit� de mesure(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18048-18052	Processus est une instance de Entombing processus aboutit � entit� entit� est une instance de Tomb
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1723-1739	Objet corpusculaire est une instance de Exhaust Fuel est fait de objet corpusculaire transf�re est une instance de transf�re objet corpusculaire NG est une instance de Engine transf�re a pour origine objet corpusculaire NG physique est une instance de CatalyticConverter transf�re aboutit � physique objectTransferred transf�re and objet corpusculaire physique a pour but entit� entit� est une instance de combustion physique est un instrument pour entit� objet corpusculaire est un patient de entit� eventLocated entit� and physique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1807-1811	Processus est une instance de RadioEmission processus aboutit � entit� entit� est une instance de ReceiverDevice
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2501-2511	Processus est une instance de Evacuation processus a pour origine objet processus aboutit � entit� processus processus est une instance de Translocation processus est un sous-processus de processus processus aboutit � entit� processus a pour origine objet
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 2468-2476	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 une instance de secteur g�opolitique processus aboutit � entit� objet est entit�
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2478-2486	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 physique est une instance de secteur g�opolitique processus aboutit � physique physique est situ� � objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11581-11585	Processus est une instance de Feeding processus aboutit � entit� entit� est une instance de animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7230-7239	Processus est une instance de Scholarship processus aboutit � entit� processus a pour but entit� entit� entit� est une instance de EducationalProgram entit� exprime le contenu de entit� entit� exp�rimente entit�
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5561-5570	Plan d'eau est une instance de Waterfall WaterMotion est une instance de WaterMotion flowCurrent WaterMotion and plan d'eau WaterMotion a pour origine objet WaterMotion aboutit � objet objet est une instance de plan d'eau objet est une instance de plan d'eau objet est Above � objet
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1070-1090	Objet est une instance de FuelPump objet est une instance de Automobile objet est une partie de objet d�palcement est une instance de transporter processus est une instance de Fuel processus est un patient de d�palcement objet est un instrument pour processus objet est une instance de GasTank objet est une partie de objet objet est une instance de EngineCylinder objet est une partie de objet d�palcement a pour origine objet d�palcement aboutit � objet objet est le chemin le long duquel d�palcement se produit d�palcement a pour but processusF processusF est une instance de FuelFilter betweenOnPath objet, processusF, objet and objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11695-11707	Processus est une instance de donner processus est un agent de AutonomousAgent processus aboutit � AutonomousAgent AutonomousAgent est une instance de AutonomousAgent entit� est un patient de processus processus processus est une instance de obtenir processus est un agent de AutonomousAgent processus a pour origine AutonomousAgent entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	TransnationalIssues.kif 88-99	Transf�re est une instance de ing�rer objectTransferred transf�re and objet objet est une instance de Hallucinogen transf�re aboutit � entit� l'argument objetAL objetAL est une instance de Hallucination entit� exp�rimente objetAL a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3628-3644	Transf�re est une instance de Injecting objet est une instance de Adalimumab objectTransferred transf�re and objet transf�re est situ� � objet objet est une instance de partie du corps transf�re aboutit � entit� l'argument entit� PainFn objet est un attribut de entit� pendant entit� entit� prend place pendant apr�s temps d'existence de transf�re a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3593-3601	ComputerProcess est une instance de SoftwareInstallation dataProcessed ComputerProcess and DigitalData DigitalData est une instance de programme d'ordinateur ComputerProcess aboutit � entit� ComputerProcess a pour but DigitalDataROC computerRunning DigitalDataROC and entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11446-11453	Processus est une instance de Inserting entit� est un patient de processus processus aboutit � entit� entit� ne contient %n{pas} entit� pendant le d�but de temps d'existence de processus entit� contient 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 1332-1355	Objet est une instance de Lever processus est une instance de Pushing physique est une instance de d�palcement unit� de mesure est une instance de UnitOfLength processus aboutit � objet physicalEnd objet and objet physicalEnd objet and objet objet est objet objet est situ� � processus1 pendant immediatement avant temps d'existence de physique objet est situ� � processus2 pendant immediatement apr�s temps d'existence de physique objet est situ� � processus3 pendant immediatement avant temps d'existence de physique objet est situ� � processus4 pendant immediatement apr�s temps d'existence de physique la distance entre processus1 et processus2 est nombre r�el unit� de mesure(s) la distance entre processus3 et processus4 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 1378-1382	Processus est une instance de LoadingWeapon processus aboutit � entit� entit� est une instance de ProjectileLauncher
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11766-11777	Processus est une instance de pr�ter processus est un agent de AutonomousAgent processus aboutit � AutonomousAgent entit� est un patient de processus processus processus est une instance de emprunter processus est un agent de AutonomousAgent processus a pour origine AutonomousAgent entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11074-11079	D�palcement est une instance de d�palcement moves d�palcement and objet d�palcement aboutit � entit� objet est situ� � entit� pendant la fin de temps d'existence de d�palcement
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1385-1391	Processus est une instance de MovingAwayFromPeople processus a pour origine objet processus aboutit � entit� objet est entit�
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1419-1425	Processus est une instance de MovingTowardsPeople processus a pour origine objet processus aboutit � entit� objet est entit�
No TPTP formula. May not be expressible in strict first order.	Dining.kif 437-441	Processus est une instance de BankCardPayment processus aboutit � objet objet est capable de faire BankCardPayment dans le r�le destination
No TPTP formula. May not be expressible in strict first order.	Dining.kif 610-627	Processus est une instance de FoodPickup processus est un agent de AutonomousAgent processus aboutit � AutonomousAgent entit� est un patient de processus entit� est une instance de FoodForFn humain objet processus and processus AutonomousAgent est situ� � objet processus est une instance de Translocation processus est un agent de AutonomousAgent processus aboutit � objet processus est une instance de obtenir processus a pour origine AutonomousAgent processus aboutit � AutonomousAgent entit� est un patient 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