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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


s__documentation(s__Newton,s__ChineseLanguage,'"这是国际单位制量度力的单位,符号:N。它是使質量1公斤物體的 加速度為1 Meter/ SecondDuration 所需要的力. Newton = m*kg*s^(-2)。"')

chinese_format.kif 2530-2531
s__documentation(s__Newton,s__EnglishLanguage,'"SI force measure. Symbol: N. It is that force which gives to a mass of 1 kilogram an acceleration of 1 Meter per SecondDuration. Newton = m*kg*s^(-2)."')

Merge.kif 6656-6658
s__instance(s__Newton,s__CompositeUnitOfMeasure)

s__instance(s__CompositeUnitOfMeasure,s__Class)

Merge.kif 6653-6653 Newton is an instance of CompositeUnitOfMeasure
s__instance(s__SystemeInternationalUnit,s__Class)

s__instance(s__Newton,s__SystemeInternationalUnit)

Merge.kif 6654-6654 Newton is an instance of systeme international unit

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


s__termFormat(s__ChineseLanguage,s__Newton,'"牛顿"')

domainEnglishFormat.kif 40362-40362
s__termFormat(s__ChineseTraditionalLanguage,s__Newton,'"牛頓"')

domainEnglishFormat.kif 40361-40361
s__termFormat(s__EnglishLanguage,s__Newton,'"newton"')

domainEnglishFormat.kif 40360-40360

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


( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__RealNumber) =>
       ((s__MeasureFn(V__NUMBER,s__PoundForce) = s__MeasureFn(s__MultiplicationFn(V__NUMBER,n__4_448222)
        ,s__Newton))))
   )
)

Merge.kif 7123-7125 A real number pound force(s) is equal to the real number and 4.448222 newton(s)


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