greaterThan - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1731-1732
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1852-1854
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 339-340
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1848-1848	O argumento numero 1 de greaterThan e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1849-1849	O argumento numero 2 de greaterThan e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1842-1842	greaterThan e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1845-1845	greaterThan e' uma instancia de Relacao Irreflexiva
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1846-1846	greaterThan e' uma instancia de Relacao estendida a Quantidades
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1843-1843	greaterThan e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1844-1844	greaterThan e' uma instancia de Relacao Transitiva
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1850-1850	greaterThan e' inverso de lessThan
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1847-1847	greaterThan e' tricotomizado en Numero Real

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4676-4676	comparativeArea SouthernOcean, greaterThan, 2.0 and UnitedStates
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 111-111
No TPTP formula. May not be expressible in strict first order.	english_format.kif 111-111
No TPTP formula. May not be expressible in strict first order.	french_format.kif 77-77
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 121-121
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1904-1904
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 29-29
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 77-77
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 127-127
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 161-161
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 96-96
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 76-76
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 248-248
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 112-112
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26532-26532
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26531-26531
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26530-26530
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 37-37
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 249-249

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1007-1011	Entidade e' uma instancia de PersonalAccount o numero de instancias dentro de a classe descrita por Sequencia Simbolica e' maior que 1 Entidade e' uma instancia de JointAccount
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7440-7451	Objeto e' uma instancia de ParticulateMatter Objeto auto-conectado e' uma &parte de Objeto approximateDiameter Objeto auto-conectado and Numero Real Micrometer(s) 10.0 e' maior que Numero Real Numero Real e' maior que 2.5 Objeto10 Objeto10 e' uma instancia de CoarseParticulateMatter Objeto10 e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 367-385	breathingRate AutonomousAgent, Intervalo Temporal and Numero Inteiro Intervalo Temporal e' uma instancia de Minuto Numero Inteiro Numero Inteiro e' uma instancia de Recreacao ou Exercicio Numero Inteiro e' um agente de AutonomousAgent Intervalo Temporal acontece durante tempo de existencia de Numero Inteiro HumanAdult e' um atributo de AutonomousAgent vale durante Intervalo Temporal Numero Inteiro e' maior que 16 Numero Inteiro e' menos que 12 Healthy e' um atributo de AutonomousAgent vale durante Intervalo Temporal
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.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15537-15554	Edicao Inteiro positivo de Objeto Representendo Conteudo Abstrato e' igual a Objeto Representendo Conteudo Abstrato edicao Inteiro positivo de Objeto Representendo Conteudo Abstrato e' igual a Objeto Representendo Conteudo Abstrato Inteiro positivo e' maior que Inteiro positivo Processo e' uma instancia de Publicacao Processo e' uma instancia de Publicacao Entidade e' uma instancia de Objeto Representendo Conteudo Abstrato Entidade e' uma instancia de Objeto Representendo Conteudo Abstrato Entidade e' um patient de Processo Entidade e' um patient de Processo a data de Processo e' Dia a data de Processo e' Dia o fim de Dia comeca antes de o fim de Dia
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3277-3284	Numero Real e' igual a AverageFn Lista comprimento de Lista e' maior que 0 Numero Real e' igual a ListSumFn Lista + comprimento de Lista
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3258-3268	Numero Real e' igual a ListSumFn Lista comprimento de Lista e' maior que 1 Numero Real e' igual a (FirstFn Lista + ListSumFn SubListFn 2, comprimento de Lista and Lista)
No TPTP formula. May not be expressible in strict first order.	Media.kif 3068-3089	Sequencia Simbolica e' igual a ReverseFn Sequencia Simbolica Numero Inteiro nao-negativo e' igual a StringLengthFn Sequencia Simbolica Numero Inteiro nao-negativo e' maior que 1 Numero Inteiro nao-negativo e' maior que 0 Numero Inteiro nao-negativo e' menos que Numero Inteiro nao-negativo Numero Inteiro e' igual a o teto de ( Numero Inteiro nao-negativo + 1) + 2 Numero Inteiro nao-negativoEW e' igual a (( Numero Inteiro + Numero Inteiro nao-negativo) + Numero Inteiro) Sequencia Simbolica e' igual a SubstringFn Sequencia Simbolica, Numero Inteiro nao-negativo and (1 + Numero Inteiro nao-negativo) Sequencia Simbolica e' igual a SubstringFn Sequencia Simbolica, Numero Inteiro nao-negativoEW and (1 + Numero Inteiro nao-negativoEW)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3190-3202	Lista e' igual a SubListFn Inteiro positivo, Numero Inteiro and Lista ( Numero Inteiro + Inteiro positivo) e' maior que 1 Lista e' igual a a lista composta de ( Inteiro positivoth elemento de Lista) e SubListFn (1 + Inteiro positivo), Numero Inteiro and Lista
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1449-1461	Numero Real e' igual a VarianceAverageFn Numero and Lista comprimento de Lista e' maior que 1 Numero Real e' igual a (VarianceAverageFn Numero and 1th elemento de Lista + VarianceAverageFn Numero and SubListFn 2, comprimento de Lista and Lista)
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1070-1075	fOCShipsByOrigin MerchantMarine, Area Geopolitica and Numero Inteiro nao-negativo Numero Inteiro nao-negativo e' maior que 0 marineInventory MerchantMarine and ShipRegister ShipRegister e' uma instancia de FlagOfConvenienceRegister
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2890-2908	governorSpeed SpeedGovernor and Funcao de Quantidade Numero Real MilesPerHour(s) e' igual a Medida de Comprimento por Duracao Temporal Numero Real MilesPerHour(s) e' igual a Medida de Comprimento por Duracao Temporal Numero Real e' maior que Numero Real Numero RealPROB e' igual a a probabilidade de a medida de SpeedGovernor e' Numero Real MilesPerHour(s) Numero RealPROB e' igual a a probabilidade de a medida de SpeedGovernor e' Numero Real MilesPerHour(s) Numero RealPROB e' maior que Numero RealPROB
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1017-1023	Entidade e' uma instancia de BiochemicalAgent lethalDose BiochemicalAgent and Numero Real Unidade de Medida(s) Numero Real e' maior que 0.0 Entidade e' uma instancia de LifeThreateningAgent
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1575-1582	Area Geografica e' uma instancia de Area Geografica Intervalo Temporal e' uma instancia de Mes averageTemperatureForPeriod Area Geografica, Intervalo Temporal and Numero Real CelsiusDegree(s) 10.0 e' maior que Numero Real climateTypeInArea Area Geografica and PolarClimateZone
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 354-365	Processo e' uma instancia de Auctioning AutonomousAgent e' uma instancia de AutonomousAgent AutonomousAgent e' uma instancia de AutonomousAgent Objeto e' uma instancia de Objeto Unidade de Medida e' uma instancia de UnitOfCurrency Objeto e' um patient de Processo bidPrice Objeto, Numero Real Unidade de Medida(s) and AutonomousAgent bidPrice Objeto, Numero Real Unidade de Medida(s) and AutonomousAgent Numero Real e' maior que Numero Real Processo termina em AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8744-8751	Intervalo Temporal e' uma instancia de o dia Inteiro positivo Intervalo Temporal e' uma instancia de o dia Inteiro positivo Ponto no tempo e' igual a o comeco de Intervalo Temporal Ponto no tempo e' igual a o comeco de Intervalo Temporal Inteiro positivo e' maior que Inteiro positivo Ponto no tempo comeca antes de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8753-8758	Intervalo Temporal e' uma instancia de o dia Inteiro positivo Intervalo Temporal e' uma instancia de o dia Inteiro positivo Inteiro positivo e' maior que Inteiro positivo Intervalo Temporal acontence antes de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 342-348	Entidade e' uma instancia de Humano 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 Entidade e' uma instancia de Teenager vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2942-2947	Objeto e' uma instancia de Harbor equipmentCount Objeto, ShipBerth and Numero Real Numero Real e' maior que 0 Objeto e' capaz de fazer ShipBerthing no role path
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1753-1773	MusicalTone e' uma instancia de MusicalTone soundFrequency MusicalTone and Numero Real Hertz(s) loudness MusicalTone and Numero Real Decibel(s) MusicalTone e' situado em o lugar onde Humano estava em o comeco de tempo de existencia de MusicalTone Numero Real e' maior que Numero Real Numero Real e' maior que Numero Real Numero Real e' maior que 250 8000 e' maior que Numero Real Humano e' uma instancia de Humano Processo e' uma instancia de Listening Processo e' um agente de Humano hearingAcuity Humano, Numero Real Decibel(s) and Numero Real Decibel(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13885-13900	Entidade e' uma instancia de Substancia Pura boilingPoint Substancia Pura and Numero Real Unidade de Medida(s) meltingPoint Substancia Pura and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfTemperature a medida de Entidade e' Numero Real Unidade de Medida(s) vale durante Intervalo Temporal Numero Real e' maior que Numero Real Numero Real e' menos que Numero Real Liquid e' um atributo de Entidade vale durante Intervalo Temporal Processo Intervalo Temporal engloba tempo de existencia de Processo Processo e' uma instancia de Derreter Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1394-1401	Area Aquatica e' uma instancia de SurfZone significantWaveHeight Area Aquatica, tempo de existencia de Area Aquatica and Numero Real FootLength(s) Numero Real e' maior que 8.0 RedFlagSwimmingCondition e' um atributo de Area Aquatica
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5997-6017	Intervalo Temporal e' uma instancia de TimePeriod a duracao de Intervalo Temporal e' Numero Real MinuteDuration(s) Numero Real e' maior que 5.0 Entidade e' uma instancia de Humano Processo Processo e' uma instancia de Respirar tempo de existencia de Processo acontece durante Intervalo Temporal Entidade e' um patient de Processo o argumento Entidade Entidade e' uma instancia de Morte Entidade experimenta Entidade Intervalo Temporal encontra tempo de existencia de Entidade tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13820-13829	Objeto e' uma instancia de Substancia Pura Substancia Pura e' uma sub-classe de Substancia Pura barometricPressure Objeto and Numero Real InchMercury(s) 29.92 e' maior que Numero Real boilingPoint Substancia Pura and Numero Real KelvinDegree(s) a medida de Objeto e' Numero Real KelvinDegree(s) Numero Real e' maior que Numero Real Gas e' um atributo de Objeto

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4711-4720	OpenSea e' um atributo de Objeto Fisico Numero Real Objeto e' uma instancia de Area Aquatica salgada Objeto e' uma instancia de LandlockedWater a distancia entre Fisico e Objeto e' Numero Real NauticalMile(s) Numero Real e' maior que 5.0
No TPTP formula. May not be expressible in strict first order.	People.kif 272-293	average Lista and Numero Real Lista Inteiro positivo comprimento de Lista e' igual a comprimento de Lista 1th elemento de Lista e' igual a 1th elemento de Lista Inteiro positivo Inteiro positivo e' um membro de Lista Numero Real Numero RealMINUSONE, Inteiro positivo and Inteiro positivo Numero Real e' maior que 1 Numero Real e' menor ou igual a comprimento de Lista Inteiro positivoth elemento de Lista e' igual a Numero Real Inteiro positivo e' um membro de Lista Numero Real e' igual a Inteiro positivoth elemento de Lista Inteiro positivo e' um membro de Lista Numero RealMINUSONE e' igual a ( Numero Real + 1) Numero RealMINUSONE e' igual a Inteiro positivoth elemento de Lista Inteiro positivo e' igual a ( Inteiro positivo + Inteiro positivo) Inteiro positivo e' igual a comprimento de Lista Numero Real e' igual a Inteiro positivoth elemento de Lista + Inteiro positivo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1885-1889	Numero Real e' maior ou igual a Numero Real Numero Real e' igual a Numero Real Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1937-1941	Numero Real e' uma instancia de Numero Real positivo Numero Real e' maior que 0 Numero Real e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7780-7788	Objeto e' maior do que Objeto Numero Real Numero Real and Unidade de Medida a medida de Objeto e' Numero Real Unidade de Medida(s) a medida de Objeto e' Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfLength Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1754-1759	FlatTerrain e' um atributo de Objeto Area terrestre e' uma &parte de Objeto slopeGradient Area terrestre and Numero Real nao-negativo 0.005 e' maior que Numero Real nao-negativo
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1766-1771	LowTerrain e' um atributo de Objeto Area terrestre e' uma &parte de Objeto slopeGradient Area terrestre and Numero Real nao-negativo 0.03 e' maior que Numero Real nao-negativo
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.	ArabicCulture.kif 204-223	Muslim e' um atributo de AutonomousAgent valor da propriedade de AutonomousAgent e' igual a Medida de Divisa o argumento Entidade Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de Zakat Entidade e' uma instancia de Ano Entidade acontece durante tempo de existencia de AutonomousAgent FullyFormed e' um atributo de AutonomousAgent vale durante Entidade Entidade e' um agente de AutonomousAgent Entidade e' um patient de Entidade o valor de Entidade e' Entidade Entidade(s) Entidade e' uma instancia de UnitOfCurrency Entidade e' maior que Medida de Divisa + 0.025 tem a forca modal de Obligation
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3984-4004	ADHD e' um atributo de AutonomousAgent ADHD e' um atributo de AutonomousAgent AutonomousAgent e' igual a AutonomousAgent Processo e' uma instancia de Classe Processo e' uma instancia de Classe Classe e' uma sub-classe de Processo Psicologico Intencional Processo e' um agente de AutonomousAgent Processo e' um agente de AutonomousAgent a duracao de tempo de existencia de Processo e' Duracao Temporal a duracao de tempo de existencia de Processo e' Duracao Temporal o argumento Duracao Temporal e' maior que Duracao Temporal tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1186-1201	Oversized e' um atributo de Objeto Objeto e' uma instancia imediata de Classe Classe e' uma sub-classe de HotelUnit Fisico Numero Real, Numero Real and Unidade de Medida Fisico e' uma instancia imediata de Classe Unidade de Medida e' uma instancia de UnitOfArea a medida de Fisico e' Numero Real Unidade de Medida(s) a medida de Objeto e' Numero Real Unidade de Medida(s) Numero Real e' uma instancia de Medida de Area Numero Real e' uma instancia de Medida de Area Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24235-24245	birthdate Humano and Dia Dia e' uma instancia de o dia Inteiro positivo Dia Numero Inteiro birthday Humano and Dia Dia e' uma sub-classe de Dia Numero Inteiro e' uma instancia de Numero Inteiro Dia e' igual a o dia Inteiro positivo Numero Inteiro e' maior que Numero Inteiro
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 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.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18468-18473	defaultMaxValue Predicado, Inteiro positivo and Quantidade Predicado @ARGS Entidade e' igual a Inteiro positivoth elemento de (@ARGS) o argumento Quantidade e' maior que Entidade tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13535-13544	defaultMaximumMeasure Objeto and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de CompositeUnitOfMeasure o argumento Entidade Numero RealUANTITY Entidade e' uma instancia de Objeto a medida de Entidade e' Numero RealUANTITY Unidade de Medida(s) Numero RealUANTITY e' maior que Numero Real tem a forca modal de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13546-13557	defaultMaximumMeasure Objeto and Numero Real Unidade de Medida(s) Classe e' uma sub-classe de NonCompositeUnitOfMeasure Unidade de Medida e' uma instancia de Classe o argumento Entidade Numero RealUANTITY and Entidade Entidade e' uma instancia de Objeto a medida de Entidade e' Numero RealUANTITY Entidade(s) Entidade e' uma instancia de Classe Numero RealUANTITY Entidade(s) e' maior que Numero Real Unidade de Medida(s) tem a forca modal de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13485-13496	defaultMaximumSphereRadius Objeto and Numero Real Unidade de Medida(s) Objeto e' uma instancia de Objeto Sphere e' um atributo de Objeto o argumento Numero RealADIUS sphereRadius Objeto and Numero RealADIUS Unidade de Medida(s) Numero RealADIUS e' maior que Numero Real tem a forca modal de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13565-13574	defaultMeasure Objeto and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de CompositeUnitOfMeasure o argumento Entidade Numero RealUANTITY Entidade e' uma instancia de Objeto a medida de Entidade e' Numero RealUANTITY Unidade de Medida(s) Numero RealUANTITY e' maior que Numero Real + 1.5 tem a forca modal de Unlikely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18451-18456	defaultMinValue Predicado, Inteiro positivo and Quantidade Predicado @ARGS Entidade e' igual a Inteiro positivoth elemento de (@ARGS) o argumento Entidade e' maior que Quantidade tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2591-2609	engineIdleSpeed InternalCombustionEngine and RotationFn Numero Real MilesPerHour(s) and Duracao Temporal Objeto e' uma instancia de Automobile Processo e' uma instancia de GasPedal Processo e' uma instancia de Pushing Processo termina em Objeto InternalCombustionEngine e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' uma instancia de Crankshaft Objeto e' uma &parte de InternalCombustionEngine a medida de Objeto e' RotationFn Entidade MilesPerHour(s) and Duracao Temporal vale durante tempo de existencia de Processo o argumento Entidade e' maior que Numero Real tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4874-4888	O maior divisor comum de @ROW e' igual a Numero Inteiro Numero Inteiro e' igual a 0 Numero Inteiro Numero Inteiro e' maior que Numero Inteiro Numero Inteiro Numero Inteiro e' um membro de (@ROW) Numero Inteiro mod Numero Inteiro e' igual a 0
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18342-18357	Organizacao e' igual a DepartmentOfFn Organizacao and Fisico Organizacao2 e' uma parte da organizacao Organizacao Organizacao e' igual a Organizacao2 Entidade e' uma instancia de Fisico Organizacao esta' interessado em Entidade Numero Real e' igual a a probabilidade de Entidade e' um agente de Organizacao Entidade2 e' igual a a probabilidade de Entidade e' um agente de Organizacao2 Numero Real e' maior que Entidade2

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: