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 1476-1477
(subclass MathematicalMethod Method) engineering.kif 1478-1478 Mathematical method is a subclass of method

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


(subclass Discretization MathematicalMethod) engineering.kif 1494-1494 Discretization is a subclass of mathematical method
(subclass FourierAnalysis MathematicalMethod) engineering.kif 1483-1483 Fourier analysis is a subclass of mathematical method
(subclass FourierSynthesis MathematicalMethod) engineering.kif 1488-1488 Fourier synthesis is a subclass of mathematical method
(termFormat ChineseLanguage MathematicalMethod "数学方法") domainEnglishFormat.kif 36517-36517 Fourier synthesis is a subclass of mathematical method
(termFormat ChineseTraditionalLanguage MathematicalMethod "數學方法") domainEnglishFormat.kif 36516-36516 Fourier synthesis is a subclass of mathematical method
(termFormat EnglishLanguage MathematicalMethod "mathematical method") domainEnglishFormat.kif 36515-36515 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