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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MathematicalModel

Sigma KEE - MathematicalModel
MathematicalModel(数学模型)

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 数学模型模型subclass

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


(subclass MathematicalPendulum MathematicalModel) engineering.kif 245-245 数学钟摆数学模型subclass
(termFormat ChineseLanguage MathematicalModel "数学模型") domainEnglishFormat.kif 36497-36497
(termFormat ChineseTraditionalLanguage MathematicalModel "數學模型") domainEnglishFormat.kif 36496-36496
(termFormat EnglishLanguage MathematicalModel "mathematical model") domainEnglishFormat.kif 36495-36495


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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