No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1181-1181 |
Discretization is a subclass of mathematical method |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1170-1170 |
Fourier analysis is a subclass of mathematical method |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1175-1175 |
Fourier synthesis is a subclass of mathematical method |
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 |
|