| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10260-10260 | Eating is a subclass of ingesting |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2767-2767 | Overgrazing is a subclass of eating |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 35-35 | Suhur is a subclass of eating |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 89-89 | Iftar is a subclass of eating |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 325-325 | Aqiqah is a subclass of eating |
|
|