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 6352-6356 | |
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 6348-6348 | Le nombre 1 argument de MeasureFn est une instance de nombre r�el |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6349-6349 | Le nombre 2 argument de MeasureFn est une instance de unit� de mesure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6346-6346 | MeasureFn est une instance de fonction binaire |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6347-6347 | MeasureFn est une instance de relation total |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6350-6350 | Le domaine de MeasureFn est une instance de quantit� physique |
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 | Objet en une partie est une instance de LiquidDrop approximateDiameter objet en une partie and nombre r�el Micrometer(s) 500.0 est moins que nombre r�el objet en une partie est une instance de Droplet |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7440-7451 | Objet est une instance de ParticulateMatter objet en une partie est une partie de objet approximateDiameter objet en une partie and nombre r�el Micrometer(s) 10.0 est plus grand que nombre r�el nombre r�el est plus grand que 2.5 objet10 objet10 est une instance de CoarseParticulateMatter objet10 est une partie de objet |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7469-7479 | Objet est une instance de ParticulateMatter objet en une partie est une partie de objet approximateDiameter objet en une partie and nombre r�el Micrometer(s) nombre r�el est plus grand ou �gal � 2.5 objet25 objet25 est une instance de FineParticulateMatter objet25 est une partie de objet |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3731-3733 | courseWRTTrueNorth objet, objet and 0.0 AngularDegree(s) objet est North � objet |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3755-3757 | courseWRTTrueNorth objet, objet and 135.0 AngularDegree(s) objet est Southeast � objet |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3739-3741 | courseWRTTrueNorth objet, objet and 180.0 AngularDegree(s) objet est South � objet |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3759-3761 | courseWRTTrueNorth objet, objet and 225.0 AngularDegree(s) objet est Southwest � objet |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3743-3745 | courseWRTTrueNorth objet, objet and 270.0 AngularDegree(s) objet est West � objet |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3763-3765 | courseWRTTrueNorth objet, objet and 315.0 AngularDegree(s) objet est Northwest � objet |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3747-3749 | courseWRTTrueNorth objet, objet and 360.0 AngularDegree(s) objet est North � objet |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3751-3753 | courseWRTTrueNorth objet, objet and 45.0 AngularDegree(s) objet est Northeast � objet |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3735-3737 | courseWRTTrueNorth objet, objet and 90.0 AngularDegree(s) objet est East � objet |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1698-1704 | Function de quantit� est nombre r�el MilesPerHour(s) function de quantit� est nombre r�el Mile(s) par 1 HourDuration(s) |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3051-3062 | FinancialInstrument FinancialInstrumentPrice and nombre r�el Agreement est une instance de CallOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency strikePrice Agreement and nombre r�el unit� de mesure(s) FinancialInstrumentPrice est moins que nombre r�el outOfTheMoney Agreement and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3002-3013 | FinancialInstrument FinancialInstrumentPrice and nombre r�el Agreement est une instance de CallOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency strikePrice Agreement and nombre r�el unit� de mesure(s) nombre r�el est moins que FinancialInstrumentPrice inTheMoney Agreement and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3015-3026 | FinancialInstrument FinancialInstrumentPrice and nombre r�el Agreement est une instance de PutOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency strikePrice Agreement and nombre r�el unit� de mesure(s) FinancialInstrumentPrice est moins que nombre r�el inTheMoney Agreement and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3064-3075 | FinancialInstrument FinancialInstrumentPrice and nombre r�el Agreement est une instance de PutOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency strikePrice Agreement and nombre r�el unit� de mesure(s) nombre r�el est moins que FinancialInstrumentPrice outOfTheMoney Agreement and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1783-1787 | hearingAcuity humain, -10 Decibel(s) and 15 Decibel(s) NormalHearingSensitivity est un attribut de humain |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1794-1798 | hearingAcuity humain, 16 Decibel(s) and 25 Decibel(s) BorderlineHearingSensitivity est un attribut de humain |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1805-1809 | hearingAcuity humain, 26 Decibel(s) and 40 Decibel(s) MildHearingLoss est un attribut de humain |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1815-1819 | hearingAcuity humain, 41 Decibel(s) and 55 Decibel(s) ModerateHearingLoss est un attribut de humain |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1826-1830 | hearingAcuity humain, 56 Decibel(s) and 70 Decibel(s) ModeratelySevereHearingLoss est un attribut de humain |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1837-1841 | hearingAcuity humain, 71 Decibel(s) and 90 Decibel(s) SevereHearingLoss est un attribut de humain |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1848-1852 | hearingAcuity humain, 91 Decibel(s) and 200 Decibel(s) ProfoundHearingLoss est un attribut de humain |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13604-13610 | La mesure de physique est nombre r�el MetricTon(s) la mesure de physique est nombre r�el + 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 29346-29346 | boilingPoint Actinium and 3470.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29194-29194 | boilingPoint Aluminum and 2740.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29358-29358 | boilingPoint Americium and 2880.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29270-29270 | boilingPoint Antimony and 2023.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29204-29204 | boilingPoint Argon and 87.29 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29234-29234 | boilingPoint Arsenic and 886.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29338-29338 | boilingPoint Astatine and 610.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29280-29280 | boilingPoint Barium and 1913.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29176-29176 | boilingPoint Beryllium and 3243.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29334-29334 | boilingPoint Bismuth and 1833.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29178-29178 | boilingPoint Boron and 2823.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29238-29238 | boilingPoint Bromine and 331.93 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29264-29264 | boilingPoint Cadmium and 1038.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29278-29278 | boilingPoint Caesium and 963.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29208-29208 | boilingPoint Calcium and 1760.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29180-29180 | boilingPoint Carbon and 5100.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29284-29284 | boilingPoint Cerium and 3530.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29202-29202 | boilingPoint Chlorine and 238.55 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29216-29216 | boilingPoint Chromium and 2755.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29222-29222 | boilingPoint Cobalt and 3143.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29226-29226 | boilingPoint Copper and 2868.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29300-29300 | boilingPoint Dysprosium and 2608.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29304-29304 | boilingPoint Erbium and 2783.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29294-29294 | boilingPoint Europium and 1870.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29186-29186 | boilingPoint Fluorine and 85.01 KelvinDegree(s) |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |