KB Graph : Welcome guest : log in
Home |  ]  KB:  Language:   

Formal Language: 

Relation: subclass

PhysicalQuantity417A PhysicalQuantity is a measure of some quantifiable aspect of the modeled world, such as 'the ea...^
    ConstantQuantity327A ConstantQuantity is a PhysicalQuantity that has a constant value, e.g. 3 Meters and 5 Hou...^
        waveHeight.waveHeight is a BinaryPredicate. (waveHeight ?WW ?X) means that ?X is the LengthMeasure of th...^
        RadiationMeasure.Measurement of the radiation of some object^
        TimeMeasure88The class of temporal durations (instances of TimeDuration) and positions of TimePoints and T...^
        NonCompositeUnitOfMeasure232Instances of this Class are UnitsOfMeasure that are applied to a single dimension, and so are n...^
        LengthMeasure1A 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 &...^
        TemperatureMeasure.Measures of temperature. In scientific circles, the temperature of something is understood as the a...^
        CurrencyMeasure2Instances of this subclass of ConstantQuantity are measures of monetaryValue stated in terms ...^
        AngleMeasure2The value of an angle in a plane or in a solid.^
        InformationMeasure.Measures of the amount of information. Includes Bit, Byte, and multiples of these, e.g. KiloB...^

Relation: Term:

Levels "above": Levels "below": Total term limit: Show instances:
All relations: Restrict to file:
Columns to display:

View format: text

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