| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9560-9573 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12196-12196 | Garder est une sous-classe de processus intentionnel |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12222-12222 | Confiner est une sous-classe de garder |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 184-184 | PreservingFood est une sous-classe de garder |
|
|