|
|
   FunctionQuantity
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1790-1796 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2102-2110 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 406-411 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2100-2100 | 子類 FunctionQuantity and PhysicalQuantity |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 813-813 | 例 McgPerKg and FunctionQuantity |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1695-1695 | 例 MilesPerHour and FunctionQuantity |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1280-1280 | 範圍 AccelerationFn and FunctionQuantity |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6647-6647 | 範圍 密度 and FunctionQuantity |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2216-2216 | 範圍 Mean10MinutesWindSpeedFn and FunctionQuantity |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2321-2321 | 範圍 Mean1MinuteWindSpeedFn and FunctionQuantity |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2286-2286 | 範圍 Mean2MinutesWindSpeedFn and FunctionQuantity |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2251-2251 | 範圍 Mean3MinutesWindSpeedFn and FunctionQuantity |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1897-1897 | 範圍 Mean3SecondWindSpeedFn and FunctionQuantity |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6633-6633 | 範圍 每 and FunctionQuantity |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2111-2111 | 範圍 RotationFn and FunctionQuantity |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6659-6659 | 範圍 速度 and FunctionQuantity |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2031-2031 | 範圍 ThreeSecondGustSpeedFn and FunctionQuantity |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6672-6672 | 範圍 速度 and FunctionQuantity |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6267-6267 | 子類 AreaMeasure and FunctionQuantity |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6208-6208 | 子類 CompositeUnitOfMeasure and FunctionQuantity |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2112-2112 | 子類 UnaryConstantFunctionQuantity and FunctionQuantity |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6278-6278 | 子類 VolumeMeasure and FunctionQuantity |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 882-882 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 966-966 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 558-558 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 88-88 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 91-91 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2243-2243 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1274-1274 | 域 AccelerationFn, 1 and FunctionQuantity |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1054-1054 | 域 帶寬, 2 and FunctionQuantity |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 502-502 | 域 contractedRentalPrice, 2 and FunctionQuantity |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 797-797 | 域 有效劑量, 2 and FunctionQuantity |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2565-2565 | 域 engineIdleSpeed, 2 and FunctionQuantity |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2887-2887 | 域 governorSpeed, 2 and FunctionQuantity |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 844-844 | 域 致死劑量, 2 and FunctionQuantity |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1200-1200 | 域 降水率, 2 and FunctionQuantity |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2823-2823 | 域 rainfallIntensity, 3 and FunctionQuantity |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 455-455 | 域 rentalPrice, 2 and FunctionQuantity |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 3028-3028 | 域 snowfallIntensity, 3 and FunctionQuantity |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 778-778 | 域 聲音頻率, 2 and FunctionQuantity |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2122-2122 | 域 speedScaleAttributeMinMax, 2 and FunctionQuantity |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2123-2123 | 域 speedScaleAttributeMinMax, 3 and FunctionQuantity |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1711-1711 | 域 topSpeed, 2 and FunctionQuantity |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31334-31334 | 域 transformerCapacity, 2 and FunctionQuantity |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3047-3047 | 域 過境通行能力, 3 and FunctionQuantity |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 398-398 | 域 unitPrice, 2 and FunctionQuantity |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31242-31242 | 域 voltageRatingPrimary, 2 and FunctionQuantity |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31285-31285 | 域 voltageRatingSecondary, 2 and FunctionQuantity |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2282-2282 | 域 讓, 2 and FunctionQuantity |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2026-2026 | 劃分 PhysicalQuantity, ConstantQuantity and FunctionQuantity |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1994-1999 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6225-6229 |
|
|
|
|