No TPTP formula. May not be expressible in strict first order. | Merge.kif 10482-10482 | Natural process is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11188-11188 | Geological process is a subclass of natural process |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2894-2894 | Salinifying is a subclass of natural process |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 638-638 | Mechanical process is a subclass of natural process |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 642-642 | Electrical process is a subclass of natural process |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 651-651 | Resonance is a subclass of natural process |