| 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 7246-7247 | |
| 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 7244-7244 | Ounce e' uma instancia de UnitOfVolume |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43658-43658 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43657-43657 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43656-43656 |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30494-30494 | defaultMinimumMeasure Lemur and 1.0 Ounce(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30474-30474 | defaultMinimumMeasure Parrot and 0.4 Ounce(s) |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7249-7251 | Numero Real Ounce(s) e' igual a Numero Real + 8 Cup(s) |
|
|
|