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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Newton

Sigma KEE - Newton
Newton(newton)Lorentz_force, N, aerodynamic_force, force, newton

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2530-2531
No TPTP formula. May not be expressible in strict first order. Merge.kif 6629-6631
No TPTP formula. May not be expressible in strict first order. Merge.kif 6626-6626 Newton is an instance of CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6627-6627 Newton is an instance of systeme international unit

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40362-40362
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40361-40361
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40360-40360

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 7100-7102 A real number pound force(s) is equal to the real number and 4.448222 newton(s)


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