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 6319-6323 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6315-6315 | The number 1 argument of measure is an instance of real number |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6316-6316 | The number 2 argument of measure is an instance of unit of measure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6313-6313 | Measure is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6314-6314 | Measure is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6317-6317 | The range of measure is an instance of physical quantity |
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. | domainEnglishFormat.kif 36649-36649 | |
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 36648-36648 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36647-36647 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7252-7258 | A self connected object is an instance of liquid drop and the approximate diameter of the self connected object is a real number micrometer(s) and 500.0 is less than the real number if and only if the self connected object is an instance of droplet |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7168-7179 | An object is an instance of PM and a self connected object is a part of the object and the approximate diameter of the self connected object is a real number micrometer(s) and 10.0 is greater than the real number and the real number is greater than 2.5 if and only if there exists the object10 such that the object10 is an instance of PM10 and the object10 is a part of the object |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7197-7207 | An object is an instance of PM and a self connected object is a part of the object and the approximate diameter of the self connected object is a real number micrometer(s) and the real number is greater than or equal to 2.5 if and only if there exists the object25 such that the object25 is an instance of PM2.5 and the object25 is a part of the object |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3664-3666 | An object courseWRT true north another object for 0.0 angular degree(s) if and only if the object is north to the other object |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3688-3690 | An object courseWRT true north another object for 135.0 angular degree(s) if and only if the object is southeast to the other object |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3672-3674 | An object courseWRT true north another object for 180.0 angular degree(s) if and only if the object is south to the other object |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3692-3694 | An object courseWRT true north another object for 225.0 angular degree(s) if and only if the object is southwest to the other object |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3676-3678 | An object courseWRT true north another object for 270.0 angular degree(s) if and only if the object is west to the other object |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3696-3698 | An object courseWRT true north another object for 315.0 angular degree(s) if and only if the object is northwest to the other object |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3680-3682 | An object courseWRT true north another object for 360.0 angular degree(s) if and only if the object is north to the other object |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3684-3686 | An object courseWRT true north another object for 45.0 angular degree(s) if and only if the object is northeast to the other object |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3668-3670 | An object courseWRT true north another object for 90.0 angular degree(s) if and only if the object is east to the other object |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1702-1708 | A function quantity is equal to a real number miles per hour(s) if and only if the function quantity is equal to the real number mile(s) per 1 hour duration(s) |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3064-3075 | There exist a financial instrument, the financial instrumentPrice and another real number such that an agreement is an instance of call option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice an unit of measure(s) for an agent and the unit of measure is an instance of unit of currency and the other real number the unit of measure(s) is a strike price of the agreement and the financial instrumentPrice is less than the other real number if and only if the agent is an out of the money of the agreement |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3015-3026 | There exist a financial instrument, the financial instrumentPrice and another real number such that an agreement is an instance of call option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice an unit of measure(s) for an agent and the unit of measure is an instance of unit of currency and the other real number the unit of measure(s) is a strike price of the agreement and the other real number is less than the financial instrumentPrice if and only if the agent is an in the money of the agreement |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3028-3039 | There exist a financial instrument, the financial instrumentPrice and another real number such that an agreement is an instance of put option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice an unit of measure(s) for an agent and the unit of measure is an instance of unit of currency and the other real number the unit of measure(s) is a strike price of the agreement and the financial instrumentPrice is less than the other real number if and only if the agent is an in the money of the agreement |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3077-3088 | There exist a financial instrument, the financial instrumentPrice and another real number such that an agreement is an instance of put option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice an unit of measure(s) for an agent and the unit of measure is an instance of unit of currency and the other real number the unit of measure(s) is a strike price of the agreement and the other real number is less than the financial instrumentPrice if and only if the agent is an out of the money of the agreement |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13452-13458 | The measure of a physical is a real number metric ton(s) if and only if the measure of the physical is the real number and 2205.0 pound mass(s) |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 378-380 | The measure of a physical is a real number angular degree(s) if and only if the measure of the physical is 60.0 and the real number arc minute(s) |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 397-399 | The measure of a physical is a real number arc minute(s) if and only if the measure of the physical is 60.0 and the real number arc second(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13174-13179 | The measure of a physical is a real number Ounce(s) if and only if the measure of the physical is the real number and 16.0 pound mass(s) |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2553-2556 | The measure of a solution is a real number PH value(s) if and only if the real number is a potential of hydrogen of the solution |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1124-1132 | A geopolitical area is sector value of GDP in period an industry attribute for a real number an unit of measure(s) with a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and the geopolitical area is sector value of GDP the industry attribute for the real number the unit of measure(s) holds during the time position |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7563-7578 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17768-17779 |
|
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 29274-29274 | 3470.0 Kelvin degree(s) is a boiling point of actinium |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29122-29122 | 2740.0 Kelvin degree(s) is a boiling point of aluminum |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29286-29286 | 2880.0 Kelvin degree(s) is a boiling point of americium |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29198-29198 | 2023.0 Kelvin degree(s) is a boiling point of antimony |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29132-29132 | 87.29 Kelvin degree(s) is a boiling point of argon |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29162-29162 | 886.0 Kelvin degree(s) is a boiling point of arsenic |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29266-29266 | 610.0 Kelvin degree(s) is a boiling point of astatine |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29208-29208 | 1913.0 Kelvin degree(s) is a boiling point of barium |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29104-29104 | 3243.0 Kelvin degree(s) is a boiling point of beryllium |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29262-29262 | 1833.0 Kelvin degree(s) is a boiling point of bismuth |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29106-29106 | 2823.0 Kelvin degree(s) is a boiling point of boron |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29166-29166 | 331.93 Kelvin degree(s) is a boiling point of bromine |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29192-29192 | 1038.0 Kelvin degree(s) is a boiling point of cadmium |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29206-29206 | 963.0 Kelvin degree(s) is a boiling point of caesium |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29136-29136 | 1760.0 Kelvin degree(s) is a boiling point of calcium |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29108-29108 | 5100.0 Kelvin degree(s) is a boiling point of carbon |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29212-29212 | 3530.0 Kelvin degree(s) is a boiling point of cerium |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29130-29130 | 238.55 Kelvin degree(s) is a boiling point of chlorine |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29144-29144 | 2755.0 Kelvin degree(s) is a boiling point of chromium |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29150-29150 | 3143.0 Kelvin degree(s) is a boiling point of cobalt |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29154-29154 | 2868.0 Kelvin degree(s) is a boiling point of copper |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29228-29228 | 2608.0 Kelvin degree(s) is a boiling point of dysprosium |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29232-29232 | 2783.0 Kelvin degree(s) is a boiling point of erbium |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29222-29222 | 1870.0 Kelvin degree(s) is a boiling point of europium |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29114-29114 | 85.01 Kelvin degree(s) is a boiling point of fluorine |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
![]() |
![]() |