CelsiusDegree
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2561-2562 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7004-7006 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1264-1265 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8410-8410 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9041-9041 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7002-7002 | 例 攝氏度 and SystemeInternationalUnit |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7001-7001 | 例 攝氏度 and UnitOfTemperature |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13704-13704 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13703-13703 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13702-13702 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1522-1530 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1370-1377 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1597-1603 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1419-1425 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1321-1332 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1575-1582 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1207-1216 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 686-694 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 651-659 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8985-8989 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1219-1228 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Food.kif 468-478 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1533-1541 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1566-1573 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1379-1386 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1409-1416 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1428-1443 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1285-1298 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1310-1320 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 844-851 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 799-834 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1233-1235 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 862-869 |
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 華氏度 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7008-7010 | 等於 測量 RealNumber and 攝氏度 and 測量 減法 RealNumber and 273.15 and 凱文度 |