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.	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.	MilitaryDevices.kif 1379-1389	Objet est une instance de AbsoluteFilter processus est une instance de supprimer processus a pour origine objet objet est une instance de GasMixture objet est un patient de processus Solid est un attribut de objet objet est un instrument pour processus objet est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 643-661	Processus est une instance de FlashingLight processus a pour origine objet processus interval temporel and processus processus est une instance de lumi�re irradiante interval temporel est une instance de interval temporel processus est une instance de lumi�re irradiante temps d'existence de processus rencontre interval temporel interval temporel rencontre temps d'existence de processus interval temporel interval temporel est une instance de lumi�re irradiante interval temporel a pour origine objet temps d'existence de interval temporel prend place pendant interval temporel processus est un sous-processus de processus processus est un sous-processus de processus
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.	Mid-level-ontology.kif 18620-18638	Processus est une instance de Inheriting processus est un agent de agent cognitif processus a pour origine AutonomousAgent entit� est un patient de processus processus processus est une instance de mort AutonomousAgent exp�rimente processus temps d'existence de processus arrive plus t�t que temps d'existence de processus AutonomousAgent poss�de entit� pendant immediatement avant temps d'existence de processus AutonomousAgent autorise agent cognitif � ex�cut� des t�ches du type agent cognitif poss�de entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11058-11063	D�palcement est une instance de d�palcement moves d�palcement and objet d�palcement a pour origine objet objet est situ� � objet pendant le d�but de temps d'existence de d�palcement
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11580-11589	Processus est une instance de Translocation processus a pour origine objet objet processus objet est une instance de r�gion objet est objet processus est un sous-processus de processus processus est situ� � objet
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.	Mid-level-ontology.kif 17637-17655	Interval temporel est une instance de Pulling interval temporel a pour origine objet interval temporel est un agent de AutonomousAgent AutonomousAgent est situ� � AutonomousAgentLOC pendant le d�but de interval temporel interval temporel aboutit � entit� entit� entit� and entit� la distance entre AutonomousAgentLOC et entit� est entit� entit�(s) la distance entre AutonomousAgentLOC et objet est entit� entit�(s) entit� est plus grand que entit� pendant immediatement apr�s le d�but de interval temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17615-17633	Interval temporel est une instance de Pushing interval temporel a pour origine objet interval temporel est un agent de AutonomousAgent AutonomousAgent est situ� � AutonomousAgentLOC pendant le d�but de interval temporel interval temporel aboutit � entit� entit� entit� and entit� la distance entre AutonomousAgentLOC et entit� est entit� entit�(s) la distance entre AutonomousAgentLOC et objet est entit� entit�(s) entit� est plus grand que entit� pendant immediatement apr�s le d�but de interval temporel
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 408-424	Financial transaction est une instance de Payment financial transaction a pour origine CurrencyFn FinancialAccount FinancialAccount est une instance de 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 temps d'existence de financial transaction and nombre r�el unit� de mesure(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11406-11413	Processus est une instance de supprimer processus a pour origine objet entit� est un patient de processus entit� est situ� � objet pendant le d�but de temps d'existence de processus entit� est situ� � objet pendant la fin de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1883-1900	Processus est une instance de Repayment processus_DESTINATION est une instance de objet processus aboutit � processus_DESTINATION processus_ORIGIN est une instance de objet processus a pour origine processus_ORIGIN processus processus_ORIGIN and processus_DESTINATION processus est une instance de Payment processus_ORIGIN est une instance de objet processus_DESTINATION est une instance de objet processus est processus processus aboutit � processus_DESTINATION processus a pour origine processus_ORIGIN processus_ORIGIN est processus_DESTINATION processus_DESTINATION est processus_ORIGIN
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18700-18711	Processus est une instance de SeizingProperty processus aboutit � entit� processus a pour origine objet objet est une instance de agent cognitif entit� est une instance de gouvernement confersNorm objet, processus n' %n aboutit %n{pas} � entit� and Permission
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18585-18593	Processus est une instance de Stealing processus aboutit � agent cognitif processus a pour origine objet objet est une instance de agent cognitif objet n' autorise %n{pas} agent cognitif � ex�cut� des t�ches du type processus aboutit � agent cognitif
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 326-334	Objet corpusculaire est une instance de HardwareSystem objet corpusculaire est un composant de objet corpusculaire processus est une instance de DataTransfer processus a pour origine objet corpusculaire objet corpusculaire est une instance de ComputerNetwork objet corpusculaire est un instrument pour processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11327-11350	Processus est une instance de Translocation processus est une instance de Translocation processus a pour origine objet processus a pour origine objet processus aboutit � objet processus aboutit � entit� AutonomousAgent exp�rimente processus AutonomousAgent exp�rimente processus processus processus est une instance de Translocation processus a pour origine objet processus aboutit � entit� processus est un sous-processus de processus processus est un sous-processus de processus AutonomousAgent exp�rimente processus temps d'existence de processus commence temps d'existence de processus temps d'existence de processus finit temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Weather.kif 623-642	Processus est une instance de TropicalCyclonicSystem processus a pour origine objet objet est une instance de NorthAtlanticOcean objet est une instance de PacificOcean objet est une instance de IndianOcean objet attribut directionnel, nombre r�el and Longitude objet est situ� � objet attribut directionnel est une instance de attribut directionnel objectGeographicCoordinates objet, LatitudeFn attribut directionnel and nombre r�el AngularDegree(s) and Longitude attribut directionnel est North attribut directionnel est South nombre r�el est moins que 5.0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16006-16012	Objet est une instance de Vehicle processus est une instance de Translocation objet est un instrument pour processus processus a pour origine objet objet est situ� � objet pendant le d�but de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3838-3852	Financial transaction est une instance de financial transaction financial transaction a pour origine CurrencyFn FinancialAccount transactionAmount financial transaction and nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfCurrency entit� est une instance de Currency entit� est un patient de financial transaction la date de financial transaction est jour nombre r�el availableCash FinancialAccount, jour and nombre r�el unit� de mesure(s) nombre r�el est plus grand ou �gal � nombre r�el
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3815-3827	Financial transaction est une instance de financial transaction financial transaction a pour origine FinancialAccount transactionAmount financial transaction and nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfCurrency la date de financial transaction est jour nombre r�el availableBalance FinancialAccount, jour and nombre r�el unit� de mesure(s) nombre r�el est plus grand ou �gal � nombre r�el
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4143-4150	Processus est une instance de ExternalTransfer processus a pour origine objet objet est une instance de FinancialOrganization processus aboutit � entit� entit� est une instance de FinancialOrganization objet est entit�
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4129-4136	Processus est une instance de ExternalTransfer processus a pour origine objet objet est une instance de FinancialOrganization processus aboutit � entit� entit� est une instance de FinancialOrganization objet est entit�
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