TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2632-2634
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7505-7508
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1347-1349
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7502-7502	O argumento numero 1 de measure e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7503-7503	O argumento numero 2 de measure e' uma instancia de Quantidade Fisica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7501-7501	measure e' uma instancia de Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7500-7500	measure e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 607-607
No TPTP formula. May not be expressible in strict first order.	english_format.kif 610-610
No TPTP formula. May not be expressible in strict first order.	french_format.kif 368-368
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 177-177
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2102-2102
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 320-320
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 378-378
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 794-794
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 215-215
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 390-390
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 409-409
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 350-350
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 868-868	absorbedDose e' uma sub-relacao de measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7517-7517	age e' uma sub-relacao de measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25675-25675	airTemperature e' uma sub-relacao de measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7815-7815	barometricPressure e' uma sub-relacao de measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1386-1386	effectiveRange e' uma sub-relacao de measure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1005-1005	fleetDeadWeightTonnage e' uma sub-relacao de measure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 987-987	fleetGrossRegisteredTonnage e' uma sub-relacao de measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7530-7530	linearExtent e' uma sub-relacao de measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13727-13727	loudness e' uma sub-relacao de measure
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1660-1660	memorySize e' uma sub-relacao de measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9864-9864	phMeasure e' uma sub-relacao de measure
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1528-1528	significantWaveHeight e' uma sub-relacao de measure

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

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.	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.	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.	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.	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.	Cars.kif 2585-2603	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.	MilitaryProcesses.kif 862-866	RadiationMeasure e' igual a Numero Real Rad(s) a medida de Objeto e' RadiationMeasure absorbedDose Objeto and RadiationMeasure
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2884-2902	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.	Cars.kif 2567-2583	A medida de Objeto e' Funcao de Quantidade vale durante Posicao Temporal engineIdleSpeed InternalCombustionEngine and Funcao de Quantidade Objeto e' uma instancia de Automobile InternalCombustionEngine e' uma &parte de Objeto Objeto e' uma &parte de InternalCombustionEngine o argumento Entidade Entidade Entidade acontece durante Posicao Temporal Entidade e' uma instancia de Pushing Entidade termina em Entidade Entidade e' uma &parte de Objeto tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30662-30683	Dieting e' um atributo de AutonomousAgent vale durante Intervalo Temporal Dieting e' um atributo de AutonomousAgent vale durante Intervalo Temporal Objeto e' uma instancia de Meal Processo e' uma instancia de Comer Processo e' um agente de AutonomousAgent Objeto e' um recurso para Processo tempo de existencia de Processo acontece durante Intervalo Temporal a medida de Objeto e' Numero Real Calorie(s) Objeto e' uma instancia de Meal Processo e' uma instancia de Comer Processo e' um agente de AutonomousAgent Objeto e' um recurso para Processo tempo de existencia de Processo acontece durante Intervalo Temporal a medida de Objeto e' Numero Real Calorie(s) o argumento Numero Real e' maior que Numero Real tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Food.kif 1321-1332	Objeto e' uma instancia de Americano Substancia e' uma &parte de Objeto Substancia e' uma &parte de Objeto Substancia e' uma instancia de Espresso Substancia e' uma instancia de DrinkingWater a medida de Substancia e' 90.0 CelsiusDegree(s) mixtureRatio Substancia, Substancia, Numero Real, Numero Real and Liter approximateValue Numero Real and 0.03 approximateValue Numero Real and 0.15
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2873-2884	Objeto e' uma instancia de Brine a medida de Objeto e' 1.0 Liter(s) Objeto e' uma &parte de Objeto Objeto e' uma instancia de SodiumChloride a medida de Objeto e' Numero Real Gram(s) Numero Real e' maior que 35.0 Numero Real e' menor ou igual a 260.0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13831-13839	Processo e' uma instancia de Ferver boilingPoint Substancia Pura and Numero Real Unidade de Medida(s) Entidade e' uma instancia de Substancia Pura Entidade e' um patient de Processo a medida de Entidade e' Numero Real Unidade de Medida(s) vale durante tempo de existencia de Processo Unidade de Medida e' uma instancia de UnitOfTemperature Numero Real e' maior ou igual a Numero Real
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4081-4113	Objeto e' uma instancia de BimetalTemperatureSensor Objeto e' uma instancia de Metal Objeto e' uma instancia de Metal Objeto e' igual a Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Entidade e' uma instancia de Medida de Temperatura Entidade e' uma instancia de Medida de Temperatura Numero Real e' uma instancia de Medida de Comprimento Numero Real e' uma instancia de Medida de Comprimento Numero Real e' uma instancia de Medida de Comprimento Numero Real e' uma instancia de Medida de Comprimento Entidade e' igual a Entidade Posicao Temporal e' igual a Posicao Temporal a medida de Objeto e' Entidade a medida de Objeto e' Numero Real a medida de Objeto e' Numero Real vale durante Posicao Temporal a medida de Objeto e' Entidade a medida de Objeto e' Numero Real a medida de Objeto e' Numero Real vale durante Posicao Temporal Numero Real + Numero Real e' igual a Numero Real + Numero Real
No TPTP formula. May not be expressible in strict first order.	Food.kif 1285-1301	Objeto e' uma instancia de Cappuccino Substancia e' uma &parte de Objeto Substancia e' uma &parte de Objeto Substancia e' uma instancia de Espresso Substancia e' uma instancia de MilkFoam mixtureRatio Substancia, Substancia, Numero Real, Numero Real and Liter Objeto auto-conectado e' uma &parte de Substancia Objeto auto-conectado e' uma instancia de Bubble o topo de Substancia e' Objeto auto-conectado a medida de Objeto auto-conectado e' Numero Real Millimeter(s) approximateValue Numero Real and 0.03 approximateValue Numero Real and 0.15 approximateValue Numero Real and 20.0

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.	Merge.kif 7758-7766	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.	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.	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 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.	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.	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 25687-25696	Atributo e' um atributo de Objeto Atributo e' uma instancia de TemperatureAttribute Objeto e' uma instancia de Objeto Objeto a medida de Objeto e' Objeto Objeto e' uma instancia de Medida de Temperatura Atributo e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13536-13545	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 13547-13558	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 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.	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.	Merge.kif 6165-6176	graphMeasure Grafo and Unidade de Medida Elemento do Grafo e' uma instancia de No' do Grafo Elemento do Grafo e' uma &parte de Grafo Arco do Grafo e' uma &parte de Grafo Arco do Grafo e' uma instancia de Arco do Grafo abstractCounterpart Elemento do Grafo and Fisico abstractCounterpart Arco do Grafo and Fisico o valor de Arco do Grafo e' Numero Real a medida de Fisico e' Numero Real Unidade de Medida(s)
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1172-1184	Objeto e' uma instancia imediata de Classe Fisico e' uma instancia imediata de Classe Oversized e' um atributo de Objeto ObjetoSIZE FisicoSIZE and Unidade de Medida Unidade de Medida e' uma instancia de Unidade de Medida a medida de Objeto e' ObjetoSIZE Unidade de Medida(s) a medida de Fisico e' FisicoSIZE Unidade de Medida(s) ObjetoSIZE e' maior que FisicoSIZE
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25722-25737	Objeto e' uma instancia imediata de Classe Objeto e' uma instancia imediata de Classe ColdTemperature e' um atributo de Objeto HotTemperature e' um atributo de Objeto Numero Real Numero Real and Unidade de Medida a medida de Objeto e' Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfTemperature Numero Real e' uma instancia de Medida de Temperatura a medida de Objeto e' Numero Real Unidade de Medida(s) Numero Real e' uma instancia de Medida de Temperatura Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17143-17164	Processo e' uma instancia de Accelerating Processo e' um agente de AutonomousAgent Numero Real Numero Real, Numero Real, Numero Real, Entidade and Entidade a medida de AutonomousAgent e' Numero Real Entidade(s) por Numero Real Entidade(s) vale durante o comeco de tempo de existencia de Processo a medida de AutonomousAgent e' Numero Real Entidade(s) por Numero Real Entidade(s) vale durante o fim de tempo de existencia de Processo Numero Real e' maior que Numero Real Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28812-28816	Fisico e' uma instancia de Actinium Fisico e' uma instancia de Atomo a medida de Fisico e' 227 Amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27478-27482	Fisico e' uma instancia de Aluminum Fisico e' uma instancia de Atomo a medida de Fisico e' 26.9815 Amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28918-28922	Fisico e' uma instancia de Americium Fisico e' uma instancia de Atomo a medida de Fisico e' 243 Amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28112-28116	Fisico e' uma instancia de Antimony Fisico e' uma instancia de Atomo a medida de Fisico e' 121.75 Amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27561-27565	Fisico e' uma instancia de Argon Fisico e' uma instancia de Atomo a medida de Fisico e' 39.948 Amu(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: