| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10504-10504 | NaturalProcess est une sous-classe de processus |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11210-11210 | GeologicalProcess est une sous-classe de NaturalProcess |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2894-2894 | Salination est une sous-classe de NaturalProcess |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 638-638 | MechanicalProcess est une sous-classe de NaturalProcess |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 642-642 | ElectricalProcess est une sous-classe de NaturalProcess |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 651-651 | Resonance est une sous-classe de NaturalProcess |
|
|