Centimeter
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2513-2514 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6777-6778 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1212-1213 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5903-5903 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6775-6775 | Centimeter est une instance de UnitOfLength |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13764-13764 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13763-13763 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13762-13762 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 620-630 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4401-4405 |
|
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1567-1574 |
|
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1517-1524 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2940-2955 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3083-3089 |
|
statement |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30612-30612 | defaultMaximumLength Hamster and 10.0 Centimeter(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30613-30613 | defaultMinimumLength Hamster and 5.0 Centimeter(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6780-6782 | Nombre r�el Centimeter(s) est nombre r�el + 0.01 Meter(s) |