No TPTP formula. May not be expressible in strict first order.	Geography.kif 378-380	La mesure de physique est nombre r�el AngularDegree(s) la mesure de physique est 60.0 + nombre r�el ArcMinute(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 397-399	La mesure de physique est nombre r�el ArcMinute(s) la mesure de physique est 60.0 + nombre r�el ArcSecond(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13325-13330	La mesure de physique est nombre r�el OunceMass(s) la mesure de physique est nombre r�el + 16.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2548-2551	La mesure de solution est nombre r�el PHValue(s) potentialOfHydrogen solution and nombre r�el
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1129-1137	sectorValueOfGDPInPeriod secteur g�opolitique, IndustryAttribute, nombre r�el unit� de mesure(s) and interval temporel position temporel position temporel est une instance de interval temporel sectorValueOfGDP secteur g�opolitique, IndustryAttribute and nombre r�el unit� de mesure(s) pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7596-7611	amount substance, objet corpusculaire and nombre r�el UnitOfMass(s) substanceI est une instance de substance la mesure de substanceI est nombre r�el2 UnitOfMass(s) substanceI est une partie de objet corpusculaire liste nombre r�el2 UnitOfMass(s) est un membre de liste liste est AmountsFn substance, objet corpusculaire and UnitOfMass nombre r�el est ListSumFn liste
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17947-17958	approximateDiameter objet en une partie and nombre r�el nombre r�elM(s) sphereRadius objet and nombre r�el + 2.0 nombre r�elM(s) la mesure de objet est nombre r�el unit� de mesure(s) la mesure de objet en une partie est nombre r�el unit� de mesure(s) nombre r�elM est une instance de UnitOfLength unit� de mesure est une instance de UnitOfVolume nombre r�el est nombre r�el
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2080-2090	arableLandArea secteur g�ographique and nombre r�el unit� de mesure(s) nombre r�el est plus grand ou �gal � 0.0 totalArea secteur g�ographique and nombre r�el unit� de mesure(s) nombre r�el est une instance de mesure d'aire nombre r�el est nombre r�el + nombre r�el arableLandArea secteur g�ographique and nombre r�el unit� de mesure(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2092-2106	arableLandArea secteur g�ographique and nombre r�el unit� de mesure(s) nombre r�el est plus grand ou �gal � 0.0 totalArea secteur g�ographique and nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfArea secteur g�ographique secteur g�ographique est une instance de ArableLand geographicSubregion secteur g�ographique and secteur g�ographique la mesure de secteur g�ographique est nombre r�el + nombre r�el unit� de mesure(s)
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1165-1176	FamilyStylePortion est un attribut de objet la mesure de objet est nombre r�el unit� de mesure(s) FamilyStylePortion est un attribut de objet la mesure de objet est nombre r�el unit� de mesure(s) objet est une instance de classe objet est une instance de classe unit� de mesure est une instance de unit� de mesure nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 172-187	Anemia est un attribut de objet objet est une instance de sang objet est une partie de objet Female est un attribut de objet la mesure de objet est 0.1 Liter(s) objetE est une instance de Hemoglobin objetE est une partie de objet objetE2 est une instance de Hemoglobin objetE est objetE2 objet2 est une partie de objet la mesure de objetE est nombre r�el Gram(s) nombre r�el est moins que 12
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 155-170	Anemia est un attribut de objet objet est une instance de sang objet est une partie de objet Male est un attribut de objet la mesure de objet est 0.1 Liter(s) objetE est une instance de Hemoglobin objetE est une partie de objet objetE2 est une instance de Hemoglobin objetE est objetE2 objet2 est une partie de objet la mesure de objetE est nombre r�el Gram(s) nombre r�el est moins que 13
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2008-2029	LimitOrder est un attribut de financial transaction partyToAgreement financial transaction and Agreement Broker est un attribut de Agreement orderFor financial transaction, acheter and Security la mesure de Security est quantit� physique limitPrice financial transaction and nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfCurrency askPrice Security, nombre r�el unit� de mesure(s) and AutonomousAgent nombre r�el est plus petit ou �gal � nombre r�el Agreement est oblig� d'ex�cut� des t�ches du type la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2031-2052	LimitOrder est un attribut de financial transaction partyToAgreement financial transaction and Agreement Broker est un attribut de Agreement orderFor financial transaction, vendre and Security la mesure de Security est quantit� physique limitPrice financial transaction and nombre r�el unit� de mesure(s) bidPrice Security, nombre r�el unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency nombre r�el est plus grand ou �gal � nombre r�el Agreement est oblig� d'ex�cut� des t�ches du type la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13863-13876	boilingPoint substance pure and nombre r�el unit� de mesure(s) entit� est une instance de substance pure la mesure de entit� est nombre r�el unit� de mesure(s) pendant interval temporel unit� de mesure est une instance de UnitOfTemperature nombre r�el est plus grand ou �gal � nombre r�el Gas est un attribut de entit� pendant interval temporel processus interval temporel recouvre temps d'existence de processus processus est une instance de �vaporer entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1538-1544	capitalExpendituresOfAreaInPeriod secteur g�opolitique, nombre r�el unit� de mesure(s) and interval temporel annualExpendituresOfAreaInPeriod secteur g�opolitique, nombre r�el unit� de mesure(s) and interval temporel nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1522-1530	climateTypeInArea secteur g�ographique and ColdClimateZone interval temporel interval temporel est une instance de mois averageTemperatureForPeriod secteur g�ographique, interval temporel and nombre r�el CelsiusDegree(s) 10.0 est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1370-1377	climateTypeInArea secteur g�ographique and DesertClimateZone interval temporel est une instance de mois averageTemperatureForPeriod secteur g�ographique, interval temporel and nombre r�el CelsiusDegree(s) nombre r�el est plus grand que 18.0 climateTypeInArea secteur g�ographique and SubtropicalDesertClimateZone
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1597-1603	climateTypeInArea secteur g�ographique and PolarTypeFClimateZone position temporel est une instance de position temporel airTemperature secteur g�ographique and entit� CelsiusDegree(s) pendant position temporel 10.0 est plus grand que entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1419-1425	climateTypeInArea secteur g�ographique and TemperateClimateZone interval temporel est une instance de mois averageTemperatureForPeriod secteur g�ographique, interval temporel and nombre r�el CelsiusDegree(s) nombre r�el est plus grand ou �gal � -3.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1316-1323	climateTypeInArea secteur g�ographique and TropicalClimateZone mois est une instance de mois averageRainfallForPeriod secteur g�ographique, mois and nombre r�el un milli�me de Meter(s) nombre r�el est plus grand ou �gal � 60.0 climateTypeInArea secteur g�ographique and WetTropicalClimateZone
No TPTP formula. May not be expressible in strict first order.	Geography.kif 659-669	comparativeArea secteur g�ographique, BinaryRelationExtendedToQuantities, nombre r�el positif and secteur g�ographique unit� de mesure est une instance de UnitOfArea la mesure de secteur g�ographique est nombre r�el unit� de mesure(s) la mesure de secteur g�ographique est nombre r�el unit� de mesure(s) BinaryRelationExtendedToQuantities nombre r�el unit� de mesure(s) and nombre r�el positif + nombre r�el unit� de mesure(s)
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 234-249	concentration nombre r�el unit� de mesure(s), substance, nombre r�el unit� de mesure2(s) and mixture substanceI est une instance de substance substanceI est une partie de mixture la mesure de substanceI est nombre r�el unit� de mesure3(s) substanceI est une partie de mixture substanceI2 est une instance de substance substanceI est substanceIE2 substanceI2 est une partie de mixture la mesure de mixture est nombre r�el unit� de mesure2(s) approximateValue nombre r�el and nombre r�el
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 783-788	currentAccountBalance FinancialAccount, jour and nombre r�el UnitedStatesDollar(s) nombre r�el est moins que 0 nombre r�el est nombre r�el) overdraft FinancialAccount, nombre r�el UnitedStatesDollar(s) and jour
No TPTP formula. May not be expressible in strict first order.	Cars.kif 809-825	dampingRatio PhysicalSystem and nombre r�el nombre r�el est plus grand que 0 interval temporel est une instance de Tremor PhysicalSystem est un patient de interval temporel entit� est une instance de UnitOfLength physicalAmplitude interval temporel and nombre r�el entit�(s) pendant interval temporel1 physicalAmplitude interval temporel and nombre r�el entit�(s) pendant interval temporel2 interval temporel1 prend place pendant interval temporel interval temporel2 prend place pendant interval temporel interval temporel1 arrive plus t�t que interval temporel2 nombre r�el est plus grand que nombre r�el
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