No TPTP formula. May not be expressible in strict first order.	Merge.kif 11753-11764	Processus est une instance de emprunter processus est un agent de AutonomousAgent processus a pour origine AutonomousAgent entit� est un patient de processus processus processus est une instance de pr�ter processus est un agent de AutonomousAgent processus aboutit � AutonomousAgent entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11917-11921	Processus est une instance de acheter processus est un agent de AutonomousAgent processus aboutit � AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11927-11938	Processus est une instance de acheter processus est un agent de AutonomousAgent processus a pour origine AutonomousAgent entit� est un patient de processus processus processus est une instance de vendre processus est un agent de AutonomousAgent processus aboutit � AutonomousAgent entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2270-2278	Bond est une instance de Bond couponInterest Bond and Interest BondHolder poss�de Bond dur�e temporel processus periodicPayment AccountFn Bond, Interest and dur�e temporel processus aboutit � BondHolder
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2333-2355	FinancialAsset est une instance de ZeroCouponBond maturityDate AccountFn FinancialAsset and jour FinancialAssetHolder poss�de FinancialAsset principalAmount AccountFn FinancialAsset and nombre r�el unit� de mesure(s) agreementPeriod AccountFn FinancialAsset and interval temporel interestEarned AccountFn FinancialAsset, nombre r�el unit� de mesure(s) and interval temporel nombre r�el est nombre r�el + nombre r�el) financial transaction financial transaction est une instance de Payment financial transaction aboutit � FinancialAssetHolder financial transaction a pour origine AccountFn FinancialAsset transactionAmount financial transaction and nombre r�el unit� de mesure(s)
No TPTP formula. May not be expressible in strict first order.	Military.kif 108-122	Collection est une instance de Convoy AutonomousAgent est un membre de collection AutonomousAgent est un membre de collection AutonomousAgent est AutonomousAgent processus processus and entit� processus est une instance de transporter processus est une instance de transporter processus est un agent de AutonomousAgent processus est un agent de AutonomousAgent processus aboutit � entit� processus aboutit � entit�
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1087-1099	FinancialAccount est une instance de CertificateOfDeposit maturityDate FinancialAccount and jour processus est une instance de Withdrawal processus a pour origine CurrencyFn FinancialAccount la date de processus est jour la fin de jour se produit avant le d�but de jour processus processus est une instance de Penalty processus aboutit � CurrencyFn FinancialAccount processus cause processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23582-23588	Processus est une instance de conduire processus est un sous-processus de processus processus est une instance de transporter processus aboutit � entit� processus aboutit � entit�
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 340-351	Processus est une instance de DepositingACheck Check est un patient de processus Check est une instance de Check checkAccount Check and FinancialAccount valeur de Check est mesure de devise financial transaction financial transaction est une instance de Deposit financial transaction aboutit � CurrencyFn FinancialAccount transactionAmount financial transaction and mesure de devise
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9963-9975	Processus est une instance de Edema AutonomousAgent exp�rimente processus d�palcement objet and objet d�palcement est une instance de transf�re objet est une instance de Liquid objet est une instance de partie du corps objet est une partie de AutonomousAgent d�palcement aboutit � objet moves d�palcement and objet d�palcement est un sous-processus de processus
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2554-2569	Processus est une instance de Evacuation processus a pour origine objet processus est un agent de organisation processus processusA processus est une instance de transporter processus aboutit � objet processusA est une partie de l'organization organisation processusA est un membre de organisation processusA est organisation processus est un agent de processusA processusA est un patient de processus
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.	Food.kif 425-435	Substance est une instance de nourriture DecafAttribute est un attribut de substance substance est une pi�ce de substance substance est une instance de Caffeine processus processus est une instance de supprimer processus aboutit � substance substance est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Cars.kif 171-184	Processus est une instance de FourStrokeIntake objet est une instance de EngineCylinder trou est une instance de InternalCombustionChamber objet est h�te du trou trou eventLocated processus and objet processusV processus processus est une instance de GasMotion processusV est une instance de FuelVapor processus est un sous-processus de processus processus aboutit � trou processusV est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1051-1068	Objet est une instance de FuelPump objet est une instance de Automobile objet est une partie de objet processus est une instance de transporter processus est une instance de Fuel processus est un patient de processus objet est un instrument pour processus objet a pour but entit� entit� entit� est une instance de GasTank entit� est une partie de objet entit� est une instance de EngineCylinder entit� est une partie de objet processus a pour origine entit� processus aboutit � entit�
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1916-1929	Processus est une instance de GERefluxDisease AutonomousAgent exp�rimente processus processus objet and objet processus est une instance de transf�re processus a pour origine objet objet est une instance de Stomach objet est une instance de Esophagus processus aboutit � objet objet est une partie de AutonomousAgent objet est une partie de AutonomousAgent processus est un sous-processus de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11803-11807	Processus est une instance de obtenir processus est un agent de AutonomousAgent processus aboutit � AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25092-25113	TelecomNumber est une instance de Hotline telephoneNumber TelecomNumber and AutonomousAgent AutonomousAgent est une instance de organisation TelecomNumber a pour but entit� entit� est une instance de Telephoning entit� aboutit � AutonomousAgent l'argument entit� entit� est une instance de communication TelecomNumber est un instrument pour entit� le d�but de temps d'existence de entit� est d�but de immediatement apr�s temps d'existence de entit� a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11367-11384	Physique est une instance de HeartAttack objet est une instance de Heart physique est situ� � objet objet objet est une instance de muscle objet est une partie de objet interval temporel objet interval temporel est une instance de LiquidMotion objectTransferred interval temporel and objet objet est une instance de sang interval temporel prend place pendant temps d'existence de physique interval temporel aboutit � objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11914-11931	Physique est une instance de Stroke objet est une instance de Brain physique est situ� � objet objet objet est une instance de NerveCell objet est une partie de objet interval temporel objet interval temporel est une instance de LiquidMotion objectTransferred interval temporel and objet objet est une instance de sang interval temporel prend place pendant temps d'existence de physique interval temporel aboutit � objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17351-17367	Processus est une instance de Immigrating processus est un agent de AutonomousAgent secteur g�opolitique secteur g�opolitique secteur g�opolitique est une instance de nation secteur g�opolitique est une instance de nation processus a pour origine secteur g�opolitique processus aboutit � secteur g�opolitique secteur g�opolitique est secteur g�opolitique AutonomousAgent est un membre de CitizenryFn secteur g�opolitique AutonomousAgent est un membre de CitizenryFn secteur g�opolitique processus a pour but AutonomousAgent vie � secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4135-4145	Transf�re est une instance de Intubation objet est une instance de Tube objectTransferred transf�re and objet AutonomousAgent exp�rimente transf�re objetH objetH est une instance de Trachea objetH est une partie de AutonomousAgent transf�re aboutit � objetH
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1179-1187	Processus est une instance de IntraosseousInfusion objet est un patient de processus objet objet est une instance de BoneMarrow processus aboutit � objet objet est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4105-4117	Objet est une instance de InvasiveVentilator processus est une instance de respirer AutonomousAgent exp�rimente processus objet est un instrument pour processus processus processus est une instance de Intubation processus aboutit � AutonomousAgent temps d'existence de processus arrive plus t�t que 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