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 is an instance of unit of length |
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 | The maximum expected length of hamster is 10.0 centimeter(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30613-30613 | The minimum expected length of hamster is 5.0 centimeter(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6780-6782 | A real number centimeter(s) is equal to the real number and 0.01 meter(s) |