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 | The number 1 argument of mixture ratio is an instance of substance |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1242-1242 | The number 2 argument of mixture ratio is an instance of substance |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1243-1243 | The number 3 argument of mixture ratio is an instance of real number |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1244-1244 | The number 4 argument of mixture ratio is an instance of real number |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1245-1245 | The number 5 argument of mixture ratio is an instance of unit of measure |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1237-1237 | mixture ratio is an instance of quintary relation |
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 |