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 7005-7007 | |
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 7003-7003 | CelsiusDegree e' uma instancia de Sistema International de Unidades |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7002-7002 | CelsiusDegree e' uma instancia de 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 9012-9016 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1219-1228 |
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) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7009-7011 | Numero Real CelsiusDegree(s) e' igual a ( Numero Real + 273.15) KelvinDegree(s) |