FahrenheitDegree(華氏度) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2612-2613 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7322-7325 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1325-1327 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7320-7320 | 例 華氏度 and UnitOfTemperature |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23158-23158 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23157-23157 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23156-23156 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6505-6529 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2986-2992 |
consequent |
statement |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7012-7014 | 等於 測量 RealNumber and 攝氏度 and 測量 部 減法 RealNumber and 32.0 and 1.8 and 華氏度 |