| PartialDifferentialEquation | |
| appearance as argument number 1 |
|
|
| (documentation PartialDifferentialEquation EnglishLanguage "A DifferentialEquation involving a functions of more than one variable.") | engineering.kif 182-183 | |
| (subclass PartialDifferentialEquation DifferentialEquation) | engineering.kif 184-184 | PartialDifferentialEquation ist eine teilkategorie von DifferentialEquation |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage PartialDifferentialEquation "偏微分方程") | domainEnglishFormat.kif 44528-44528 | |
| (termFormat ChineseTraditionalLanguage PartialDifferentialEquation "偏微分方程") | domainEnglishFormat.kif 44527-44527 | |
| (termFormat EnglishLanguage PartialDifferentialEquation "partial differential equation") | domainEnglishFormat.kif 44526-44526 |
| appearance as argument number 3 |
|
|
| (disjointDecomposition DifferentialEquation OrdinaryDifferentialEquation PartialDifferentialEquation) | engineering.kif 190-190 | DifferentialEquation wird zusammenhanglos auf OrdinaryDifferentialEquation und PartialDifferentialEquation disjunkt |
|
|
|