Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MathematicalMethod
MathematicalMethod

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


(documentation MathematicalMethod EnglishLanguage "A Method that involves using mathematical aparatus.") engineering.kif 1163-1164
(subclass MathematicalMethod Method) engineering.kif 1165-1165

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


(subclass Discretization MathematicalMethod) engineering.kif 1181-1181
(subclass FourierAnalysis MathematicalMethod) engineering.kif 1170-1170
(subclass FourierSynthesis MathematicalMethod) engineering.kif 1175-1175
(termFormat ChineseLanguage MathematicalMethod "数学方法") domainEnglishFormat.kif 36491-36491
(termFormat ChineseTraditionalLanguage MathematicalMethod "數學方法") domainEnglishFormat.kif 36490-36490
(termFormat EnglishLanguage MathematicalMethod "mathematical method") domainEnglishFormat.kif 36489-36489


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 is open source software produced by Articulate Software and its partners