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 and OrganismProcess |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10247-10247 | 子類 Ingesting and Transfer |
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. | Merge.kif 10271-10271 | 子類 Drinking and Ingesting |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1068-1068 | 子類 IVTherapy and Ingesting |