SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > Function > FunctionQuantity > MagneticFluxDensityMeasure
Next FunctionQuantityMagneticFluxMeasure    UpFunctionQuantity    Previous FunctionQuantityLuminousFluxMeasure   

MagneticFluxDensityMeasure comparison table
Subject be third domain of is an instance of documentation be disjoint from be first domain of be second domain of partition into have axiom
TesladomainSubclassSystemeInternationalUnitSI MagneticFluxDensityMeasure. Symbol: T. One Tesla equals one Weber per square Meter. Tesla = Wb/m^2 = kg*s^(-2)*A^(-1)PhysicalrangeSubclassMeasureFnConstantQuantity, FunctionQuantity
(=>
(and
(instance ?REL RelationExtendedToQuantities)
(instance ?REL BinaryRelation)
(instance ?NUMBER1 RealNumber)
(instance ?NUMBER2 RealNumber)
(holds ?REL ?NUMBER1 ?NUMBER2))
(forall (?UNIT)
(=>
(instance ?UNIT UnitOfMeasure)
(holds ?REL (MeasureFn ?NUMBER1 ?UNIT) (MeasureFn ?NUMBER2 ?UNIT)))))

Next FunctionQuantityMagneticFluxMeasure    UpFunctionQuantity    Previous FunctionQuantityLuminousFluxMeasure