| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10282-10282 | 进食 是 消化 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2767-2767 | 过度放牧 是 进食 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 35-35 | 封斋饭 是 进食 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 89-89 | 开斋 是 进食 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 325-325 | Aqiqah 是 进食 的 subclass |
|
|