Centimeter(centimeter)![]() | ![]() | centimeter, centimetre, cm |
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 6802-6803 | |
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 5902-5902 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6800-6800 | 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 13773-13773 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13772-13772 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13771-13771 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 610-620 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4641-4645 |
|
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1602-1609 |
|
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1552-1559 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3770-3785 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3913-3919 |
|
statement |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 32546-32546 | 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 32547-32547 | The minimum expected length of hamster is 5.0 centimeter(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6805-6807 | equal a real number centimeter(s) and the real number and 0.01 meter(s) |
![]() |
![]() |