| appearance as argument number 1 |
|
| (documentation MathematicalPendulum EnglishLanguage "A model of a Pendulum consisting of a mass hanged on a stiff string.") | engineering.kif 243-244 | |
| (subclass MathematicalPendulum MathematicalModel) | engineering.kif 245-245 | Mathematical pendulum is a subclass of mathematical model |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage MathematicalPendulum "数学钟摆") | domainEnglishFormat.kif 36537-36537 | |
| (termFormat ChineseTraditionalLanguage MathematicalPendulum "數學鐘擺") | domainEnglishFormat.kif 36536-36536 | |
| (termFormat EnglishLanguage MathematicalPendulum "mathematical pendulum") | domainEnglishFormat.kif 36535-36535 |
|
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