| 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 | Ing�rer est une sous-classe de fonction physiologique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10247-10247 | Ing�rer est une sous-classe de transf�re |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10260-10260 | Manger est une sous-classe de ing�rer |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10271-10271 | Boire est une sous-classe de ing�rer |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1068-1068 | IVTherapy est une sous-classe de ing�rer |
|
|