| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1288-1290 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10268-10268 | Ingerir e' uma sub-classe de Processo Organico |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10269-10269 | Ingerir e' uma sub-classe de Transferencia |
| 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. | Merge.kif 10293-10293 | Beber e' uma sub-classe de Ingerir |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1068-1068 | IVTherapy e' uma sub-classe de Ingerir |
|
|