diff --git a/source/mmt/Quantities.mmt b/source/mmt/Quantities.mmt index 84382b41d2812dc335d1a0090067ceb19311f206..75cd587800402917d7ba8bad2f1d3c7ae6e34af0 100644 --- a/source/mmt/Quantities.mmt +++ b/source/mmt/Quantities.mmt @@ -4,31 +4,31 @@ import qe http://mathhub.info/MMT/physics-units /T This is a theory containing the electric displacement. theory Displacement : qe:?QEBase = - meta modeltype physical_quantity + meta modeltype physical_quantity displacement_dim : type = QE (ElectricCharge /' (SIlength * SIlength)) displacement : displacement_dim # D theory Permittivity : qe:?QEBase = - meta modeltype physical_quantity + meta modeltype physical_quantity permittivity_dim : type = QE (ElectricCharge /' (ElectricPotential * SIlength)) permittivity : permittivity_dim # εs theory Density : qe:?QEBase = - meta modeltype physical_quantity + meta modeltype physical_quantity density_dim : type = QE (DimNone /' (SIlength * SIlength * SIlength)) density : density_dim theory CurrentDensity : qe:?QEBase = - meta modeltype physical_quantity + meta modeltype physical_quantity currentdensity_dim : type = QE (SIcurrent /' Area) currentdensity : currentdensity_dim theory RecombinationRate : qe:?QEBase = - meta modeltype physical_quantity + meta modeltype physical_quantity recombinationrate_dim : type = QE (DimNone /' (Volume * SItime)) recombinationrate : recombinationrate_dim # R