| FahrenheitDegree(fahrenheit degree) | | F, Fahrenheit_scale, degree_Fahrenheit, fahrenheit_degree |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7602-7603 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7598-7601 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7597-7597 | Fahrenheit degree is an instance of UnitOfTemperature |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4281-4281 | "fahrenheit degree" is the printable form of fahrenheit degree in english language |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2957-2963 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6040-6048 |
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1006-1013 |
|
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7270-7272 | A real number celsius degree(s) is equal to (the real number and 32) and 1.8 fahrenheit degree(s) |
|
|
|