SUMO   View all facts   Glossary   Help
unparented > Pound
Next unparentedQuaternaryFunction    Upunparented    Previous unparentedpiece   

Pound comparison table
Subject have axiom
unparented 
Pound
(equal
(MeasureFn ?NUMBER Pound)
(MeasureFn (MultiplicationFn ?NUMBER 0.45359237) Kilogram))

Next unparentedQuaternaryFunction    Upunparented    Previous unparentedpiece