TreeView Knowledge Base Browser - OrdinaryDifferentialEquation

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	engineering.kif 186-187
No TPTP formula. May not be expressible in strict first order.	engineering.kif 188-188	子類常微分方程 and 微分方程

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	engineering.kif 190-190	不相交分解微分方程, 常微分方程 and 偏微分方程
No TPTP formula. May not be expressible in strict first order.	engineering.kif 194-194	子類貝塞爾斯方程 and 常微分方程
No TPTP formula. May not be expressible in strict first order.	engineering.kif 199-199	子類范德波爾斯方程 and 常微分方程
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42462-42462
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42461-42461
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42460-42460