No TPTP formula. May not be expressible in strict first order. | engineering.kif 1165-1165 | 子類 數學方法 and 方法 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1170-1170 | 子類 傅立葉分析 and 數學方法 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1175-1175 | 子類 傅立葉合成 and 數學方法 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1181-1181 | 子類 離散 and 數學方法 |