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