| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10260-10260 | 子類 Eating and Ingesting |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2767-2767 | 子類 過度放牧 and Eating |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 35-35 | 子類 封齋飯 and Eating |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 89-89 | 子類 開齋 and Eating |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 325-325 | 子類 aqiqah and Eating |
|
|