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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MathematicalMethod
MathematicalMethod(mathematical method)

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 Mathematical method is a subclass of method

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


(subclass Discretization MathematicalMethod) engineering.kif 1181-1181 Discretization is a subclass of mathematical method
(subclass FourierAnalysis MathematicalMethod) engineering.kif 1170-1170 Fourier analysis is a subclass of mathematical method
(subclass FourierSynthesis MathematicalMethod) engineering.kif 1175-1175 Fourier synthesis is a subclass of mathematical method
(termFormat ChineseLanguage MathematicalMethod "数学方法") domainEnglishFormat.kif 36525-36525 Fourier synthesis is a subclass of mathematical method
(termFormat ChineseTraditionalLanguage MathematicalMethod "數學方法") domainEnglishFormat.kif 36524-36524 Fourier synthesis is a subclass of mathematical method
(termFormat EnglishLanguage MathematicalMethod "mathematical method") domainEnglishFormat.kif 36523-36523 Fourier synthesis is a subclass of mathematical method


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