Ounce(盎司) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2598-2598 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7245-7246 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1309-1309 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7243-7243 | 盎司 是 UnitOfVolume 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43656-43656 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43655-43655 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43654-43654 |
statement |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30470-30470 | Lemur 的 minimum 预期价值是 1.0 盎司 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30450-30450 | Parrot 的 minimum 预期价值是 0.4 盎司 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7248-7250 | 实数 盎司 equal 那个 实数 和 8 杯子 |