| 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 | 厘米 是 UnitOfLength 的 instance |
| 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 | Hamster 的 maximum 预期长度是 10.0 厘米 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30613-30613 | Hamster 的 minimum 预期长度是 5.0 厘米 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6780-6782 | 实数 厘米 equal 那个 实数 和 0.01 仪表 |
|
|
|