No TPTP formula. May not be expressible in strict first order.	Economy.kif 440-447	Intervalo Temporal e' uma instancia de Intervalo Temporal economyType Area Geopolitica and LowIncomeCountry vale durante Intervalo Temporal Numero Real perCapitaGDPInPeriod Area Geopolitica, Numero Real UnitedStatesDollar(s) and Intervalo Temporal Numero Real e' menos que 756.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 465-472	Intervalo Temporal e' uma instancia de Intervalo Temporal economyType Area Geopolitica and LowerMiddleIncomeCountry vale durante Intervalo Temporal Numero Real perCapitaGDPInPeriod Area Geopolitica, Numero Real UnitedStatesDollar(s) and Intervalo Temporal Numero Real e' menos que 2996.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 490-497	Intervalo Temporal e' uma instancia de Intervalo Temporal economyType Area Geopolitica and UpperMiddleIncomeCountry vale durante Intervalo Temporal Numero Real perCapitaGDPInPeriod Area Geopolitica, Numero Real UnitedStatesDollar(s) and Intervalo Temporal Numero Real e' menos que 9267.0
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4867-4869	angularMeasure AcuteAngle and Numero Real Numero Real e' menos que 90.0
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2803-2816	LongAndThin e' um atributo de Objeto auto-conectado Objeto auto-conectado Objeto auto-conectado, Numero Real, Numero Real, Numero Real and Unidade de Medida o side de Objeto auto-conectado e' Objeto auto-conectado o side de Objeto auto-conectado e' Objeto auto-conectado Objeto auto-conectado encontra Objeto auto-conectado Objeto auto-conectado e' igual a Objeto auto-conectado Unidade de Medida e' uma instancia de UnitOfLength o comprimento de Objeto auto-conectado e' Numero Real Unidade de Medida(s) o comprimento de Objeto auto-conectado e' Numero Real Unidade de Medida(s) o comprimento de Objeto auto-conectado e' Numero Real Unidade de Medida(s) Numero Real e' menos que 3.0 + Numero Real Numero Real e' menos que 3.0 + Numero Real
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1533-1541	climateTypeInArea Area Geografica and ColdClimateZone Intervalo Temporal Numero Real Intervalo Temporal e' uma instancia de Mes Intervalo Temporal e' uma &parte de WinterSeason averageTemperatureForPeriod Area Geografica, Intervalo Temporal and Numero Real CelsiusDegree(s) Numero Real e' menos que -3.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1428-1443	climateTypeInArea Area Geografica and TemperateClimateZone Intervalo Temporal Numero Real 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 Numero Real e' menor ou igual a 18.0 Intervalo Temporal Numero Real Intervalo Temporal e' uma instancia de Mes averageTemperatureForPeriod Area Geografica, Intervalo Temporal and Numero Real CelsiusDegree(s) Numero Real e' menos que Numero Real
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1285-1298	climateTypeInArea Area Geografica and TropicalClimateZone Intervalo Temporal Numero Real Intervalo Temporal e' uma instancia de Mes averageTemperatureForPeriod Area Geografica, Intervalo Temporal and Numero Real CelsiusDegree(s) Numero Real e' maior que 18.0 Intervalo Temporal Numero Real averageTemperatureForPeriod Area Geografica, Intervalo Temporal and Numero Real CelsiusDegree(s) Numero Real e' menos que Numero Real
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3691-3711	dayPhone Sequencia Simbolica and AutonomousAgent Telephone Entidade and Numero Real phoneNumber Sequencia Simbolica and Telephone Numero Real e' maior que 6 Numero Real e' menos que 18 Entidade Entidade e' uma instancia de Telephoning Entidade termina em AutonomousAgent Telephone e' um patient de Entidade AutonomousAgent possui Telephone o argumento Entidade Entidade e' uma instancia de Answering Entidade e' um sub-processo de Entidade Entidade e' um agente de AutonomousAgent tem a forca modal de Likely vale durante Entidade e' uma instancia de a hora Numero Real
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13348-13356	defaultMinimumHeight Objeto and Numero Real Unidade de Medida(s) o argumento Entidade Numero RealEIGHT Entidade e' uma instancia de Objeto a altura de Entidade e' Numero RealEIGHT Unidade de Medida(s) Numero RealEIGHT e' menos que Numero Real tem a forca modal de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13414-13422	defaultMinimumLength Objeto and Numero Real Unidade de Medida(s) o argumento Entidade Numero RealENGTH Entidade e' uma instancia de Objeto o comprimento de Entidade e' Numero RealENGTH Unidade de Medida(s) Numero RealENGTH e' menos que Numero Real tem a forca modal de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13381-13389	defaultMinimumWidth Objeto and Numero Real Unidade de Medida(s) o argumento Entidade Numero RealIDTH Entidade e' uma instancia de Objeto a largura de Entidade e' Numero RealIDTH Unidade de Medida(s) Numero RealIDTH e' menos que Numero Real tem a forca modal de Unlikely
No TPTP formula. May not be expressible in strict first order.	WMD.kif 902-906	diseaseMortality Doenca ou Sindrome and Numero Real Numero Real e' maior que 0.0 Numero Real e' menos que 1.0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5021-5032	O menor de Numero Real e Numero Real e' igual a Numero Numero e' igual a Numero Real Numero Real e' menos que Numero Real Numero e' igual a Numero Real Numero Real e' menos que Numero Real Numero e' igual a Numero Real Numero e' igual a Numero Real
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3735-3755	eveningPhone Sequencia Simbolica and AutonomousAgent Telephone Entidade and Numero Real phoneNumber Sequencia Simbolica and Telephone Numero Real e' maior que 18 Numero Real e' menos que 6 Entidade Entidade e' uma instancia de Telephoning Entidade termina em AutonomousAgent Telephone e' um patient de Entidade AutonomousAgent possui Telephone o argumento Entidade Entidade e' uma instancia de Answering Entidade e' um sub-processo de Entidade Entidade e' um agente de AutonomousAgent tem a forca modal de Likely vale durante Entidade e' uma instancia de a hora Numero Real
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5645-5652	LowBodyTemperature e' um atributo de Entidade vale durante Posicao Temporal a medida de Entidade e' Entidade FahrenheitDegree(s) Entidade e' menos que 97 vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 323-330	Entidade e' uma instancia de Teenager a idade de Entidade e' Numero Real YearDuration(s) vale durante Posicao Temporal Numero Real e' maior que 12 Numero Real e' menos que 20
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 252-257	Entidade e' uma instancia de HumanYouth a idade de Entidade e' Numero Real YearDuration(s) vale durante Posicao Temporal Numero Real e' menos que 18
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2509-2517	Processo e' uma instancia de AcidRainfall Fisico Numero Real Fisico e' uma instancia de Agua Fisico e' um patient de Processo a medida de Fisico e' Numero Real PHValue(s) Numero Real e' menos que 5.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1626-1638	Processo e' uma instancia de FlashFlooding Processo Numero Real Processo e' uma instancia de WaterMotion Processo causa Processo tempo de existencia de Processo encontra tempo de existencia de Processo a duracao de tempo de existencia de Processo e' Numero Real HourDuration(s) Numero Real e' menos que 6.0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8647-8649	Entidade e' uma instancia de a hora Numero Inteiro nao-negativo Numero Inteiro nao-negativo e' menos que 24
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5311-5313	Numero Inteiro e' uma instancia de Numero Inteiro Numero Inteiro e' menos que ( Numero Inteiro+1)
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6162-6168	Fisico e' uma instancia de IVBolusTherapy a duracao de tempo de existencia de Fisico e' Numero Real MinuteDuration(s) Numero Real e' menos que 5.0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8674-8676	Entidade e' uma instancia de o minuto Numero Inteiro nao-negativo Numero Inteiro nao-negativo e' menos que 60
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2638-2647	Processo e' uma instancia de Blizzard Regiao Numero Real Regiao e' uma instancia de Area Geografica eventLocated Processo and Regiao visibilityInMeteorology Regiao, tempo de existencia de Processo and Numero Real Meter(s) Numero Real e' menos que 400.0
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