No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1181-1181 |
Discretization e' uma sub-classe de MathematicalMethod |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1170-1170 |
FourierAnalysis e' uma sub-classe de MathematicalMethod |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1175-1175 |
FourierSynthesis e' uma sub-classe de MathematicalMethod |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36491-36491 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36490-36490 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36489-36489 |
|