mixtureRatio |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1238-1239 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1241-1241 | mixtureRatio 的 1 数量 是 物质 的 instance |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1242-1242 | mixtureRatio 的 2 数量 是 物质 的 instance |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1243-1243 | mixtureRatio 的 3 数量 是 实数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1244-1244 | mixtureRatio 的 4 数量 是 实数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1245-1245 | mixtureRatio 的 5 数量 是 测量单位 的 instance |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1237-1237 | mixtureRatio 是 五元关系 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1246-1246 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1240-1240 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1321-1332 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1285-1301 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1367-1385 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1399-1415 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1440-1450 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1248-1262 |