No TPTP formula. May not be expressible in strict first order.	Geography.kif 378-380	A medida de Fisico e' Numero Real AngularDegree(s) a medida de Fisico e' 60.0 + Numero Real ArcMinute(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 397-399	A medida de Fisico e' Numero Real ArcMinute(s) a medida de Fisico e' 60.0 + Numero Real ArcSecond(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13326-13331	A medida de Fisico e' Numero Real OunceMass(s) a medida de Fisico e' Numero Real + 16.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2548-2551	A medida de Solucao e' Numero Real PHValue(s) potentialOfHydrogen Solucao and Numero Real
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1129-1137	sectorValueOfGDPInPeriod Area Geopolitica, IndustryAttribute, Numero Real Unidade de Medida(s) and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal sectorValueOfGDP Area Geopolitica, IndustryAttribute and Numero Real Unidade de Medida(s) vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7596-7611	amount Substancia, Objeto Corpuscular and Numero Real UnitOfMass(s) SubstanciaI e' uma instancia de Substancia a medida de SubstanciaI e' Numero Real2 UnitOfMass(s) SubstanciaI e' uma &parte de Objeto Corpuscular Lista Numero Real2 UnitOfMass(s) e' um membro de Lista Lista e' igual a AmountsFn Substancia, Objeto Corpuscular and UnitOfMass Numero Real e' igual a ListSumFn Lista
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17948-17959	approximateDiameter Objeto auto-conectado and Numero Real Numero RealM(s) sphereRadius Objeto and Numero Real + 2.0 Numero RealM(s) a medida de Objeto e' Numero Real Unidade de Medida(s) a medida de Objeto auto-conectado e' Numero Real Unidade de Medida(s) Numero RealM e' uma instancia de UnitOfLength Unidade de Medida e' uma instancia de UnitOfVolume Numero Real e' igual a Numero Real
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2080-2090	arableLandArea Area Geografica and Numero Real Unidade de Medida(s) Numero Real e' maior ou igual a 0.0 totalArea Area Geografica and Numero Real Unidade de Medida(s) Numero Real e' uma instancia de Medida de Area Numero Real e' igual a Numero Real + Numero Real arableLandArea Area Geografica and Numero Real Unidade de Medida(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2092-2106	arableLandArea Area Geografica and Numero Real Unidade de Medida(s) Numero Real e' maior ou igual a 0.0 totalArea Area Geografica and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfArea Area Geografica Area Geografica e' uma instancia de ArableLand geographicSubregion Area Geografica and Area Geografica a medida de Area Geografica e' Numero Real + Numero Real Unidade de Medida(s)
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1165-1176	FamilyStylePortion e' um atributo de Objeto a medida de Objeto e' Numero Real Unidade de Medida(s) FamilyStylePortion e' um atributo de Objeto a medida de Objeto e' Numero Real Unidade de Medida(s) Objeto e' uma instancia de Classe Objeto e' uma instancia de Classe Unidade de Medida e' uma instancia de Unidade de Medida Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 172-187	Anemia e' um atributo de Objeto Objeto e' uma instancia de Sangue Objeto e' uma &parte de Objeto Female e' um atributo de Objeto a medida de Objeto e' 0.1 Liter(s) ObjetoE e' uma instancia de Hemoglobin ObjetoE e' uma &parte de Objeto ObjetoE2 e' uma instancia de Hemoglobin ObjetoE e' igual a ObjetoE2 Objeto2 e' uma &parte de Objeto a medida de ObjetoE e' Numero Real Gram(s) Numero Real e' menos que 12
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 155-170	Anemia e' um atributo de Objeto Objeto e' uma instancia de Sangue Objeto e' uma &parte de Objeto Male e' um atributo de Objeto a medida de Objeto e' 0.1 Liter(s) ObjetoE e' uma instancia de Hemoglobin ObjetoE e' uma &parte de Objeto ObjetoE2 e' uma instancia de Hemoglobin ObjetoE e' igual a ObjetoE2 Objeto2 e' uma &parte de Objeto a medida de ObjetoE e' Numero Real Gram(s) Numero Real e' menos que 13
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2008-2029	LimitOrder e' um atributo de Transacao Financeira partyToAgreement Transacao Financeira and Agreement Broker e' um atributo de Agreement orderFor Transacao Financeira, Comprar and Security a medida de Security e' Quantidade Fisica limitPrice Transacao Financeira and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfCurrency askPrice Security, Numero Real Unidade de Medida(s) and AutonomousAgent Numero Real e' menor ou igual a Numero Real Agreement e' obrigado a executar tarefas de tipo a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2031-2052	LimitOrder e' um atributo de Transacao Financeira partyToAgreement Transacao Financeira and Agreement Broker e' um atributo de Agreement orderFor Transacao Financeira, Vender and Security a medida de Security e' Quantidade Fisica limitPrice Transacao Financeira and Numero Real Unidade de Medida(s) bidPrice Security, Numero Real Unidade de Medida(s) and AutonomousAgent Unidade de Medida e' uma instancia de UnitOfCurrency Numero Real e' maior ou igual a Numero Real Agreement e' obrigado a executar tarefas de tipo a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13841-13854	boilingPoint Substancia Pura and Numero Real Unidade de Medida(s) Entidade e' uma instancia de Substancia Pura a medida de Entidade e' Numero Real Unidade de Medida(s) vale durante Intervalo Temporal Unidade de Medida e' uma instancia de UnitOfTemperature Numero Real e' maior ou igual a Numero Real Gas e' um atributo de Entidade vale durante Intervalo Temporal Processo Intervalo Temporal engloba tempo de existencia de Processo Processo e' uma instancia de Ferver Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1538-1544	capitalExpendituresOfAreaInPeriod Area Geopolitica, Numero Real Unidade de Medida(s) and Intervalo Temporal annualExpendituresOfAreaInPeriod Area Geopolitica, Numero Real Unidade de Medida(s) and Intervalo Temporal Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1522-1530	climateTypeInArea Area Geografica and ColdClimateZone Intervalo Temporal Intervalo Temporal e' uma instancia de Mes averageTemperatureForPeriod Area Geografica, Intervalo Temporal and Numero Real CelsiusDegree(s) 10.0 e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1370-1377	climateTypeInArea Area Geografica and DesertClimateZone Intervalo Temporal e' uma instancia de Mes averageTemperatureForPeriod Area Geografica, Intervalo Temporal and Numero Real CelsiusDegree(s) Numero Real e' maior que 18.0 climateTypeInArea Area Geografica and SubtropicalDesertClimateZone
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1597-1603	climateTypeInArea Area Geografica and PolarTypeFClimateZone Posicao Temporal e' uma instancia de Posicao Temporal airTemperature Area Geografica and Entidade CelsiusDegree(s) vale durante Posicao Temporal 10.0 e' maior que Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1419-1425	climateTypeInArea Area Geografica and TemperateClimateZone Intervalo Temporal e' uma instancia de Mes averageTemperatureForPeriod Area Geografica, Intervalo Temporal and Numero Real CelsiusDegree(s) Numero Real e' maior ou igual a -3.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1316-1323	climateTypeInArea Area Geografica and TropicalClimateZone Mes e' uma instancia de Mes averageRainfallForPeriod Area Geografica, Mes and Numero Real um milesimo de Meter(s) Numero Real e' maior ou igual a 60.0 climateTypeInArea Area Geografica and WetTropicalClimateZone
No TPTP formula. May not be expressible in strict first order.	Geography.kif 659-669	comparativeArea Area Geografica, BinaryRelationExtendedToQuantities, Numero Real positivo and Area Geografica Unidade de Medida e' uma instancia de UnitOfArea a medida de Area Geografica e' Numero Real Unidade de Medida(s) a medida de Area Geografica e' Numero Real Unidade de Medida(s) BinaryRelationExtendedToQuantities Numero Real Unidade de Medida(s) and Numero Real positivo + Numero Real Unidade de Medida(s)
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 234-249	concentration Numero Real Unidade de Medida(s), Substancia, Numero Real Unidade de Medida2(s) and Mistura SubstanciaI e' uma instancia de Substancia SubstanciaI e' uma &parte de Mistura a medida de SubstanciaI e' Numero Real Unidade de Medida3(s) SubstanciaI e' uma &parte de Mistura SubstanciaI2 e' uma instancia de Substancia SubstanciaI e' igual a SubstanciaIE2 SubstanciaI2 e' uma &parte de Mistura a medida de Mistura e' Numero Real Unidade de Medida2(s) approximateValue Numero Real and Numero Real
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 783-788	currentAccountBalance FinancialAccount, Dia and Numero Real UnitedStatesDollar(s) Numero Real e' menos que 0 Numero Real e' igual a (0 + Numero Real) overdraft FinancialAccount, Numero Real UnitedStatesDollar(s) and Dia
No TPTP formula. May not be expressible in strict first order.	Cars.kif 809-825	dampingRatio PhysicalSystem and Numero Real Numero Real e' maior que 0 Intervalo Temporal e' uma instancia de Tremor PhysicalSystem e' um patient de Intervalo Temporal Entidade e' uma instancia de UnitOfLength physicalAmplitude Intervalo Temporal and Numero Real Entidade(s) vale durante Intervalo Temporal1 physicalAmplitude Intervalo Temporal and Numero Real Entidade(s) vale durante Intervalo Temporal2 Intervalo Temporal1 acontece durante Intervalo Temporal Intervalo Temporal2 acontece durante Intervalo Temporal Intervalo Temporal1 acontence antes de Intervalo Temporal2 Numero Real e' maior que Numero Real
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