|
|
  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 | 例 盎司 and UnitOfVolume |
| 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 30458-30458 | Lemur 的 minimum 預期價值是 測量 1.0 and 盎司 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30438-30438 | Parrot 的 minimum 預期價值是 測量 0.4 and 盎司 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7248-7250 | 等於 測量 RealNumber and 盎司 and 測量 部 RealNumber and 8 and 杯子 |
|
|
|