grainSize |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1076-1077 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1079-1079 | Le nombre 1 argument de grainSize est une instance de objet |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1080-1080 | Le nombre 2 argument de grainSize est une instance de nombre r�el |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1075-1075 | grainSize est une instance de pr�dicat binaire |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1081-1081 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1078-1078 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1107-1112 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1095-1100 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1167-1172 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1155-1160 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1119-1124 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1143-1148 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1131-1136 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1083-1088 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1063-1073 |
|