NonlinearEquation - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	engineering.kif 162-163
No TPTP formula. May not be expressible in strict first order.	engineering.kif 164-164	子類非線性方程 and 方程

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	engineering.kif 195-195	子類貝塞爾斯方程 and 非線性方程
No TPTP formula. May not be expressible in strict first order.	engineering.kif 200-200	子類范德波爾斯方程 and 非線性方程
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40805-40805
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40804-40804
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40803-40803