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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NewtonsLaw
NewtonsLaw

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


(documentation NewtonsLaw EnglishLanguage "One of three basic laws of classical mechanics.") engineering.kif 1242-1242
(instance NewtonsLaw ScientificLaw) engineering.kif 1244-1244
(lexicon NewtonsLaw LexNoun "Newton's law") engineering.kif 1243-1243

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


(abstractPart NewtonsFirstLaw NewtonsLaw) engineering.kif 1250-1250
(abstractPart NewtonsSecondLaw NewtonsLaw) engineering.kif 1257-1257
(abstractPart NewtonsThirdLaw NewtonsLaw) engineering.kif 1262-1262
(termFormat ChineseLanguage NewtonsLaw "牛顿法") domainEnglishFormat.kif 40389-40389
(termFormat ChineseTraditionalLanguage NewtonsLaw "牛頓法") domainEnglishFormat.kif 40388-40388
(termFormat EnglishLanguage NewtonsLaw "newtons law") domainEnglishFormat.kif 40387-40387


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