EquationAttribute(equation attribute) |
appearance as argument number 1 |
![]() |
(documentation EquationAttribute EnglishLanguage "an attribute that applies to an equation or to a set of equations") | engineering.kif 206-207 | |
(subclass EquationAttribute InternalAttribute) | engineering.kif 208-208 | Equation attribute is a subclass of internal attribute |
appearance as argument number 2 |
![]() |
(instance AlgebraicAttribute EquationAttribute) | engineering.kif 224-224 | Algebraic attribute is an instance of equation attribute |
(instance DifferentialAttribute EquationAttribute) | engineering.kif 220-220 | Differential attribute is an instance of equation attribute |
(termFormat ChineseLanguage EquationAttribute "方程属性") | domainEnglishFormat.kif 22343-22343 | Differential attribute is an instance of equation attribute |
(termFormat ChineseTraditionalLanguage EquationAttribute "方程屬性") | domainEnglishFormat.kif 22342-22342 | Differential attribute is an instance of equation attribute |
(termFormat EnglishLanguage EquationAttribute "equation attribute") | domainEnglishFormat.kif 22341-22341 | Differential attribute is an instance of equation attribute |
antecedent |
![]() |
(=> (and (property ?OBJECT ?ATTRIBUTE) (instance ?ATTRIBUTE EquationAttribute)) (or (instance ?OBJECT Equation) (instance ?OBJECT SetOfEquations))) |
engineering.kif 210-216 |
|
![]() |
![]() |