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. |
Merge.kif 11188-11188 |
Geological process 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 651-651 |
Resonance 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. |
domainEnglishFormat.kif 39897-39897 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39896-39896 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39895-39895 |
|