EquationAttribute - Sigma Knowledge base Browser

appearance as argument number 1

(documentation EquationAttribute EnglishLanguage "an attribute that applies to an equation or to a set of equations")	engineering.kif 214-215
(subclass EquationAttribute InternalAttribute)	engineering.kif 216-216	Equation attribute is a subclass of internal attribute

appearance as argument number 2

(termFormat EnglishLanguage EquationAttribute "equation attribute")	domainEnglishFormat.kif 22327-22327
(termFormat ChineseTraditionalLanguage EquationAttribute "方程屬性")	domainEnglishFormat.kif 22328-22328
(termFormat ChineseLanguage EquationAttribute "方程属性")	domainEnglishFormat.kif 22329-22329
(instance DifferentialAttribute EquationAttribute)	engineering.kif 228-228	Differential attribute is an instance of equation attribute
(instance AlgebraicAttribute EquationAttribute)	engineering.kif 232-232	Algebraic attribute is an instance of equation attribute

antecedent

(=>
    (and
        (property ?OBJECT ?ATTRIBUTE)
        (instance ?ATTRIBUTE EquationAttribute))
    (or
        (instance ?OBJECT Equation)
        (instance ?OBJECT SetOfEquations)))