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 | grainSize 的 1 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1080-1080 | grainSize 的 2 数量 是 实数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1075-1075 | grainSize 是 二元谓语 的 instance |
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 |