No TPTP formula. May not be expressible in strict first order. |
engineering.kif 225-225 |
例 代數屬性 and 方程屬性 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 221-221 |
例 微分屬性 and 方程屬性 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22330-22330 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22329-22329 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22328-22328 |
|