![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
Newton
|
|
|
| appearance as argument number 1 |
|
|
| (instance Newton CompositeUnitOfMeasure) | Merge.kif 6980-6980 | Newton is an instance of composite unit of measure |
| (instance Newton SystemeInternationalUnit) | Merge.kif 6981-6981 | Newton is an instance of systeme international unit |
| (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 6983-6985 | Newton is an instance of systeme international unit |
| appearance as argument number 2 |
|
|
| statement |
|
|
| (equal (MeasureFn ?NUMBER PoundForce) (MeasureFn (MultiplicationFn ?NUMBER 4.448222) Newton)) |
Merge.kif 7473-7475 | equal X pound force(s) and X and 4.448222 newton(s) |
| (equal (MeasureFn ?NUMBER KilogramForce) (MeasureFn (MultiplicationFn ?NUMBER 9.80665) Newton)) |
Mid-level-ontology.kif 5444-5447 | equal X kilogram force(s) and X and 9.80665 newton(s) |