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 1477-1478
(subclass MathematicalMethod Method) engineering.kif 1479-1479

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


(subclass Discretization MathematicalMethod) engineering.kif 1495-1495
(subclass FourierAnalysis MathematicalMethod) engineering.kif 1484-1484
(subclass FourierSynthesis MathematicalMethod) engineering.kif 1489-1489
(termFormat ChineseLanguage MathematicalMethod "数学方法") domainEnglishFormat.kif 36520-36520
(termFormat ChineseTraditionalLanguage MathematicalMethod "數學方法") domainEnglishFormat.kif 36519-36519
(termFormat EnglishLanguage MathematicalMethod "mathematical method") domainEnglishFormat.kif 36518-36518


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