TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1729-1730
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1839-1840
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 337-338
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1836-1836	O argumento numero 1 de lessThan e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1837-1837	O argumento numero 2 de lessThan e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1831-1831	lessThan e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1833-1833	lessThan e' uma instancia de Relacao Irreflexiva
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1834-1834	lessThan e' uma instancia de Relacao estendida a Quantidades
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1832-1832	lessThan e' uma instancia de Relacao Transitiva
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1835-1835	lessThan e' tricotomizado en Numero Real

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 141-141
No TPTP formula. May not be expressible in strict first order.	english_format.kif 142-142
No TPTP formula. May not be expressible in strict first order.	french_format.kif 92-92
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 163-163
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1919-1919
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 44-44
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 76-76
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 172-172
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 202-202
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 111-111
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 91-91
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 325-325
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.	chinese_format.kif 142-142
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34144-34144
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34143-34143
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 52-52
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 326-326

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7524-7530	Objeto auto-conectado e' uma instancia de LiquidDrop approximateDiameter Objeto auto-conectado and Numero Real Micrometer(s) 500.0 e' menos que Numero Real Objeto auto-conectado e' uma instancia de Droplet
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3051-3062	FinancialInstrument FinancialInstrumentPrice and Numero Real Agreement e' uma instancia de CallOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice Unidade de Medida(s) and AutonomousAgent Unidade de Medida e' uma instancia de UnitOfCurrency strikePrice Agreement and Numero Real Unidade de Medida(s) FinancialInstrumentPrice e' menos que Numero Real outOfTheMoney Agreement and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3002-3013	FinancialInstrument FinancialInstrumentPrice and Numero Real Agreement e' uma instancia de CallOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice Unidade de Medida(s) and AutonomousAgent Unidade de Medida e' uma instancia de UnitOfCurrency strikePrice Agreement and Numero Real Unidade de Medida(s) Numero Real e' menos que FinancialInstrumentPrice inTheMoney Agreement and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3015-3026	FinancialInstrument FinancialInstrumentPrice and Numero Real Agreement e' uma instancia de PutOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice Unidade de Medida(s) and AutonomousAgent Unidade de Medida e' uma instancia de UnitOfCurrency strikePrice Agreement and Numero Real Unidade de Medida(s) FinancialInstrumentPrice e' menos que Numero Real inTheMoney Agreement and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3064-3075	FinancialInstrument FinancialInstrumentPrice and Numero Real Agreement e' uma instancia de PutOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice Unidade de Medida(s) and AutonomousAgent Unidade de Medida e' uma instancia de UnitOfCurrency strikePrice Agreement and Numero Real Unidade de Medida(s) Numero Real e' menos que FinancialInstrumentPrice outOfTheMoney Agreement and AutonomousAgent
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.	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.	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.	FinancialOntology.kif 701-714	FinancialAccount e' uma instancia de FinancialAccount minimumBalance FinancialAccount, UsingAnAccount and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfCurrency currentAccountBalance FinancialAccount, Dia and Numero Real Unidade de Medida(s) Numero Real e' menos que Numero Real Processo Processo e' uma instancia de Penalty a data de Processo e' Dia Processo termina em CurrencyFn FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 759-775	LiabilityAccount e' uma instancia de LiabilityAccount minimumPayment LiabilityAccount, Numero Real Unidade de Medida(s) and MonthDuration Unidade de Medida e' uma instancia de UnitOfCurrency Processo Intervalo Temporal Intervalo Temporal e' uma instancia de Mes Processo termina em CurrencyFn LiabilityAccount paymentsPerPeriod LiabilityAccount, Numero Real Unidade de Medida(s) and Intervalo Temporal Numero Real e' menos que Numero Real Processo Processo e' uma instancia de Penalty Processo termina em CurrencyFn LiabilityAccount
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.	Mid-level-ontology.kif 269-274	Entidade e' uma instancia de Humano a idade de Entidade e' Numero Real YearDuration(s) vale durante Posicao Temporal Numero Real e' menos que 18 Entidade e' uma instancia de HumanYouth vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13863-13878	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.	Merge.kif 13880-13893	Entidade e' uma instancia de Substancia Pura meltingPoint Substancia Pura and Numero Real Unidade de Medida(s) 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' menos que Numero Real Solid e' um atributo de Entidade vale durante Intervalo Temporal Processo Intervalo Temporal engloba tempo de existencia de Processo Processo e' uma instancia de Congelar Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2667-2673	Area Aquatica e' uma instancia de Waterway depth Fisico, Area Aquatica and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfLength Numero Real e' menos que Numero Real navigableForDraft Area Aquatica and Numero Real Unidade de Medida(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13809-13818	Objeto e' uma instancia de Substancia Pura Substancia Pura e' uma sub-classe de Substancia Pura boilingPoint Substancia Pura and Numero Real KelvinDegree(s) meltingPoint Substancia Pura and Numero Real KelvinDegree(s) a medida de Objeto e' Numero Real KelvinDegree(s) Numero Real e' maior que Numero Real Numero Real e' menos que Numero Real Liquid e' um atributo de Objeto
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 meltingPoint Substancia Pura and Numero Real KelvinDegree(s) barometricPressure Objeto and Numero Real InchMercury(s) Numero Real e' maior que 29.92 a medida de Objeto e' Numero Real KelvinDegree(s) Numero Real e' menos que Numero Real Solid e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 694-710	processList @ROW Fisico e' um membro de (@ROW) Fisico e' um membro de (@ROW) Entidade elemento de (@ROW) e' igual a Fisico Entidade elemento de (@ROW) e' igual a Fisico Inteiro positivo e' menos que Inteiro positivo tempo de existencia de Fisico acontence antes de tempo de existencia de Fisico
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 430-445	productPrice Entidade, Numero Real Unidade de Medida(s) and Agente Cognitivo Unidade de Medida e' uma instancia de UnitOfCurrency publishedPrice Entidade, Numero Real Unidade de Medida(s), Agente Cognitivo and PricingScheme validFor PricingScheme and AutonomousAgent Entidade e' uma instancia de Entidade Processo e' uma instancia de Comprar AutonomousAgent e' uma instancia imediata de AutonomousAgent Processo e' um agente de AutonomousAgent Processo tem como origem Agente Cognitivo Numero Real e' menos que Numero Real o argumento transactionAmount Processo and Numero Real tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5968-5982	typicalBloodVolume Mamifero and Numero Real Unidade de Medida(s) bloodVolume Entidade and Numero Real2 Unidade de Medida(s) vale durante Posicao Temporal Entidade e' uma instancia de Mamifero Numero Real2 + 2.0 e' maior que Numero Real Numero Real2 e' menos que 0.8 + Numero Real SevereBloodLoss e' um atributo de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5950-5962	typicalBloodVolume Mamifero and Numero Real Unidade de Medida(s) bloodVolume Entidade and Numero Real2 Unidade de Medida(s) vale durante Posicao Temporal Entidade e' uma instancia de Mamifero Numero Real2 + 2.0 e' menos que Numero Real CatastrophicBloodLoss e' um atributo de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3682-3695	minDeviceOperatingTemp Entidade and Entidade Entidade(s) Entidade e' uma instancia de UnitOfTemperature Entidade e' situado em Entidade DeviceOn e' um atributo de Entidade airTemperature Entidade and Entidade Entidade(s) Entidade e' menos que Entidade vale durante Posicao Temporal o argumento DeviceDamaged e' um atributo de Entidade vale durante imediatemente apos Posicao Temporal tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3708-3721	minDeviceStorageTemp Entidade and Entidade Entidade(s) Entidade e' uma instancia de UnitOfTemperature Entidade e' situado em Entidade DeviceOff e' um atributo de Entidade airTemperature Entidade and Entidade Entidade(s) Entidade e' menos que Entidade vale durante Posicao Temporal o argumento DeviceDamaged e' um atributo de Entidade vale durante imediatemente apos Posicao Temporal tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1240-1246	oxygenSaturation Entidade and Entidade Entidade e' menos que 92.0 vale durante Posicao Temporal Hypoxia e' um atributo de Entidade vale durante Posicao Temporal

consequent

No TPTP formula. May not be expressible in strict first order.	People.kif 238-264	Ano e' uma instancia de o ano Numero Inteiro DeathsPerThousandLiveBirthsFn Area Geopolitica and Ano e' igual a Numero Real Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica Numero Inteiro + 1000 e' igual a Numero Real Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica Numero Inteiro + Numero Real e' igual a Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1948-1952	Numero Real e' uma instancia de Numero Real negativo Numero Real e' menos que 0 Numero Real e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1867-1871	Numero Real e' menor ou igual a Numero Real Numero Real e' igual a Numero Real Numero Real e' menos 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.	Mid-level-ontology.kif 18728-18737	CollegeFreshman e' um atributo de Posicao Humano ocupa a posicao de Posicao Organizacao Numero Real student Humano and Organizacao vale durante Numero Real YearDuration(s) Numero Real e' menos que 1
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18743-18753	CollegeJunior e' um atributo de Posicao Humano ocupa a posicao de Posicao Organizacao Numero Real student Humano and Organizacao vale durante Numero Real YearDuration(s) Numero Real e' maior ou igual a 2 Numero Real e' menos que 3
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18759-18769	CollegeSenior e' um atributo de Posicao Humano ocupa a posicao de Posicao Organizacao Numero Real student Humano and Organizacao vale durante Numero Real YearDuration(s) Numero Real e' maior ou igual a 3 Numero Real e' menos que 4
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18775-18785	CollegeSophomore e' um atributo de Posicao Humano ocupa a posicao de Posicao Organizacao Numero Real student Humano and Organizacao vale durante Numero Real YearDuration(s) Numero Real e' maior ou igual a 1 Numero Real e' menos que 2
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1148-1156	A probabilidade de ComfortFood e' um atributo de Entidade sabendo que HeartHealthyFood e' um atributo de Entidade vale e' Numero Real a probabilidade de ComfortFood e' um atributo de Entidade sabendo que HeartHealthyFood e' um atributo de Entidade vale e' Numero Real Numero Real e' menos que Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2623-2628	Formula diminui a probabilidade de Formula a probabilidade de Formula e' igual a Numero Real a probabilidade de Formula sabendo que Formula vale e' Numero Real Numero Real e' menos que Numero Real
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13577-13586	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' menos que Numero Real + .5 tem a forca modal de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13505-13514	defaultMinimumMeasure 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' 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 13516-13527	defaultMinimumMeasure 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 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 13467-13477	defaultMinimumSphereRadius 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' menos que Numero Real tem a forca modal de Unlikely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4958-4972	O minimo multiplo comum de numero, de inteiro @ROW e' igual a Numero Inteiro Numero Inteiro e' igual a 0 Numero Inteiro Numero Inteiro e' menos 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 4868-4872	TwoDimensionalAngle e' uma instancia de AcuteAngle angularMeasure TwoDimensionalAngle and Numero Real Numero Real e' menos que 90.0
No TPTP formula. May not be expressible in strict first order.	Dining.kif 772-795	AutonomousAgent e' uma instancia de AutonomousAgent potentialCustomer Agente Cognitivo and AutonomousAgent o argumento Entidade e' uma instancia de Reserving Entidade termina em AutonomousAgent tem a forca modal de Necessity a probabilidade de EntidadeES1 EntidadeES1 e' uma instancia de Reservation reservingEntity Agente Cognitivo and EntidadeES1 fulfillingEntity AutonomousAgent and EntidadeES1 sabendo que customer Agente Cognitivo and AutonomousAgent vale e' Numero Real a probabilidade de EntidadeES2 EntidadeES2 e' uma instancia de Reservation reservingEntity Agente Cognitivo and EntidadeES2 fulfillingEntity AutonomousAgent and EntidadeES2 sabendo que customer Agente Cognitivo and AutonomousAgent vale e' Numero Real Numero Real e' menos que Numero Real
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1391-1400	Objeto e' uma instancia de Airport VeryShortRunwayAirport e' um atributo de Objeto Objeto Numero Real Objeto e' uma instancia de Runway Objeto e' uma &parte de Objeto o comprimento de Objeto e' Numero Real Meter(s) Numero Real e' menos que 914
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1940-1954	Area Geografica e' uma instancia de Area Geografica geographicSubregion ElevationLowPointFn Area Geografica and Area Geografica Unidade de Medida e' uma instancia de UnitOfLength elevation ElevationLowPointFn Area Geografica and Numero Real Unidade de Medida(s) Area Geografica Numero Real geographicSubregion Area Geografica and Area Geografica Area Geografica e' igual a ElevationLowPointFn Area Geografica elevation Area Geografica and Numero Real Unidade de Medida(s) Numero Real e' menos que Numero Real
No TPTP formula. May not be expressible in strict first order.	Weather.kif 892-898	Regiao e' uma instancia de Area Geografica Processo e' uma instancia de ClearWeather eventLocated Processo and Regiao cloudCoverFraction Regiao and Numero Real nao-negativo Numero Real nao-negativo e' menos que 0.3
No TPTP formula. May not be expressible in strict first order.	Weather.kif 882-890	Regiao e' uma instancia de Area Geografica Processo e' uma instancia de ClearWeather eventLocated Processo and Regiao Numero Real nao-negativo cloudCoverFraction Regiao and Numero Real nao-negativo Numero Real nao-negativo e' menos que 0.3
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4698-4708	Objeto auto-conectado e' uma instancia de Bottle o fundo de Objeto auto-conectado e' Objeto auto-conectado o topo de Objeto auto-conectado e' Objeto auto-conectado Unidade de Medida e' uma instancia de UnitOfLength a largura de Objeto auto-conectado e' Numero Real Unidade de Medida(s) a largura de Objeto auto-conectado e' Numero Real Unidade de Medida(s) Numero Real e' menos que Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10961-10974	Processo e' uma instancia de Resfriar Entidade e' um patient de Processo Entidade Numero Real and Numero Real Entidade e' uma instancia de Medida de Temperatura Entidade Entidade(s) e' igual a Numero Real vale durante o comeco de tempo de existencia de Processo Entidade Entidade(s) e' igual a Numero Real vale durante o fim de tempo de existencia de Processo Numero Real e' menos que Numero Real
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 620-630	Processo e' uma instancia de CPR Movimento e' uma instancia de Compressing Objeto e' o caminho ao longo do qual Movimento ocorre Movimento e' um sub-processo de Processo o comprimento de Objeto e' Numero Real Centimeter(s) Numero Real e' maior que 5.0 Numero Real e' menos que 6.0

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

No TPTP formula. May not be expressible in strict first order.

Merge.kif 6099-6106

Caminho do Grafo Caminho do Grafo Caminho do Grafo e' uma instancia de o conjunto de caminhos que dividem Grafo em dois grafos distintos Caminho do Grafo e' uma instancia de o conjunto minimal de caminhos que dividem Grafo em dois grafos distintos o comprimento de Caminho do Grafo e' Inteiro positivo o comprimento de Caminho do Grafo e' Inteiro positivo Inteiro positivo e' menos que Inteiro positivo

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

KB Term:			Term intersection

English Word: