TreeView Knowledge Base Browser - MathematicalMethod

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	engineering.kif 1163-1164
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1165-1165	数学方法是方法的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	engineering.kif 1181-1181	离散是数学方法的 subclass
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1170-1170	傅立叶分析是数学方法的 subclass
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1175-1175	傅立叶合成是数学方法的 subclass
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