Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - SetOfEquations
SetOfEquations(set of equations)

appearance as argument number 1
-------------------------


(documentation SetOfEquations EnglishLanguage "A Set of equations") engineering.kif 209-209
(lexicon SetOfEquations LexNoun "set of equations") engineering.kif 210-210
(lexicon SetOfEquations LexNoun "equations") engineering.kif 211-211
(subclass SetOfEquations Set) engineering.kif 212-212 Set of equations is a subclass of set

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage SetOfEquations "set of equations") domainEnglishFormat.kif 52318-52318
(termFormat ChineseTraditionalLanguage SetOfEquations "方程組") domainEnglishFormat.kif 52319-52319
(termFormat ChineseLanguage SetOfEquations "方程组") domainEnglishFormat.kif 52320-52320

consequent
-------------------------


(=>
    (and
        (property ?OBJECT ?ATTRIBUTE)
        (instance ?ATTRIBUTE EquationAttribute))
    (or
        (instance ?OBJECT Equation)
        (instance ?OBJECT SetOfEquations)))		 engineering.kif 218-224 If X the attribute Y and Y is an instance of equation attribute, then X is an instance of equation or X is an instance of set of equations
(=>
    (and
        (property ?OBJECT ?ATTRIBUTE)
        (instance ?ATTRIBUTE AlgebroDifferentialAttribute))
    (instance ?OBJECT SetOfEquations))		 engineering.kif 237-241 If X the attribute Y and Y is an instance of algebro differential attribute, then X is an instance of set of equations


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners