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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NewtonsLaw

 Sigma KEE - NewtonsLaw
NewtonsLaw(牛顿法)

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 1242-1242
No TPTP formula. May not be expressible in strict first order. engineering.kif 1244-1244 牛顿法 是 科学法 的 instance
No TPTP formula. May not be expressible in strict first order. engineering.kif 1243-1243

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 1250-1250 抽象的部分 牛顿第一定律 and 牛顿法
No TPTP formula. May not be expressible in strict first order. engineering.kif 1257-1257 抽象的部分 牛顿第二定律 and 牛顿法
No TPTP formula. May not be expressible in strict first order. engineering.kif 1262-1262 抽象的部分 牛顿第三定律 and 牛顿法
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40389-40389
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40388-40388
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40387-40387


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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