| LinearEquation(linear equation) | | additive, linear, linear_equation |
| appearance as argument number 1 |
|
|
| (documentation LinearEquation EnglishLanguage "A polynomial Equation of the first degree.") | engineering.kif 159-159 | |
| (subclass LinearEquation Equation) | engineering.kif 160-160 | Linear equation is a subclass of equation |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage LinearEquation "线性方程") | domainEnglishFormat.kif 34527-34527 | |
| (termFormat ChineseTraditionalLanguage LinearEquation "線性方程") | domainEnglishFormat.kif 34526-34526 | |
| (termFormat EnglishLanguage LinearEquation "linear equation") | domainEnglishFormat.kif 34525-34525 |
|
|
|