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. |
Merge.kif 11188-11188 |
GeologicalProcess 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 651-651 |
Resonance 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. |
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 |
|