| DifferentialEquation | |
| appearance as argument number 1 |
|
|
| (disjointDecomposition DifferentialEquation FirstOrderDifferentialEquation HigherOrderDifferentialEquation) | engineering.kif 179-179 | |
| (disjointDecomposition DifferentialEquation OrdinaryDifferentialEquation PartialDifferentialEquation) | engineering.kif 189-189 | |
| (documentation DifferentialEquation EnglishLanguage "An Equation containing differentials of a function ") | engineering.kif 151-152 | |
| (subclass DifferentialEquation Equation) | engineering.kif 153-153 |
| appearance as argument number 2 |
|
|
| (subclass FirstOrderDifferentialEquation DifferentialEquation) | engineering.kif 172-172 | |
| (subclass HigherOrderDifferentialEquation DifferentialEquation) | engineering.kif 177-177 | |
| (subclass OrdinaryDifferentialEquation DifferentialEquation) | engineering.kif 187-187 | |
| (subclass PartialDifferentialEquation DifferentialEquation) | engineering.kif 183-183 | |
| (termFormat ChineseLanguage DifferentialEquation "微分方程") | domainEnglishFormat.kif 19511-19511 | |
| (termFormat ChineseTraditionalLanguage DifferentialEquation "微分方程") | domainEnglishFormat.kif 19510-19510 | |
| (termFormat EnglishLanguage DifferentialEquation "differential equation") | domainEnglishFormat.kif 19509-19509 |
| antecedent |
|
|
| (<=> (instance ?X DifferentialEquation) (instance ?X (AttrFn Equation DifferentialAttribute))) |
engineering.kif 154-156 |
|
|
|