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 207-208
(subclass EquationAttribute InternalAttribute)	engineering.kif 209-209	Equation attribute is a subclass of internal attribute

appearance as argument number 2

(instance AlgebraicAttribute EquationAttribute)	engineering.kif 225-225	Algebraic attribute is an instance of equation attribute
(instance DifferentialAttribute EquationAttribute)	engineering.kif 221-221	Differential attribute is an instance of equation attribute
(termFormat ChineseLanguage EquationAttribute "方程属性")	domainEnglishFormat.kif 22348-22348	Differential attribute is an instance of equation attribute
(termFormat ChineseTraditionalLanguage EquationAttribute "方程屬性")	domainEnglishFormat.kif 22347-22347	Differential attribute is an instance of equation attribute
(termFormat EnglishLanguage EquationAttribute "equation attribute")	domainEnglishFormat.kif 22346-22346	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 211-217