SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > Function > FunctionQuantity > MagneticFluxDensityMeasure
Next FunctionQuantity: MagneticFluxMeasure    Up: FunctionQuantity    Previous FunctionQuantity: LuminousFluxMeasure   

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 FunctionQuantity: MagneticFluxMeasure    Up: FunctionQuantity    Previous FunctionQuantity: LuminousFluxMeasure