No TPTP formula. May not be expressible in strict first order. |
engineering.kif 225-225 |
AlgebraicAttribute est une instance de EquationAttribute |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 221-221 |
DifferentialAttribute est une instance de EquationAttribute |
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 |
|