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.