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 7323-7326 | |
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 7321-7321 | FahrenheitDegree e' uma instancia de 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 |
consequent |
statement |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7013-7015 | Numero Real CelsiusDegree(s) e' igual a ( Numero Real + 32.0) + 1.8 FahrenheitDegree(s) |