MeasureFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2434-2436 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6353-6357 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1125-1128 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6349-6349 | O argumento numero 1 de MeasureFn e' uma instancia de Numero Real |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6350-6350 | O argumento numero 2 de MeasureFn e' uma instancia de Unidade de Medida |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6347-6347 | MeasureFn e' uma instancia de Funcao Binaria |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6348-6348 | MeasureFn e' uma instancia de Relacao Total |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6351-6351 | O contra-dominio de MeasureFn e' uma instancia de Quantidade Fisica |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 633-633 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 636-636 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 383-383 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 178-178 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2113-2113 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 335-335 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 392-392 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 829-829 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 216-216 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 405-405 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 426-426 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36671-36671 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 634-634 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36670-36670 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36669-36669 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 353-353 |
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. | 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. | Geography.kif 7469-7479 | Objeto e' uma instancia de ParticulateMatter Objeto auto-conectado e' uma &parte de Objeto approximateDiameter Objeto auto-conectado and Numero Real Micrometer(s) Numero Real e' maior ou igual a 2.5 Objeto25 Objeto25 e' uma instancia de FineParticulateMatter Objeto25 e' uma &parte de Objeto |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3731-3733 | courseWRTTrueNorth Objeto, Objeto and 0.0 AngularDegree(s) Objeto e' North em relacao a Objeto |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3755-3757 | courseWRTTrueNorth Objeto, Objeto and 135.0 AngularDegree(s) Objeto e' Southeast em relacao a Objeto |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3739-3741 | courseWRTTrueNorth Objeto, Objeto and 180.0 AngularDegree(s) Objeto e' South em relacao a Objeto |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3759-3761 | courseWRTTrueNorth Objeto, Objeto and 225.0 AngularDegree(s) Objeto e' Southwest em relacao a Objeto |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3743-3745 | courseWRTTrueNorth Objeto, Objeto and 270.0 AngularDegree(s) Objeto e' West em relacao a Objeto |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3763-3765 | courseWRTTrueNorth Objeto, Objeto and 315.0 AngularDegree(s) Objeto e' Northwest em relacao a Objeto |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3747-3749 | courseWRTTrueNorth Objeto, Objeto and 360.0 AngularDegree(s) Objeto e' North em relacao a Objeto |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3751-3753 | courseWRTTrueNorth Objeto, Objeto and 45.0 AngularDegree(s) Objeto e' Northeast em relacao a Objeto |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3735-3737 | courseWRTTrueNorth Objeto, Objeto and 90.0 AngularDegree(s) Objeto e' East em relacao a Objeto |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1685-1691 | Funcao de Quantidade e' igual a Numero Real MilesPerHour(s) Funcao de Quantidade e' igual a Numero Real Mile(s) por 1 HourDuration(s) |
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 1783-1787 | hearingAcuity Humano, -10 Decibel(s) and 15 Decibel(s) NormalHearingSensitivity e' um atributo de Humano |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1794-1798 | hearingAcuity Humano, 16 Decibel(s) and 25 Decibel(s) BorderlineHearingSensitivity e' um atributo de Humano |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1805-1809 | hearingAcuity Humano, 26 Decibel(s) and 40 Decibel(s) MildHearingLoss e' um atributo de Humano |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1815-1819 | hearingAcuity Humano, 41 Decibel(s) and 55 Decibel(s) ModerateHearingLoss e' um atributo de Humano |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1826-1830 | hearingAcuity Humano, 56 Decibel(s) and 70 Decibel(s) ModeratelySevereHearingLoss e' um atributo de Humano |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1837-1841 | hearingAcuity Humano, 71 Decibel(s) and 90 Decibel(s) SevereHearingLoss e' um atributo de Humano |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1848-1852 | hearingAcuity Humano, 91 Decibel(s) and 200 Decibel(s) ProfoundHearingLoss e' um atributo de Humano |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13632-13638 | A medida de Fisico e' Numero Real MetricTon(s) a medida de Fisico e' Numero Real + 2205.0 PoundMass(s) |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |
statement |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29409-29409 | boilingPoint Actinium and 3470.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29257-29257 | boilingPoint Aluminum and 2740.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29421-29421 | boilingPoint Americium and 2880.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29333-29333 | boilingPoint Antimony and 2023.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29267-29267 | boilingPoint Argon and 87.29 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29297-29297 | boilingPoint Arsenic and 886.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29401-29401 | boilingPoint Astatine and 610.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29343-29343 | boilingPoint Barium and 1913.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29239-29239 | boilingPoint Beryllium and 3243.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29397-29397 | boilingPoint Bismuth and 1833.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29241-29241 | boilingPoint Boron and 2823.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29301-29301 | boilingPoint Bromine and 331.93 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29327-29327 | boilingPoint Cadmium and 1038.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29341-29341 | boilingPoint Caesium and 963.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29271-29271 | boilingPoint Calcium and 1760.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29243-29243 | boilingPoint Carbon and 5100.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29347-29347 | boilingPoint Cerium and 3530.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29265-29265 | boilingPoint Chlorine and 238.55 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29279-29279 | boilingPoint Chromium and 2755.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29285-29285 | boilingPoint Cobalt and 3143.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29289-29289 | boilingPoint Copper and 2868.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29363-29363 | boilingPoint Dysprosium and 2608.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29367-29367 | boilingPoint Erbium and 2783.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29357-29357 | boilingPoint Europium and 1870.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29249-29249 | boilingPoint Fluorine and 85.01 KelvinDegree(s) |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |