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 10246-10246 | Ingesting is a subclass of organism process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10247-10247 | Ingesting is a subclass of transfer |
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. | Merge.kif 10271-10271 | Drinking is a subclass of ingesting |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1068-1068 | IV Therapy is a subclass of ingesting |