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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Newton
Newton

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


(documentation Newton ChineseLanguage "这是国际单位制量度力的单位,符号:N。它是使質量1公斤物體的 加速度為1 Meter/ SecondDuration 所需要的力. Newton = m*kg*s^(-2)。") chinese_format.kif 2530-2531
(documentation Newton 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 6768-6770
(instance Newton CompositeUnitOfMeasure) Merge.kif 6765-6765
(instance Newton SystemeInternationalUnit) Merge.kif 6766-6766

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


(termFormat ChineseLanguage Newton "牛顿") domainEnglishFormat.kif 40362-40362
(termFormat ChineseTraditionalLanguage Newton "牛頓") domainEnglishFormat.kif 40361-40361
(termFormat EnglishLanguage Newton "newton") domainEnglishFormat.kif 40360-40360

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


(equal
    (MeasureFn ?NUMBER PoundForce)
    (MeasureFn
        (MultiplicationFn ?NUMBER 4.448222) Newton))
Merge.kif 7239-7241


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