No TPTP formula. May not be expressible in strict first order. |
engineering.kif 168-168 |
代数方程式 是 方程 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 154-154 |
微分方程 是 方程 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 160-160 |
线性方程 是 方程 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 164-164 |
非线性方程 是 方程 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22324-22324 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22323-22323 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22322-22322 |
|