sumo#quantity  any specification of how many or how much of something there is
  exclusion:  sumo#Attribute
  supertype:  pm#attribute_or_quality_or_measure (pm)  sumo#abstract
  equal:  akts#Quantity (pm)
  subtype:  pm#atomic_ADT__atomic_abstract_data_type
     subtype:  sumo#number
        subtype:  sumo#real_number  a number that can be expressed as a (possibly infinite) decimal, i.e. a number that has a position on the number line
           subtype:  sumo#rational_number  real_number that is the product of dividing two integers
              subtype:  sumo#integer  a negative or nonnegative whole number
                 subtype:  sumo#nonnegative_integer__nonnegativeinteger  integer >= 0
                    subtype:  sumo#positive_integer  integer > 0
                    subtype:  kif#zero  class containing only 0
                 subtype:  sumo#negative_integer  integer < 0
                 subtype:  sumo#even_integer  integer that is evenly divisible by 2
                 subtype:  sumo#odd_integer__oddinteger  integer that is not evenly divisible by 2
                 subtype:  sumo#prime_number__primenumber
           subtype:  sumo#irrational_number
           subtype:  sumo#nonnegative_real_number  real_number >= 0
              subtype:  sumo#nonnegative_integer__nonnegativeinteger  integer >= 0
              subtype:  sumo#positive_real_number  real_number > 0
                 subtype:  sumo#positive_integer  integer > 0
           subtype:  sumo#negative_real_number  real_number < 0
              subtype:  sumo#negative_integer  integer < 0
           subtype:  sumo#binary_number  elements from the number system with base 2; every binary_number is expressed as a sequence of the digits 1 and 0
           subtype:  xsd#decimal
        subtype:  sumo#imaginary_number__imaginarynumber  a number that is the result of multiplying a real_number by the square root of -1
        subtype:  sumo#complex_number__complexnumber  a number that has the form: x + yi, where x and y are real_numbers and i is the square root of -1
     subtype:  pm#boolean  two instances: true and false
        instance:  kif#true  kif#false
  subtype:  sumo#physical_quantity  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); physical_quantities need not be material, e.g., amounts of money (in specified currencies) would be instances of sumo#physical_quantity
     subtype:  dl#region__R  the measure of an attribute/dimension
        subtype:  dl#quale
        subtype:  dl#space_region__spaceregion__S
           subtype:  dl#spatio_temporal_region
        subtype:  dl#temporal_region__TR  a value for a temporal quality, e.g., 24/5/2002, 2 seconds
           subtype:  dl#time_interval__T
              subtype:  pm#unit_of_time_duration  the class of all unit of measures used to measure time, e.g., minute, second, hour, etc.
                 subtype:  #time_unit__unit_of_time  a unit for measuring time periods
                    subtype:  #day__meansolarday__twenty-four_hours__solar_day  time for Earth to make a complete rotation on its axis; "two days later they left"; "they put on two performances every day"; "there are 30,000 passengers per day"
                    subtype:  #night.time_unit  the dark part of the diurnal cycle considered a time unit; "three nights later he collapsed"
                    subtype:  #mean_time__mean_solar_time  (astronomy) time based on the motion of the mean sun (an imaginary sun moving uniformly along the celestial equator)
                    subtype:  #terrestrial_time__terrestrialtime__tt__terrestrial_dynamical_time__terrestrialdynamicaltime__TDT__ephemeris_time__ephemeristime  (astronomy) a measure of time defined by Earth's orbital motion; terrestrial time is mean solar time corrected for the irregularities of the Earth's motions
                    subtype:  #month  a time unit of 30 days; "he was given a month to pay the bill"
                       subtype:  #lunar_month__moon__lunation__synodic_month__synodicmonth  the period between successive new moons (29.531 days)
                       subtype:  #anomalistic_month  period between successive perigees; approximately 27.5546 days
                       subtype:  #sidereal_month  period between successive conjunctions with a star, 27.322 days
                       subtype:  #solar_month__solarmonth  one-twelfth of a solar or tropical year
                    subtype:  #sidereal_day__day  the time for one complete rotation of the earth relative to a particular star, about 4 minutes shorter than a mean solar day
                    subtype:  #ship's_bell__bell  (nautical) each of the eight half-hour units of nautical time signaled by strokes of a ship's bell; eight bells signals 4:00, 8:00, or 12:00 o'clock, either a.m. or p.m.
                    subtype:  #hour__hr__60_minutes  a period of time equal to 1/24th of a day; "the job will take more than an hour"
                       subtype:  #sidereal_hour  1/24 of a sidereal day
                       subtype:  #man_hour__manhour__personhour  a time unit used in industry for measuring work
                    subtype:  #half-hour__30_minutes  a half of an hour
                    subtype:  #quarter-hour__quarterhour__15_minutes  a quarter of an hour
                    subtype:  #minute__min  a unit of time equal to 60 seconds or 1/60th of an hour; "he ran a 4 minute mile"
                    subtype:  #quarter.time_unit  a unit of time equal to 15 minutes or a quarter of an hour; "it's a quarter til 4"; "a quarter after 4 o'clock"
                    subtype:  #second__s____sec  1/60 of a minute; the basic unit of time adopted under the System International d'Unites
                       subtype:  #leap_second  a second (as measured by an atomic clock) added to or subtracted from Greenwich Mean Time in order to compensate for slowing in the Earth's rotation
                    subtype:  #millisecond  one thousandth of a second
                    subtype:  #attosecond  one quintillionth of a second; one thousandth of a femtosecond
                    subtype:  #femtosecond  one quadrillionth of a second; one thousandth of a nanosecond
                    subtype:  #picosecond  one trillionth of a second; one thousandth of a nanosecond
                    subtype:  #nanosecond  one billionth of a second; one thousandth of a microsecond
                    subtype:  #microsecond  one millionth of a second; one thousandth of a millisecond
                 instance:  akts#time-measure-second__timemeasuresecond__second  akts#time-measure-minute__minute  akts#time-measure-hour__hour  akts#time-measure-day__day  akts#time-measure-month__month
              subtype:  sumo#time_duration  any measure of length of time, with or without respect to the universal timeline
                 instance:  akts#twentyfour-hour-duration__24_hour_duration  akts#seven-day-duration__sevendayduration__7_day_duration__7dayduration  akts#twentyeight-day-duration__twentyeightdayduration__28_day_duration  akts#twentynine-day-duration__29_day_duration  akts#thirty-day-duration__30_day_duration  akts#thirtyone-day-duration__thirtyonedayduration__31_day_duration  akts#twelve-month-duration__12_month_duration
              subtype:  dl#date
           subtype:  sumo#time_position  any time_point or time_interval along the universal timeline from negative_infinity to positive_infinity
              subtype:  sumo#time_interval  a time_interval has both an extent and a location on the universal timeline; a time_interval has no gaps, i.e. this class contains only convex time intervals
                 subtype:  akts#Day
                 subtype:  akts#Week
                 subtype:  akts#Month
                 subtype:  akts#Year
              subtype:  sumo#time_point  the time_points at which processes occur can be known with various degrees of precision and approximation, but conceptually time_points are point-like and not interval-like; that is, it doesn't make sense to talk about how long a time_point lasts
                 subtype:  akts#Calendar-Date  a point in time 
        subtype:  dl#physical_region__PR  e.g., 2 meters, 3.5 kg, [2-3] hz
           subtype:  dl#space_region__spaceregion__S
           subtype:  dl#volume
        subtype:  dl#abstract_region__AR  e.g., 2 US dollars
     subtype:  pm#function_quantity_type  function that maps from one or more instances of constant_quantity to another instance of constant_quantity; for example, the velocity of a particle would be represented by a function_quantity mapping values of time (which are constant_quantities) to values of distance (also constant_quantities); note that all instances of function_quantity are functions with a fixed arity; note too that all elements of the range of a function_quantity have the same physical dimension as the function_quantity itself
        subtype:  pm#unary_constant_function_quantity_type  unary function that maps from sumo#constant_quantity to the same class
           subtype:  pm#time_dependent_quantity_type  a unary_constant_function of continuous time; all instances of this class map a time quantity into another constant_quantity such as temperature; for example, 'the temperature at the top of the Empire State Building' is a time_dependent_quantity since its value depends on the time
        subtype:  sumo#calorie
        subtype:  sumo#British_thermal_unit
     subtype:  sumo#constant_quantity  physical_quantity with a constant value, e.g., 3 meters and 5 hours; the magnitude (see magnitude_fn) of every constant_quantity is a real_number; constant_quantities are expressed with measure_fn, e.g., 3 meters can be expressed as (sumo#measure_fn 3 meter); they form a partial order with the less_than relation, since less_than is a relation_extended_to_quantities and less_than is defined over the real_numbers; the less_than relation is not a total order over the class constant_quantity since elements of some subclasses of constant_quantity (such as length quantities) are incomparable to elements of other subclasses of constant_quantity (such as mass quantities)
        subtype:  sumo#time_measure
           subtype:  dl#temporal_quality__TQ  e.g., a date or a duration, but not its measure/value
              subtype:  dl#Temporal_location__TL
           subtype:  dl#temporal_region__TR  a value for a temporal quality, e.g., 24/5/2002, 2 seconds

No statement uses or specializes sumo#quantity; click here to add one.


Another search (with same display options)?