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 | 子類 Ingesting and OrganismProcess |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10269-10269 | 子類 Ingesting and Transfer |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10282-10282 | 子類 Eating and Ingesting |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10293-10293 | 子類 Drinking and Ingesting |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1068-1068 | 子類 IVTherapy and Ingesting |
![]() |