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 239-240
(subclass MathematicalModel Model) engineering.kif 241-241 Mathematical model is a subclass of model

appearance as argument number 2

(subclass MathematicalPendulum MathematicalModel) engineering.kif 244-244 Mathematical pendulum is a subclass of mathematical model
(termFormat ChineseLanguage MathematicalModel "数学模型") domainEnglishFormat.kif 36391-36391
(termFormat ChineseTraditionalLanguage MathematicalModel "數學模型") domainEnglishFormat.kif 36390-36390
(termFormat EnglishLanguage MathematicalModel "mathematical model") domainEnglishFormat.kif 36389-36389

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners