Calorie
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2616-2616 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7343-7343 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1330-1330 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7341-7341 | Calorie est une instance de CompositeUnitOfMeasure |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12787-12787 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12786-12786 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12785-12785 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30650-30671 |
|
statement |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7345-7347 | Nombre r�el Calorie(s) est nombre r�el + 4.1868 Joule(s) |