No TPTP formula. May not be expressible in strict first order. |
engineering.kif 642-642 |
ElectricalProcess e' uma sub-classe de NaturalProcess |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11188-11188 |
GeologicalProcess e' uma sub-classe de NaturalProcess |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 638-638 |
MechanicalProcess e' uma sub-classe de NaturalProcess |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 651-651 |
Resonance e' uma sub-classe de NaturalProcess |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2894-2894 |
Salination e' uma sub-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 |
|