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