| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10282-10282 | Comer e' uma sub-classe de Ingerir |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2767-2767 | Overgrazing e' uma sub-classe de Comer |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 35-35 | Suhur e' uma sub-classe de Comer |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 89-89 | Iftar e' uma sub-classe de Comer |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 325-325 | Aqiqah e' uma sub-classe de Comer |
|
|