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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 NewtonsLawScientificLawinstance では %n
(lexicon NewtonsLaw LexNoun "Newton's law") engineering.kif 1243-1243

appearance as argument number 2

(abstractPart NewtonsFirstLaw NewtonsLaw) engineering.kif 1250-1250 abstractPart NewtonsFirstLaw and NewtonsLaw
(abstractPart NewtonsSecondLaw NewtonsLaw) engineering.kif 1257-1257 abstractPart NewtonsSecondLaw and NewtonsLaw
(abstractPart NewtonsThirdLaw NewtonsLaw) engineering.kif 1262-1262 abstractPart NewtonsThirdLaw and NewtonsLaw
(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