TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2212-2213
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4703-4705
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 876-877
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4699-4699	O argumento numero 1 de MultiplicationFn e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4700-4700	O argumento numero 2 de MultiplicationFn e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5294-5294	1 e' um elemento identificador de MultiplicationFn
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4695-4695	MultiplicationFn e' uma instancia de Funcao Associativa
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4694-4694	MultiplicationFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4696-4696	MultiplicationFn e' uma instancia de Funcao Commutativa
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4698-4698	MultiplicationFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4701-4701	O contra-dominio de MultiplicationFn e' uma instancia de Numero Real

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 680-680
No TPTP formula. May not be expressible in strict first order.	english_format.kif 682-682
No TPTP formula. May not be expressible in strict first order.	french_format.kif 413-413
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 196-196
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2130-2130
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 365-365
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 422-422
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 887-887
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 234-234
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 435-435
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 457-457
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 377-377
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39183-39183
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 681-681
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39182-39182
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39181-39181
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 378-378

antecedent

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.	Merge.kif 5117-5128	Numero Inteiro e' igual a 0 (o maior numero inteiro menor or igual a Numero Inteiro + Numero Inteiro + Numero Inteiro + Numero Inteiro) e' igual a Numero Inteiro Numero Inteiro mod Numero Inteiro e' igual a Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2165-2176	otherLandUseArea 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 Numero Real e' igual a Numero Real + Numero Real otherLandUseArea Area Geografica and Numero Real Unidade de Medida(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2125-2136	permanentCropLandArea 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 Numero Real e' igual a Numero Real + Numero Real permanentCropLandArea Area Geografica and Numero Real Unidade de Medida(s)
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1107-1115	sectorCompositionOfGDPInPeriod Area Geopolitica, IndustryAttribute, Numero Real and Intervalo Temporal totalGDPInPeriod Area Geopolitica, Numero Real Unidade de Medida(s) and Intervalo Temporal Numero Real e' igual a Numero Real + Numero Real sectorValueOfGDPInPeriod Area Geopolitica, IndustryAttribute, Numero Real Unidade de Medida(s) and Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 587-597	simpleInterest FinancialAccount, Numero Real Unidade de Medida(s) and Intervalo Temporal principalAmount FinancialAccount and Numero Real Unidade de Medida(s) Numero Real-Decimal e' igual a Numero Real + Numero Real Numero Real e' igual a Numero Real-Decimal + 100.0 interestRatePerPeriod FinancialAccount, Numero Real and Intervalo Temporal
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.	Mid-level-ontology.kif 13683-13687	Numero Real e' igual a 1 + Numero Real Numero Real MillenniumDuration(s) e' igual a Numero Real + 1000 YearDuration(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3912-3919	Numero Real e' igual a 1.0 + Numero Real Numero Real NauticalMile(s) e' igual a Numero Real + 1.151 Mile(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3894-3901	Numero Real e' igual a 1.0 + Numero Real Numero Real NauticalMile(s) e' igual a Numero Real + 1.852 1 mil Meters(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3885-3892	Numero Real e' igual a 1.0 + Numero Real Numero Real NauticalMile(s) e' igual a Numero Real + 1852.0 Meter(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3903-3910	Numero Real e' igual a 1.0 + Numero Real Numero Real NauticalMile(s) e' igual a Numero Real + 6076.1 FootLength(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 625-631	Numero Real e' igual a 1.0 + Numero Real Numero Real SquareKilometer(s) e' igual a Numero Real + 1000000.0 SquareMeter(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19064-19068	Numero Real e' igual a 1 + Numero Real Numero Real CenturyDuration(s) e' igual a Numero Real + 100 YearDuration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8759-8763	Numero Real e' igual a 1 + Numero Real Numero Real DecadeDuration(s) e' igual a Numero Real + 10 YearDuration(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3844-3848	Numero Real e' igual a 1.0 + Numero Real Numero Real Fathom(s) e' igual a Numero Real + 6.0 FootLength(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13618-13622	Numero Real e' igual a 1.0 + Numero Real Numero Real LongTon(s) e' igual a Numero Real + 2240.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19083-19089	Numero Real e' igual a 1.0 + Numero Real Numero Real Nanometer(s) e' igual a Numero Real + 0.000000001 Meter(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13668-13672	Numero Real e' igual a 1.0 + Numero Real Numero Real RegistryTon(s) e' igual a Numero Real + 100.0 CubicFoot(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13591-13595	Numero Real e' igual a 1.0 + Numero Real Numero Real TonMass(s) e' igual a Numero Real + 2205.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19073-19077	Numero Real e' igual a 1.0 + Numero Real Numero Real YardLength(s) e' igual a 3.0 + Numero Real FootLength(s)

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13605-13611	A medida de Fisico e' Numero Real MetricTon(s) a medida de Fisico e' Numero Real + 2205.0 PoundMass(s)
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.	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.	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.	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.	Mid-level-ontology.kif 13566-13575	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.	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.	Merge.kif 5104-5115	Numero Inteiro mod Numero Inteiro e' igual a Numero Inteiro Numero Inteiro e' igual a 0 (o maior numero inteiro menor or igual a Numero Inteiro + Numero Inteiro + Numero Inteiro + Numero Inteiro) e' igual a Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1486-1497	Numero Real e' igual a VarianceAverageFn Numero Real and Lista 1 e' igual a comprimento de Lista Numero Real e' igual a ( Numero Real + 1th elemento de Lista) + ( Numero Real + 1th elemento de Lista)
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5915-5924	Humano e' uma instancia de HumanAdult a medida de Humano e' Numero Real Pounds(s) bloodVolume Humano and Numero Real2 Liter(s) Numero Real2 e' igual a Numero Real + 0.07 + 2.33
No TPTP formula. May not be expressible in strict first order.	Food.kif 2969-2986	Objeto e' uma instancia de OnePercentMilk a medida de Objeto e' Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfVolume Objeto Numero Real2 Objeto e' uma instancia de ButterFat Objeto e' uma &parte de Objeto Objeto Objeto e' uma instancia de ButterFat Objeto e' igual a Objeto Objeto e' uma &parte de Objeto a medida de Objeto e' Numero Real2 Unidade de Medida(s) Numero Real2 e' igual a 0.01 + Numero Real
No TPTP formula. May not be expressible in strict first order.	Food.kif 2993-3011	Objeto e' uma instancia de SemiSkimmedMilk a medida de Objeto e' Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfVolume Objeto Numero Real2 Objeto e' uma instancia de ButterFat Objeto e' uma &parte de Objeto Objeto Objeto e' uma instancia de ButterFat Objeto e' igual a Objeto Objeto e' uma &parte de Objeto a medida de Objeto e' Numero Real2 Unidade de Medida(s) Numero Real2 e' maior ou igual a 0.015 + Numero Real Numero Real2 e' menor ou igual a 0.02 + Numero Real
No TPTP formula. May not be expressible in strict first order.	Food.kif 3018-3036	Objeto e' uma instancia de SkimmedMilk a medida de Objeto e' Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfVolume Objeto Numero Real2 Objeto e' uma instancia de ButterFat Objeto e' uma &parte de Objeto Objeto Objeto e' uma instancia de ButterFat Objeto e' igual a Objeto Objeto e' uma &parte de Objeto a medida de Objeto e' Numero Real2 Unidade de Medida(s) Numero Real2 e' maior ou igual a 0.0 + Numero Real Numero Real2 e' menor ou igual a 0.005 + Numero Real
No TPTP formula. May not be expressible in strict first order.	Food.kif 2945-2962	Objeto e' uma instancia de TwoPercentMilk a medida de Objeto e' Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfVolume Objeto Numero Real2 Objeto e' uma instancia de ButterFat Objeto e' uma &parte de Objeto Objeto Objeto e' uma instancia de ButterFat Objeto e' igual a Objeto Objeto e' uma &parte de Objeto a medida de Objeto e' Numero Real2 Unidade de Medida(s) Numero Real2 e' igual a 0.02 + Numero Real
No TPTP formula. May not be expressible in strict first order.	Food.kif 2851-2869	Objeto e' uma instancia de WholeMilk a medida de Objeto e' Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfVolume Objeto Numero Real2 Objeto e' uma instancia de ButterFat Objeto e' uma &parte de Objeto Objeto Objeto e' uma instancia de ButterFat Objeto e' igual a Objeto Objeto e' uma &parte de Objeto a medida de Objeto e' Numero Real2 Unidade de Medida(s) Numero Real2 e' maior ou igual a 0.0325 + Numero Real Numero Real2 e' menor ou igual a 0.05 + Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5086-5091	Numero Real e' uma instancia de Numero Inteiro Numero Real e' igual a 0 1 e' igual a Numero Real + o reciproco de Numero Real
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3095-3109	Posicao Temporal e' uma instancia de ElectricalTransformer WireCoil e' uma instancia de WireCoil WireCoil e' uma instancia de WireCoil coilCount WireCoil and Numero Inteiro coilCount WireCoil and Numero Inteiro a medida de WireCoil e' Volt Numero Real(s) vale durante Posicao Temporal a medida de WireCoil e' Volt Numero Real(s) vale durante Posicao Temporal Numero Real e' igual a Numero Real + Numero Inteiro + Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1532-1547	WaterWave e' uma instancia de WaterWave waveHeight WaterWave and Medida de Comprimento Lista Area Aquatica, Unidade de Medida and Numero Real Medida de Comprimento e' um membro de Lista Area Aquatica e' uma instancia de Area Aquatica eventLocated WaterWave and Area Aquatica Unidade de Medida e' uma instancia de UnitOfLength significantWaveHeight Area Aquatica, tempo de existencia de WaterWave and Numero Real Unidade de Medida(s) Numero Real e' igual a 4.0 + StandardDeviationFn Lista
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2178-2196	otherLandUseArea 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 Area terrestre Area Geografica e' uma instancia de ArableLand Area Geografica e' uma instancia de PermanentCropLand 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.	Geography.kif 2138-2152	permanentCropLandArea 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 PermanentCropLand 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.	FinancialOntology.kif 2229-2239	AutonomousAgent possui Objeto a medida de Objeto e' Numero Real ShareUnit(s) splitFor StockSplit, Numero Inteiro and Numero Inteiro Entidade e' igual a Numero Real + Numero Inteiro Entidade e' igual a Entidade + Numero Inteiro a medida de Objeto e' Entidade ShareUnit(s) vale durante imediatemente apos tempo de existencia de StockSplit
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 538-548	principalAmount FinancialAccount and Numero Real Unidade de Medida(s) fixedInterestRate FinancialAccount and Numero Real simpleInterest FinancialAccount, Numero Real Unidade de Medida(s) and Intervalo Temporal Numero Real-Decimal e' igual a Numero Real + 100 Numero Real e' igual a Numero Real + Numero Real-Decimal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17906-17931	relativeAngle Objeto, Objeto and Numero Real physicalEnd Objeto and Objeto physicalEnd Objeto and Objeto Objeto e' igual a Objeto o comprimento de Objeto e' Numero Real1 Unidade de Medida(s) o comprimento de Objeto e' Numero Real2 Unidade de Medida(s) a distancia entre Objeto e Objeto e' Numero Real3 Unidade de Medida(s) physicalEnd Objeto and Objeto physicalEnd Objeto and Objeto Objeto e' igual a Objeto Objeto nao encontra %n Objeto Numero Real e' igual a ArcCosineFn (( Numero Real3 + Numero Real3 + Numero Real1 + Numero Real1) + Numero Real2 + Numero Real2) + 2.0 + Numero Real1 + Numero Real2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2782-2795	Flat 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 a altura de Objeto auto-conectado e' Numero Real Unidade de Medida(s) a altura de Objeto auto-conectado e' Numero Real Unidade de Medida(s) a altura de Objeto auto-conectado e' Numero Real Unidade de Medida(s) Numero Real e' maior que 2.0 + Numero Real Numero Real e' maior que 2.0 + Numero Real

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.	Geography.kif 402-402	Numero Real ArcMinute(s) e' igual a 60.0 + Numero Real ArcSecond(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 383-383	Numero Real AngularDegree(s) e' igual a 60.0 + Numero Real ArcMinute(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7151-7153	Numero Real Amu(s) e' igual a Numero Real + 1.6605402E-24 Gram(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7173-7175	Numero Real Angstrom(s) e' igual a Numero Real + 1.0E-10 Meter(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7367-7369	Numero Real AngularDegree(s) e' igual a Numero Real + Pi + 180.0 Radian(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7353-7355	Numero Real BritishThermalUnit(s) e' igual a Numero Real + 1055.05585262 Joule(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7425-7427	Numero Real Byte(s) e' igual a Numero Real + 8 Bit(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7345-7347	Numero Real Calorie(s) e' igual a Numero Real + 4.1868 Joule(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6780-6782	Numero Real Centimeter(s) e' igual a Numero Real + 0.01 Meter(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7087-7089	Numero Real DayDuration(s) e' igual a Numero Real + 24 HourDuration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7161-7163	Numero Real ElectronVolt(s) e' igual a Numero Real + 1.60217733E-19 Joule(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7405-7407	Numero Real EuroCent(s) e' igual a Numero Real + 0.01 EuroDollar(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7186-7188	Numero Real FootLength(s) e' igual a Numero Real + 0.3048 Meter(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7095-7097	Numero Real HourDuration(s) e' igual a Numero Real + 60 MinuteDuration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7193-7195	Numero Real Inch(s) e' igual a Numero Real + 0.0254 Meter(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7435-7437	Numero Real KiloByte(s) e' igual a Numero Real + 1024 Byte(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7279-7282	Numero Real Kilogram(s) e' igual a Numero Real + 1000 Gram(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6799-6802	Numero Real Kilometer(s) e' igual a Numero Real + 1000 Meter(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7445-7447	Numero Real MegaByte(s) e' igual a Numero Real + 1024 KiloByte(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7097-7100	Numero Real Micrometer(s) e' igual a Numero Real + 0.0000001 Meter(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7200-7202	Numero Real Mile(s) e' igual a Numero Real + 1609.344 Meter(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6789-6792	Numero Real Millimeter(s) e' igual a Numero Real + 0.001 Meter(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7103-7105	Numero Real MinuteDuration(s) e' igual a Numero Real + 60 SecondDuration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7335-7337	Numero Real PoundForce(s) e' igual a Numero Real + 4.448222 Newton(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7296-7298	Numero Real PoundMass(s) e' igual a Numero Real + 453.59237 Gram(s)

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: