No TPTP formula. May not be expressible in strict first order. |
engineering.kif 225-225 |
Algebraic attribute is an instance of equation attribute |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 221-221 |
Differential attribute is an instance of equation attribute |
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 |
|