MathematicalPendulum |
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 |
appearance as argument number 2 |
(termFormat ChineseLanguage MathematicalPendulum "数学钟摆") | domainEnglishFormat.kif 36503-36503 | |
(termFormat ChineseTraditionalLanguage MathematicalPendulum "數學鐘擺") | domainEnglishFormat.kif 36502-36502 | |
(termFormat EnglishLanguage MathematicalPendulum "mathematical pendulum") | domainEnglishFormat.kif 36501-36501 |