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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NewtonsFirstLaw
NewtonsFirstLaw(newtons first law)newtons_first_law, 牛頓第一定律, 牛顿第一定律

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 1245-1245 Newtons first law is a part of newtons law
No TPTP formula. May not be expressible in strict first order. engineering.kif 1241-1242
No TPTP formula. May not be expressible in strict first order. engineering.kif 1244-1244 Newtons first law is an instance of scientific law
No TPTP formula. May not be expressible in strict first order. engineering.kif 1243-1243 The lex noun word for newtons first law is "{Newton's first} law"

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40303-40303 "牛顿第一定律" is the printable form of newtons first law in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40302-40302 "牛頓第一定律" is the printable form of newtons first law in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40301-40301 "newtons first law" is the printable form of newtons first law in english language


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners