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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MathematicalPendulum
MathematicalPendulum(mathematical pendulum)

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


(documentation MathematicalPendulum EnglishLanguage "A model of a Pendulum consisting of a mass hanged on a stiff string.") engineering.kif 242-243
(subclass MathematicalPendulum MathematicalModel) engineering.kif 244-244 Mathematical pendulum is a subclass of mathematical model

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


(termFormat ChineseLanguage MathematicalPendulum "数学钟摆") domainEnglishFormat.kif 36529-36529
(termFormat ChineseTraditionalLanguage MathematicalPendulum "數學鐘擺") domainEnglishFormat.kif 36528-36528
(termFormat EnglishLanguage MathematicalPendulum "mathematical pendulum") domainEnglishFormat.kif 36527-36527


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