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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MathematicalModel
MathematicalModel(mathematical model)

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


(documentation MathematicalModel EnglishLanguage "A model that uses the mathematical aparatus") engineering.kif 240-241
(subclass MathematicalModel Model) engineering.kif 242-242 Mathematical model is a subclass of model

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


(subclass MathematicalPendulum MathematicalModel) engineering.kif 245-245 Mathematical pendulum is a subclass of mathematical model
(termFormat ChineseLanguage MathematicalModel "数学模型") domainEnglishFormat.kif 36497-36497
(termFormat ChineseTraditionalLanguage MathematicalModel "數學模型") domainEnglishFormat.kif 36496-36496
(termFormat EnglishLanguage MathematicalModel "mathematical model") domainEnglishFormat.kif 36495-36495


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