  Simple Browser : Welcome guest : log in [  Home |  Graph |  ]  KB:  SUMO Language:  ChineseLanguageChinesePinyinWritingChineseSimplifiedWritingChineseTraditionalLanguageEnglishLanguageFrenchLanguageGermanLanguageJapaneseLanguageSpanishLanguageSwedishLanguage   Formal Language:  OWLSUO-KIFTPTPtraditionalLogic

Sigma KEE - ConstantQuantity
 KB Term:     more pictures...
 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
 ConstantQuantity A ConstantQuantity is a PhysicalQuantity that has a constant value, e.g. 3 Meters and 5 HourDurations. The magnitude (see MagnitudeFn) of every ConstantQuantity is a RealNumber. ConstantQuantity is distinguished from FunctionQuantity, in that each instance of the latter is formed through the mapping of one PhysicalQuantity to another PhysicalQuantity. Each instance of ConstantQuantity is expressed with the BinaryFunction MeasureFn, which takes a Number and a UnitOfMeasure as arguments. For example, 3 Meters is expressed as (MeasureFn 3 Meter). Instances of ConstantQuantity form a partial order (see PartialOrderingRelation) with the lessThan relation, since lessThan is a RelationExtendedToQuantities and lessThan is defined over the RealNumbers. The lessThan relation is not a total order (see TotalOrderingRelation) over the class ConstantQuantity since elements of some subclasses of ConstantQuantity (such as length quantities) are incomparable to elements of other subclasses of ConstantQuantity (such as mass quantities).
 Relationships Parents PhysicalQuantity A PhysicalQuantity is a measure of some quantifiable aspect of the modeled world, such as 'the earth's diameter' (a constant length) and 'the stress in a loaded deformable solid' (a measure of stress, which is a function of three spatial coordinates). Every PhysicalQuantity is either a ConstantQuantity or FunctionQuantity. Instances of ConstantQuantity are dependent on a UnitOfMeasure, while instances of FunctionQuantity are Functions that map instances of ConstantQuantity to other instances of ConstantQuantity (e.g., a TimeDependentQuantity is a FunctionQuantity). Although the name and definition of PhysicalQuantity is borrowed from physics, a PhysicalQuantity need not be material. Aside from the dimensions of length, time, velocity, etc., nonphysical dimensions such as currency are also possible. Accordingly, amounts of money would be instances of PhysicalQuantity. A PhysicalQuantity is distinguished from a pure Number by the fact that the former is associated with a dimension of measurement. Children AngleMeasure The value of an angle in a plane or in a solid. CurrencyMeasure Instances of this subclass of ConstantQuantity are measures of monetaryValue stated in terms of some UnitOfCurrency such as UnitedStatesDollar, UnitedStatesCent, RMB, Lira, Yen, etc. InformationMeasure Measures of the amount of information. Includes Bit, Byte, and multiples of these, e.g. KiloByte and MegaByte. LengthMeasure A subclass of ConstantQuantity, instances of which are measures of length. MassMeasure A subclass of ConstantQuantity, instances of which are measures of the amount of matter in an Object. NonCompositeUnitOfMeasure Instances of this Class are UnitsOfMeasure that are applied to a single dimension, and so are not intrinsically defined by the functional composition of other units. RadiationMeasure Measurement of the radiation of some object TemperatureMeasure Measures of temperature. In scientific circles, the temperature of something is understood as the average velocity of the atoms or molecules that make up the thing. TimeMeasure The class of temporal durations (instances of TimeDuration) and positions of TimePoints and TimeIntervals along the universal timeline (instances of TimePosition). waveHeight waveHeight is a BinaryPredicate. (waveHeight ?WW ?X) means that ?X is the LengthMeasure of the difference between the altitude of the crest and its leading trough of the BodyOfWater of where a ?WW (WaterWave) takes place. Show simplified definition with tree view
Show full definition (without tree view)
Show full definition (with tree view) Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners