## Quantity

E-Mail Comments to: opencyc-doc@cyc.com
Last Update: 4/5/02
Copyright© 1996-2002. All rights reserved. See Terms of Usage.

Return to Documentation Contents
Return to Vocabulary Contents

### Scalar Intervals

#$ScalarInterval quantities **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> A specialization of #$NTupleInterval. Each proper subcollection SCALAR of #$ScalarInterval (with some exceptions, such as #$ScalarPointValue) has the following two properties: 1) the collection of point instances of SCALAR (i.e., those instances of SCALAR that are _not_ proper intervals - see the collection #$ScalarPointValue) is ordered by some `natural' linear ordering (i.e., some `natural' relation that is reflexive, antisymmetric, and transitive on the collection of point instances of SCALAR), 2) SCALAR is closed under addition (#$PlusFn), so that the sum of any two instances of SCALAR will also be an instance of SCALAR. Notable specializations of #$ScalarInterval include #$Time-Quantity, #$Integer, and #$Distance.
> guid: bd5880a7-9c29-11b1-9dad-c379636f7270
> direct instance of: #$ObjectType
> direct specialization of: #$NTupleInterval
> direct generalization of: #$PhysicalQuantity #$NegativeScalarInterval #$JustificationStrength #$TemperamentAttribute #$Interval-UnboundedAbove #$Interval-BoundedBelow #$Interval-UnboundedBelow #$Interval-BoundedAbove #$NonNegativeScalarInterval #$LevelOfDiscomfort #$LevelOfPain #$OrderOfMagnitudeInterval #$ScalarPointValue #$IntervalOnNumberLine #$NonPositiveScalarInterval #$Dirtiness #$Money #$PolitenessOfSpeech #$FormalityOfSpeech #$FeelingAttribute #$Alertness

#$ScalarPointValue scalar values **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The collection of minimal scalar intervals. That is, each instance of #$ScalarPointValue is a scalar interval which has no `width'. Scalar intervals include both pure numbers, such as 3.14, and linear measurements such as 3.14 meters, which in CycL would be written `(#$Meter 3.14)'.
> guid: bd58825b-9c29-11b1-9dad-c379636f7270
> direct instance of: #$ObjectType
> direct specialization of: #$Interval-Bounded
> direct generalization of: #$RealNumber #$Cardinal-Mathematical

#$NoteAboutScalarIntervalMaxAndMin note about scalar interval max and min **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> If there are two arguments to a #$UnitOfMeasure function, as in (#$Meter 5 6), the first number is interpreted as the (inclusive) minimum, and the second number as the (inclusive) maximum. Thus, (#$Meter 5 6) means `between 5 and 6 meters long, inclusive'. If only one argument follows an instance of #$UnitOfMeasure, as in (#$Meter 3), it is interpreted as a shorthand for (#$Meter 3 3). In other words, (#$Meter 3 3) means `exactly 3 meters'. When a function belonging to #$UnitOfMeasure is applied to a single argument, the value it returns must be an instance of #$ScalarPointValue.
> guid: bd72a273-9c29-11b1-9dad-c379636f7270
> direct instance of: #$Individual

#$maxQuantValue max quant value **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> (#$maxQuantValue SCALAR POINT) means that the upper limit of the quantity SCALAR is POINT, an instance of #$ScalarPointValue. SCALAR is an instance of #$ScalarInterval. For example, the #$maxQuantValue for the pay of mail room employees might be (#$DollarsPerHour 6.5); e.g., (#$maxQuantValue `MailPay' (#$DollarsPerHour 6.5)). Another example: (#$maxQuantValue (#$Unity 5 10) 10).
> guid: bd5880b9-9c29-11b1-9dad-c379636f7270
> direct instance of: #$FunctionalSlot #$IntangibleObjectRelatingPredicate #$ReflexiveBinaryPredicate
> direct specialization of: #$intervalBound

#$minQuantValue min quant value **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> (#$minQuantValue SCALAR POINT) means that the lower limit of SCALAR is POINT, an element of #$ScalarPointValue. SCALAR is an instance of #$ScalarInterval. For example, the #$minQuantValue for the pay of mail room employees might be (#$DollarsPerHour 4.5); e.g., (#$minQuantValue `MailPay' (#$DollarsPerHour 4.5)). Another example: (#$minQuantValue (#$Unity 5 10) 5).
> guid: bd5880ba-9c29-11b1-9dad-c379636f7270
> direct instance of: #$FunctionalSlot #$IntangibleObjectRelatingPredicate #$ReflexiveBinaryPredicate
> direct specialization of: #$intervalBound

#$MeasurableScalarIntervalType measurable attribute type **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> A collection of collections. Each instance of #$MeasurableScalarIntervalType is a collection of #$ScalarIntervals which are quantifiable (i.e., they can be assigned a numeric value). Instances of #$MeasurableScalarIntervalType include #$RateOfRotation, #$ConcentrationPerVolume, and #$Time-Quantity.
> guid: bd58d9b3-9c29-11b1-9dad-c379636f7270
> direct instance of: #$SecondOrderCollection
> direct specialization of: #$TotallyOrderedScalarIntervalType
> direct generalization of: #$IntegerTypeByRange #$FundamentalNumericScalarIntervalType

#$Time-Quantity times (quantities) **GAFs NOT REVIEWED**

> A specialization of #$PhysicalQuantity. Each instance of #$Time-Quantity is a physical quantity, corresponding to a certain amount of time , that can be possessed by #$TemporalThings. The #$Time-Quantity had by a given thing represents the total amount of time that the thing exists, occurs over, or endures; see #$duration. Consider a sentence of the form (#$duration TEMPTHING TIMEQUANT). If TEMPTHING is a #$SomethingExisting, the sentence means that TEMPTHING exists for a lifetime that is TIMEQUANT in duration. If TEMPTHING is an #$Event, the sentence means that TEMPTHING (fully) transpires over an interval of time that is TIMEQUANT in duration. If TEMPTHING is itself a #$TimeInterval (q.v.), the sentence means that TEMPTHING has a duration of TIMEQUANT. The standard unit of #$Time-Quantity in Cyc is #$SecondsDuration (q.v.); but there are other ways to specify an amount of time, e.g. with other instances of #$UnitOfMeasure (such as #$WeeksDuration and #$YearsDuration) or with instances of #$Time-Quantity (such as #$LongTime, #$Immediately, and #$AFewDecadesDuration).
> guid: bd5880a5-9c29-11b1-9dad-c379636f7270
> direct instance of: #$FundamentalNumericScalarIntervalType
> direct specialization of: #$PhysicalQuantity

#$Distance distances

> A specialization of #$PhysicalQuantity. Each instance of #$Distance is the length of a path in space extending from one point to another. In some contexts, for example in the argument 2 position of #$altitudeAboveSeaLevel, an instance of #$Distance will include directional information. In these contexts, instances can take on positive or negative values. In other contexts, directional information will not matter, and instances of #$Distance will only take on non-negative values. See the specialization #$Distance-Absolute for measures of distance that necessarily do not include directional information, and thus are always non-negative. An instance of #$Distance may be either a fixed interval, such as the height of the #$WashingtonMonumentInWashingtonDC or the altitude of the #$DeadSea, or a range, such as #$WithinAudibleDistance (see #$ScalarInterval for more explanation). See #$UnitOfDistance for the units used by Cyc to measure distances.
> guid: bd58809a-9c29-11b1-9dad-c379636f7270
> direct instance of: #$FundamentalNumericScalarIntervalType
> direct specialization of: #$PhysicalQuantity
> direct generalization of: #$Distance-Absolute

#$Mass weight **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> A specialization of #$PhysicalQuantity. Instances of #$Mass may be either a fixed interval, such as two kilograms, or a range, such as a legal load for a certain type of trailer. The more mass an object has, the greater is the force required to accelerate it.
> guid: bd58dbe6-9c29-11b1-9dad-c379636f7270
> direct instance of: #$FundamentalNumericScalarIntervalType
> direct specialization of: #$PhysicalQuantity

#$Volume volumes **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> A specialization of #$ScalarInterval. Each instance of #$Volume is an amount of three-dimensional space. Instances of #$Volume may be either a fixed interval, such as the volume of a five-gallon aquarium, or a range, such as 'fits in a bread box'.
> guid: bd58eee4-9c29-11b1-9dad-c379636f7270
> direct instance of: #$MeasurableScalarIntervalType
> direct specialization of: #$PhysicalQuantity

#$Area areas (quantities) **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> A specialization of #$ScalarInterval. Each instance of #$Area is an amount of two-dimensional space. Instances of #$Area may be either a fixed interval, such as the area of a rectangle 5 cm x 10 cm, or a range, such as the area of a city lot.
> guid: bd58c301-9c29-11b1-9dad-c379636f7270
> direct instance of: #$MeasurableScalarIntervalType
> direct specialization of: #$PhysicalQuantity

#$Temperature temperatures (quantities) **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> A specialization of #$PhysicalQuantity. Each instance of #$Temperature is an amount of heat in a particular instance of #$PartiallyTangible. An instance of #$Temperature may be either a fixed interval, such as 98.6 degrees Fahrenheit, or a range, such as #$HumanHabitableTemperature.
> guid: bd589c7c-9c29-11b1-9dad-c379636f7270
> direct instance of: #$FundamentalNumericScalarIntervalType
> direct specialization of: #$PhysicalQuantity

#$ElectricalCharge electrical charges **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> A specialization of #$PhysicalQuantity. Each instance of #$ElectricalCharge is an amount of net electrical charge (positive or negative) possessed by a particular instance of #$PartiallyTangible. Instances of #$ElectricalCharge may be either a fixed interval, such as the charge on one electron, or a range, such as a usable charge on a flashlight battery; see #$ScalarInterval. Also see #$UnitOfCharge for the units used by Cyc to measure electrical charges.
> guid: bd5905db-9c29-11b1-9dad-c379636f7270
> direct instance of: #$FundamentalNumericScalarIntervalType
> direct specialization of: #$PhysicalQuantity

#$Money money (quantity) **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The collection of amounts of currency or debt, by which payments, wealth, capital, assets, etc., are measured. An instance of #$Money may be considered as either (1) an amount of actual, valuable tangible goods (such as gold) or (2) a purely abstract quantity. That is, from one perspective, elements of #$Money represent the amount of a debt (or credit), while from another perspective, they represent what is actually transferred to create or discharge a debt. In either case it is an abstract thing. Either (a) money is a backed claim for a certain amount of precious physical wealth payable by the government on demand (e.g., the gold standard), or (b) money is a legally enforced means of debt payment without any backing. In the past, money was created by national governments; today some currencies like the Euro or the CFA Franc are created by multi-government entities. Elements of #$Money in Cyc may be either a fixed amount, such as five U.S. dollars, or a range, such as `the price of a 1997 Mazda Protege'. See #$UnitOfMoney for the units used by Cyc to measure instances of #$Money. Note: The tangible coins, bills, checks, etc., that represent certain amounts of #$Money (but which as physical objects may have little value) are elements of #$TenderObject, not of #$Money. Elements of #$TenderObject which also belong to #$Currency are typically associated with some instance of #$UnitOfMoney (e.g., #$Dollar-UnitedStates) and have a fixed value.
> guid: bd58d4d8-9c29-11b1-9dad-c379636f7270
> direct instance of: #$FundamentalNumericScalarIntervalType
> direct specialization of: #$ScalarInterval

#$Rate rates

> A specialization of #$PhysicalQuantity. Each instance of #$Rate is an amount of some property (e.g., distance traveled or money spent), taken with respect to some unit of time. Instances of #$Rate include, for example, the instances of #$Speed (e.g., 55 mph), #$Frequency (e.g., 55 kHz), and #$MonetaryFlowRate (e.g., 55 cents per minute). See also #$UnitOfRate, the collection of functions used to measure rates (e.g., #$DollarsPerYear, #$MetersPerSecond).
> guid: bd58ebc2-9c29-11b1-9dad-c379636f7270
> direct instance of: #$MeasurableScalarIntervalType
> direct specialization of: #$PhysicalQuantity
> direct generalization of: #$Speed #$RateOfRotation #$AngularAccelerationRate #$Acceleration #$Power #$Frequency #$MoneyRate #$ElectricalCurrentLevel

#$Frequency frequencies (quantities)

> A specialization of #$Rate. Each instance of #$Frequency is the number of times something happens during some time interval. Instances of #$Frequency may be either single values (see the collection #$ScalarPointValue), such as 103 kiloHertz, or a range of values, such as #$Rarely. Note that instances of #$Frequency are important in the characterization of types of #$WavePropagation.
> guid: bd58fad4-9c29-11b1-9dad-c379636f7270
> direct instance of: #$MeasurableScalarIntervalType
> direct specialization of: #$Rate

#$Speed speeds (quantities) **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> A specialization of both #$Rate. Each instance of #$Speed is a rate of change in position (of an object, wave front, etc.). Instances of #$Speed may be either fixed amounts, such as (#$MilesPerHour 55), or a range, such as #$WalkingSpeed or #$Calm-WindSpeed.
> guid: bd5891b3-9c29-11b1-9dad-c379636f7270
> direct instance of: #$MeasurableScalarIntervalType
> direct specialization of: #$Rate

#$Acceleration accelerations **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> Acceleration is the change in speed of an object per unit time. It is a measurable physical quantity, measured in units such as MilesPerHourPerSecond.
> guid: bd58dc89-9c29-11b1-9dad-c379636f7270
> direct instance of: #$MeasurableScalarIntervalType
> direct specialization of: #$Rate

#$RateOfRotation rates of rotation **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> A collection of scalar rates of rotation.
> guid: bd589807-9c29-11b1-9dad-c379636f7270
> direct instance of: #$MeasurableScalarIntervalType
> direct specialization of: #$Rate

#$AngularAccelerationRate angular acceleration rate **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> #$AngularAccelerationRate is the rate at which the #$RateOfRotation of an object changes.It is a measurable physical quantity, measured in units such as radians per second per second.
> guid: bd59080e-9c29-11b1-9dad-c379636f7270
> direct instance of: #$MeasurableScalarIntervalType
> direct specialization of: #$Rate

#$OrderOfMagnitudeInterval magnitudes **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> #$OrderOfMagnitudeInterval, a specialization of #$ScalarInterval, is the collection of intervals which represent significant differences in quantity, for the various types of measurable properties. The most familiar case is for numbers, in which orders of magnitudes typically correspond with powers of 10; thus, in any given numerical quantity, the 100's dominate the 10's or the units, which are negligible with respect to the hundreds. Similar scales could be identified for any measurable property. For example, for #$Time-Quantity, some intervals which represent orders of magnitude are: #$AFewSecondsDuration, #$AFewMinutesDuration, #$AFewHoursDuration, #$AFewDaysDuration, #$AFewWeeksDuration, etc. Note that orders of magnitude for the same measurable property may differ between microtheories; e.g., the orders of magnitude for #$Time-Quantity in a `GeologicalTimeMt' would be much larger than those listed above, which are relevant for human perceptions and activities. Any two attributes which represent amounts of the same kind of property (e.g., time, distance) and which are also instances of #$OrderOfMagnitudeInterval will be assumed to differ so substantially in size that the smaller one (and values associated with it) will be insignificant compared to the larger interval (and values associated with it). That is, in general and as a default, if ORD1 and ORD2 are two different instances of #$OrderOfMagnitudeInterval which are also instances of the same type of #$AttributeValue (e.g., #$Speed, #$Mass, #$Density), then one is negligible with respect to the other. To know which dominates the other, we need additional knowledge about their relative size, e.g., that ORD2 is a #$followingValue of (i.e., 'bigger' than) ORD1. See also #$negligibleWRT, #$followingValue. The predicate #$orderOfMagnitude (q.v.) is used to relate particular quantities to the appropriate instance of #$OrderOfMagnitudeInterval. For example, two days -- in Cyc, (#$DaysDuration 2) -- has the #$orderOfMagnitude #$AFewDaysDuration.
> guid: bd58c38a-9c29-11b1-9dad-c379636f7270
> direct instance of: #$ObjectType
> direct specialization of: #$ScalarInterval

#$MutuallyDisjointIntervalCollection mutually disjoint interval collection **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> A collection of collections. Any element, X, which is an instance of MutuallyDisjointIntervalCollection is a collection of interval types X1, X2, X3,..., whose instances are temporallyDisjoint ; that is, each instance of X1 has no temporal intersection with any instance of X2 or X3 or...; each instance of X2 has no temporal intersection with any instance of X1 or X3 or...; etc. For example, consider DayOfWeekType, whose instances are Monday, Tuesday,... It is true that (isa DayOfWeekType MutuallyDisjointIntervalCollection ), because no Monday can temporally intersect any Tuesday or Wednesday or....; no Tuesday can temporally intersect any Monday or Wednesday or...; etc. Other elements of MutuallyDisjointIntervalCollection include DayOfWeekType, CalendarSeasonType, HourOfDayType, and so on. See also TemporallyDisjointIntervalType.
> guid: be0111d4-9c29-11b1-9dad-c379636f7270
> direct instance of: #$ThirdOrderCollection
> direct specialization of: #$SecondOrderCollection
> direct generalization of: #$CyclicalIntervalGroupType

### Units Of Measure

#$UnitOfMeasure units of measure **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> #$UnitOfMeasure is the collection of all functions which return elements of #$ScalarInterval that describe physical quantities such as #$Speed, #$Volume, etc. Those functions are usually grouped into subsets depending on what they measure (e.g., #$UnitOfSpeed,#$UnitOfVolume). Functions which belong to #$UnitOfMeasure are variable-arity relations that take either one or two arguments, both of which must be elements of #$SubLRealNumber. If only one argument is given (e.g. (#$Meter 5)), the expression stands for a precise quantity (here, 5 meters); see also #$ScalarPointValue. If two arguments are given (e.g. (#$Meter 5 10)), the expression stands for a closed interval and the arguments are interpreted as the interval's mininum and maximum, respectively. Following are a few example uses of some elements of #$UnitOfMeasure: `10 years': (#$YearsDuration 10) `2 feet': (#$Foot-UnitOfMeasure 2) `50 dollars and 2 cents': (#$Dollar-UnitedStates 50.02) `between 1 and 50 pounds per square inch, inclusive': (#$PoundsPerSquareInch 1 50) `dimensionless quantity between 3 and 4.1, inclusive': (#$Unity 3 4.1).
> guid: bd5880aa-9c29-11b1-9dad-c379636f7270
> direct instance of: #$RelationshipType
> direct specialization of: #$VariableArityFunction #$UnreifiableFunction #$IndividualDenotingFunction
> direct generalization of: #$UnitOfMeasureNoPrefix #$UnitOfArea #$UnitOfConcentration #$UnitOfRate #$UnitOfVolume #$UnitOfAngularDistance #$MKSUnitOfMeasure #$CGSUnitOfMeasure #$FPSUnitOfMeasure #$DimensionlessUnitOfMeasure #$UnitOfMeasureWithPrefix #$UnitOfPressure #$UnitOfMass #$UnitOfTime #$UnitOfMoney #$StandardUnitOfMeasure #$UnitOfDistance #$UnitOfEnergy #$UnitOfTemperature #$UnitOfCapacitance #$UnitOfCharge #$UnitOfVoltage

#$InterconvertibleUnitType types of interconvertible unit **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> A collection of collections. Each instance of #$InterconvertibleUnitType is a collections of functions (all belonging to #$UnitOfMeasure) that are used to measure quantities whose units are convertible into one another. Some collections of interconvertible units include #$UnitOfTime, #$UnitOfDistance, #$UnitOfCPUSpeed. For example, #$UnitOfTime includes the functions #$HoursDuration and #$SecondsDuration (among others). Any quantity denoted by applying one of those functions can also be expressed in terms of the other. For example, (#$HoursDuration 1) equals (#$MinutesDuration 60). On the other hand, not all the instances of #$UnitOfMeasure constitute types of interconvertible units. #$UnitOfRate is not an instance of #$InterconvertibleUnitType; therefore, it does not necessarily follow that quantities denoted by its elements are interconvertible. For example, #$TimesPerDay and #$MilesPerHour are both instances of #$UnitOfRate; however, quantities denoted using either function are not convertible into one another.
> guid: bd5888e2-9c29-11b1-9dad-c379636f7270
> direct instance of: #$SecondOrderCollection
> direct specialization of: #$RelationshipType
> direct generalization of: #$FundamentalUnitType

#$UnitOfMeasureNoPrefix units of measure without a prefix **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> Please see the #$SharedNote #$NoteForUnitOfMeasureWithPrefixAndNoPrefix.
> guid: bd5883ec-9c29-11b1-9dad-c379636f7270
> direct instance of: #$FunctionCategory
> direct specialization of: #$UnitOfMeasure

#$UnitOfMeasureWithPrefix unit of measure with prefix **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> Please see the #$SharedNote #$NoteForUnitOfMeasureWithPrefixAndNoPrefix.
> guid: bd58f899-9c29-11b1-9dad-c379636f7270
> direct instance of: #$FunctionCategory
> direct specialization of: #$UnitOfMeasure

#$NoteForUnitOfMeasureWithPrefixAndNoPrefix note for unit of measure with prefix and no prefix **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> Elements of #$UnitOfMeasureNoPrefix denote units of measure that don't have a multiplicative prefix (e.g. `kilo', `micro', `billion'). #$Inch and #$MetersPerSecond are such elements. On the other hand, elements of #$UnitOfMeasureWithPrefix do have multiplicative prefixes; examples include #$CentimetersPerSecond, (#$Micro #$Gram), #$KiloWatt, and #$GramsPerMilliliter. We need these constants in order to prevent references to terms such as ((#$Micro (#$Micro #$Gram) 5) or ((#$Kilo (#$CentimetersPerSecond) 3.2). If we didn't have these restrictions, equal quantities would allow for an undesirable level of possible names for a quantity, e.g. ((#$Micro (#$Kilo #$Gram) 1) would refer to the same quantity as ((#$Kilo (#$Micro #$Gram) 1) would refer to the same quantity as (#$Gram .001), etc.
> guid: c03dd762-9c29-11b1-9dad-c379636f7270
> direct instance of: #$Individual

#$FundamentalNumericScalarIntervalType fundamental numeric attribute type **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> A collection of collections. Each instance of #$FundamentalNumericScalarIntervalType is a collection of measurable #$ScalarIntervals that are `fundamental' when contrasted with other types of #$ScalarIntervals which are derived from them. Instances of #$FundamentalNumericScalarIntervalType include #$Mass, #$Distance, #$Temperature, and #$ElectricalCharge. Cf. #$DerivedNumericScalarIntervalType.
> guid: bd59059d-9c29-11b1-9dad-c379636f7270
> direct instance of: #$SecondOrderCollection #$SiblingDisjointCollection
> direct specialization of: #$MeasurableScalarIntervalType

#$DerivedNumericScalarIntervalType derived numeric attribute type

> A collection of collections. Each instance of #$DerivedNumericScalarIntervalType is a collection of numerically measurable #$ScalarIntervals whose units are complex (that is, in units derived from some more basic units of measure). Instances include #$Volume, #$Area, and #$Acceleration. See also the related collection #$FundamentalNumericScalarIntervalType.
> guid: bd58dae0-9c29-11b1-9dad-c379636f7270
> direct instance of: #$SecondOrderCollection #$SiblingDisjointCollection
> direct specialization of: #$MeasurableScalarIntervalType
> direct generalization of: #$MaterialStrengthType

#$StandardUnitOfMeasure standard unit of measure **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> #$StandardUnitOfMeasure is a subcollection of #$UnitOfMeasure, the collection of units used to measure quantifiable properties. #$StandardUnitOfMeasure contains those units which are considered the #$standardUnit for the property they measure. Some examples: the standard #$UnitOfVolume is the #$Liter; the standard #$UnitOfTemperature is the #$DegreeKelvin; the standard #$UnitOfMass is the #$Kilogram. Every unit type has one unit designated as the standard unit for that type.
> guid: bd58fe4f-9c29-11b1-9dad-c379636f7270
> direct instance of: #$RelationshipType
> direct specialization of: #$UnitOfMeasure

#$FPSUnitOfMeasure foot-pound-second units of measure **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> A subcollection of #$UnitOfMeasure. #$FPSUnitOfMeasure is the collection of all the measurement functions whose results use the FPS (i.e., foot-pound-second) system of measure to describe physical quantities. Examples: #$Gallon-US, #$SquareMile, #$CubicFtPerSec.
> guid: bd5904b6-9c29-11b1-9dad-c379636f7270
> direct instance of: #$UnitOfMeasureTypeBySystem
> direct specialization of: #$UnitOfMeasure

#$CGSUnitOfMeasure centimeter-gram-second units of measure **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> A subcollection of #$UnitOfMeasure. #$CGSUnitOfMeasure is the collection of all the measurement functions whose results use the CGS (i.e., centimeter-gram-second) system of measure to describe physical quantities. Example instances: #$CentimetersPerSecond, #$CubicCentimeter, #$Gram, #$SecondsDuration.
> guid: bd589a3d-9c29-11b1-9dad-c379636f7270
> direct instance of: #$UnitOfMeasureTypeBySystem
> direct specialization of: #$UnitOfMeasure

#$MKSUnitOfMeasure meter-kilogram-second units of measure **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> A subcollection of #$UnitOfMeasure. #$MKSUnitOfMeasure is the collection of all the measurement functions whose results use the MKS (i.e., meter-kilogram-second) system of measure to describe physical quantities. Examples: #$MetersPerSecondPerSecond, #$Liter, #$MetricTon.
> guid: bd5901ca-9c29-11b1-9dad-c379636f7270
> direct instance of: #$UnitOfMeasureTypeBySystem
> direct specialization of: #$UnitOfMeasure

#$DimensionlessUnitOfMeasure dimensionless units of measure **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> A subcollection of #$UnitOfMeasure. #$DimensionlessUnitOfMeasure is the collection of measurement functions whose results are instances of #$ScalarInterval which have no dimension; i.e., they are simply numbers, instances of #$IntervalOnNumberLine. Examples include #$Percent, #$Unity, #$Per1000. (#$Percent 50) returns the point-interval, one-half (0.5). (#$Unity 3 4) returns the interval that is the range of numbers between 3 and 4, inclusive.
> guid: bd58842e-9c29-11b1-9dad-c379636f7270
> direct instance of: #$FundamentalUnitType #$UnitOfMeasureTypeByTypeMeasured
> direct specialization of: #$UnitOfMeasure

#$Unity unity **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> #$Unity is the standard unit of measure for dimensionless quantities. Like other instances of #$UnitOfMeasure, #$Unity is a variable-arity function whose (one or two) arguments are instances of #$SubLRealNumber. Unlike most other instances of #$UnitOfMeasure, #$Unity returns a dimensionless quantity, simply a real number without physical dimensions attached. Thus, the value of (#$Unity .10) is equal to the point scalar 0.10, which is also the same quantity as (#$Percent 10). Both (#$Unity .10) and 0.10 are legitimate instances of #$RealNumber; however, only 0.10 is a legitimate instance of #$SubLRealNumber (q.v.). #$Unity can be used to return a dimensionless real-number interval as well as a point value; e.g., (#$Unity 3 4) returns the interval that is the range of numbers between 3 and 4, inclusive.
> guid: bd588471-9c29-11b1-9dad-c379636f7270
> direct instance of: #$UnitOfMeasureNoPrefix #$StandardUnitOfMeasure #$DimensionlessUnitOfMeasure #$Individual

#$Percent percent **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> #$Percent is a function whose results are percentages. E.g., (#$Percent 1) represents 1% in Cyc (and is equal to .01); (#$Percent 110) is the same as 1.1; (#$Percent 0.1) is the same as 0.1%, which is the same as .001.
> guid: bd5892ab-9c29-11b1-9dad-c379636f7270
> direct instance of: #$UnitOfMeasureNoPrefix #$DimensionlessUnitOfMeasure #$EvaluatableFunction #$Individual

#$UnitOfTime units of time **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The collection of functions which return elements of #$Time-Quantity; e.g., (#$YearsDuration 100) returns a time period equal to a century.
> guid: bd58f9c5-9c29-11b1-9dad-c379636f7270
> direct instance of: #$FundamentalUnitType #$UnitOfMeasureTypeByTypeMeasured
> direct specialization of: #$UnitOfMeasure

#$UnitOfFrequency units of frequency **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The collection of functions which are used for expressing how often something occurs during an interval of time, i.e., functions which return an instance of #$Frequency. For example, (#$MegaHertz 89.5) returns a frequency of 89.5 MHz.
> guid: bd58ac89-9c29-11b1-9dad-c379636f7270
> direct instance of: #$InterconvertibleUnitType
> direct specialization of: #$UnitOfRate

#$UnitOfRate units of rate

> A specialization of #$UnitOfMeasure. Each instance of #$UnitOfRate is a function which returns an instance of #$Rate when applied to a real number (see the collection #$SubLRealNumber) or a sequence of two real numbers. This collection includes any instance of #$UnitOfMeasure whose #$unitOfMeasureExpansions list includes the factor (-1 #$UnitOfTime). Notable specializations include #$UnitOfSpeed, #$UnitOfFrequency, and #$UnitOfPower.
> guid: bd5890ac-9c29-11b1-9dad-c379636f7270
> direct instance of: #$UnitOfMeasureTypeByTypeMeasured
> direct specialization of: #$UnitOfMeasure
> direct generalization of: #$UnitOfFrequency #$UnitOfAngularAcceleration #$UnitOfAcceleration #$UnitOfPower #$UnitOfAngularSpeed #$UnitOfMonetaryFlowRate #$UnitOfFlowRate #$UnitOfSpeed #$UnitOfCurrent

#$UnitOfDistance units of distance

> A specialization of #$UnitOfMeasure. Each instance of #$UnitOfDistance is a function which, when applied to a number or pair of numbers, returns an instance of #$Distance as its value. Instances of #$UnitOfDistance include #$Inch and #$Meter.
> guid: bd588ab7-9c29-11b1-9dad-c379636f7270
> direct instance of: #$FundamentalUnitType #$UnitOfMeasureTypeByTypeMeasured
> direct specialization of: #$UnitOfMeasure

#$UnitOfArea units of area

> A specialization of #$UnitOfMeasure. Each instance of #$UnitOfArea is a function which returns an instance of #$Area (q.v.) when applied to a real number (see the collection #$SubLRealNumber) or a sequence of two real numbers. For instance, (#$SquareMeter 9) is an area of 9 square meters. Instances of #$UnitOfArea include #$SquareMile, #$SquareMeter, and #$SquareInch.
> guid: bd58c2c7-9c29-11b1-9dad-c379636f7270
> direct instance of: #$InterconvertibleUnitType #$UnitOfMeasureTypeByTypeMeasured
> direct specialization of: #$UnitOfMeasure

#$UnitOfVolume units of volume **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The collection of functions which return elements of #$Volume. E.g., (#$Liter 5) denotes 5 liters.
> guid: bd58fd9f-9c29-11b1-9dad-c379636f7270
> direct instance of: #$InterconvertibleUnitType #$UnitOfMeasureTypeByTypeMeasured
> direct specialization of: #$UnitOfMeasure

#$UnitOfSpeed units of speed

> A specialization of #$UnitOfRate. Each instance of #$UnitOfSpeed is a function which returns an instance of #$Speed (q.v.) when applied to a real number (see the collection #$SubLRealNumber) or a sequence of two real numbers. For instance, (#$MilesPerHour 212) is a speed of 212 miles per hour. Instances of #$UnitOfSpeed include #$MilesPerHour, #$MetersPerSecond, and #$Mach-UnitOfSpeed.
> guid: bddfadc2-9c29-11b1-9dad-c379636f7270
> direct instance of: #$InterconvertibleUnitType
> direct specialization of: #$UnitOfRate

#$UnitOfAcceleration units of acceleration

> A specialization of #$UnitOfRate. Each instance of #$UnitOfAcceleration is a function which returns an instance of #$Acceleration (q.v.) when applied to a real number (see the collection #$SubLRealNumber) or a sequence of two real numbers. For instance, (#$MetersPerSecondPerSecond 32) is an acceleration of 32 meters per second per second.
> guid: bd58eadf-9c29-11b1-9dad-c379636f7270
> direct instance of: #$InterconvertibleUnitType #$UnitOfMeasureTypeByTypeMeasured
> direct specialization of: #$UnitOfRate

#$UnitOfMass units of mass **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The collection of functions which return elements of #$Mass. E.g. (#$Kilogram 5) denotes 5 kilograms.
> guid: bd588a72-9c29-11b1-9dad-c379636f7270
> direct instance of: #$FundamentalUnitType #$UnitOfMeasureTypeByTypeMeasured
> direct specialization of: #$UnitOfMeasure

#$UnitOfEnergy units of energy **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The collection of functions which return elements of #$EnergyAsAQuantity. E.g., (#$Joule 5) denotes 5 joules.
> guid: bd58dd71-9c29-11b1-9dad-c379636f7270
> direct instance of: #$InterconvertibleUnitType #$UnitOfMeasureTypeByTypeMeasured
> direct specialization of: #$UnitOfMeasure

#$UnitOfPower units of power **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The collection of functions which return elements of #$Power. E.g., (#$Watt 5) denotes 5 watts.
> guid: bd58ea5a-9c29-11b1-9dad-c379636f7270
> direct instance of: #$InterconvertibleUnitType
> direct specialization of: #$UnitOfRate

#$UnitOfAngularDistance units of angular distance **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The collection of functions which return elements of #$AngularDistance. E.g., (#$Radian 5) denotes 5 radians.
> guid: bd58ab94-9c29-11b1-9dad-c379636f7270
> direct instance of: #$FundamentalUnitType #$UnitOfMeasureTypeByTypeMeasured
> direct specialization of: #$UnitOfMeasure

#$UnitOfAngularSpeed units of angular speed **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The collection of functions which return elements of #$RateOfRotation. E.g., (#$RadiansPerSecond 5) denotes a change of 5 radians in angular distance per second.
> guid: bd58accb-9c29-11b1-9dad-c379636f7270
> direct instance of: #$InterconvertibleUnitType
> direct specialization of: #$UnitOfRate

#$UnitOfAngularAcceleration units of angular acceleration **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The collection of functions which return elements of #$AngularAccelerationRate (i.e., the rate of change in the #$RateOfRotation).
> guid: bd58eb20-9c29-11b1-9dad-c379636f7270
> direct instance of: #$InterconvertibleUnitType #$UnitOfMeasureTypeByTypeMeasured
> direct specialization of: #$UnitOfRate

#$UnitOfTemperature units of temperature **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The collection of functions which return elements of #$Temperature. E.g., (#$DegreeFahrenheit 451) denotes a #$Temperature of 451 F.
> guid: bd58b17f-9c29-11b1-9dad-c379636f7270
> direct instance of: #$FundamentalUnitType #$UnitOfMeasureTypeByTypeMeasured
> direct specialization of: #$UnitOfMeasure

#$UnitOfCharge units of charge **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The collection of functions which return elements of #$ElectricalCharge. E.g., (#$Coulomb 3) denotes an electrical charge of 3 coulombs.
> guid: bd588a31-9c29-11b1-9dad-c379636f7270
> direct instance of: #$FundamentalUnitType #$UnitOfMeasureTypeByTypeMeasured
> direct specialization of: #$UnitOfMeasure

#$UnitOfVoltage units of voltage

> A specialization of #$UnitOfMeasure. Each instance of #$UnitOfVoltage is a function which returns an instance of #$Voltage (q.v.) when applied to a real number (see the collection #$SubLRealNumber) or a sequence of two real numbers. For instance, (#$Volt 500) is a voltage of 500 volts.
> guid: bd58ea9c-9c29-11b1-9dad-c379636f7270
> direct instance of: #$InterconvertibleUnitType #$UnitOfMeasureTypeByTypeMeasured
> direct specialization of: #$UnitOfMeasure

#$UnitOfCapacitance units of capacitance

> A specialization of #$UnitOfMeasure. Each instance of #$UnitOfCapacitance is a function which returns an instance of #$ElectricalCapacitance (q.v.) when applied to a real number (see the collection #$SubLRealNumber) or a sequence of two real numbers. For instance, (#$Farad 20) is a capacitance of 20 farads.
> guid: bd5888a4-9c29-11b1-9dad-c379636f7270
> direct instance of: #$InterconvertibleUnitType #$UnitOfMeasureTypeByTypeMeasured
> direct specialization of: #$UnitOfMeasure

#$UnitOfCurrent units of current **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The collection of functions which return elements of #$ElectricalCurrentLevel. E.g., (#$Ampere 2) denotes an instance of #$ElectricalCurrentLevel that would measure two amps.
> guid: bd58a8db-9c29-11b1-9dad-c379636f7270
> direct instance of: #$InterconvertibleUnitType #$UnitOfMeasureTypeByTypeMeasured
> direct specialization of: #$UnitOfRate

#$UnitOfMoney units of money

> A specialization of #$UnitOfMeasure. Each instance of #$UnitOfMoney is a function which returns an instance of #$Money (q.v.) when applied to a real number (see the collection #$SubLRealNumber) or a sequence of two real numbers. For instance, (#$Cent-UnitedStates 2) is 2 U.S. cents. Instances of #$UnitOfMoney include #$Dollar-UnitedStates, #$Peso-Mexico, and #$Yen-Japan.
> guid: bd5883c5-9c29-11b1-9dad-c379636f7270
> direct instance of: #$FundamentalUnitType #$UnitOfMeasureTypeByTypeMeasured
> direct specialization of: #$UnitOfMeasure

#$UnitOfMonetaryFlowRate units of monetary flow rate **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The collection of functions which return elements of #$MonetaryFlowRate (i.e. transfer of money per unit of time). E.g., (#$DollarsPerHour 10) denotes a #$MonetaryFlowRate of $10 per hour.
> guid: bd589991-9c29-11b1-9dad-c379636f7270
> direct instance of: #$InterconvertibleUnitType
> direct specialization of: #$UnitOfRate

#$UnitOfConcentration units of concentration

> A specialization of #$UnitOfMeasure. Each instance of #$UnitOfConcentration is a function which returns an instance of #$ConcentrationStrength-Generic (q.v.) when applied to a real number (see the collection #$SubLRealNumber) or a sequence of two real numbers. For instance, (#$GramsPerMilliliter 1) is a concentration of 1 gram per milliliter. Instances of #$UnitOfConcentration include #$GramsPerMilliliter, #$MilligramsPerMilliliter, and #$MicrogramsPerMilliliter.
> guid: bd6754a3-9c29-11b1-9dad-c379636f7270
> direct instance of: #$InterconvertibleUnitType #$UnitOfMeasureTypeByTypeMeasured
> direct specialization of: #$UnitOfMeasure

#$UnitOfFlowRate units of flow rate **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The collection of functions which return elements of #$FlowRate (i.e.,volume of stuff passing a point per unit of time). E.g., (#$CubicMeterPerSec 2000) denotes a #$FlowRate of 2000 cubic meters per second.
> guid: bd5899d1-9c29-11b1-9dad-c379636f7270
> direct instance of: #$InterconvertibleUnitType
> direct specialization of: #$UnitOfRate

#$UnitOfPressure units of pressure

> A specialization of #$UnitOfMeasure. Each instance of #$UnitOfPressure is a function which returns an instance of #$Pressure (q.v.) when applied to a real number (see the collection #$SubLRealNumber) or a sequence of two real numbers. For instance, (#$PoundsPerSquareInch 500) is a pressure of 500 pounds per square inch. Instances of #$UnitOfPressure include #$Bar-UnitOfPressure, #$Pascal-UnitOfPressure, and #$PoundsPerSquareInch.
> guid: bd58c776-9c29-11b1-9dad-c379636f7270
> direct instance of: #$InterconvertibleUnitType #$UnitOfMeasureTypeByTypeMeasured
> direct specialization of: #$UnitOfMeasure

#$UnorderedAttributeType unordered attribute type **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> A collection of collections, and a specialization of #$AttributeType. Each instance ATT-COL of #$UnorderedAttributeType is a collection of attributes having the following property: for any two instances ATT-1 and ATT-2 of ATT-COL, neither (#$followingValue ATT-1 ATT-2) nor (#$followingValue ATT-2 ATT-1) holds. In other words, any two instances of ATT-COL are incommensurable with each other. Instances of #$UnorderedAttributeType include #$GenderOfLivingThing and #$HumanSkinColor.
> guid: bd58d593-9c29-11b1-9dad-c379636f7270
> direct instance of: #$SecondOrderCollection #$SiblingDisjointCollection
> direct specialization of: #$ObjectType

#$VectorInterval relative location **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> A specialization of #$NTupleInterval. Each instance of #$VectorInterval is an n-tuple of intervals (where n > 1), one of which is a direction. Like the instances of #$ScalarInterval, the intervals in an instance of #$VectorInterval may be point-valued or cover a range of values. The minimal interval (i.e., point-valued) type of vector interval is exemplified by a vector such as `10 meters due east'. Vectors may also cover a range of values; e.g., `at least 10 feet away and in a horizontal direction'; `between ten to twelve miles NNW'.
> guid: bd58ec12-9c29-11b1-9dad-c379636f7270
> direct instance of: #$ObjectType
> direct specialization of: #$NTupleInterval
> direct generalization of: #$UnitVectorInterval #$Vector-Precise

#$standardUnit standard unit **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The Cyc predicate #$standardUnit is used to indicate the standard unit for some type of measurement. (#$standardUnit TYPE UNIT) means that UNIT is the standard measure for the kind of measurements in TYPE. Examples: (#$standardUnit #$UnitOfDistance #$Meter); (#$standardUnit #$UnitOfAngularAcceleration #$RadiansPerSecondPerSecond); (#$standardUnit #$DimensionlessUnitOfMeasure #$Unity).
> guid: bd588af8-9c29-11b1-9dad-c379636f7270
> direct instance of: #$FunctionalSlot #$IntangibleObjectPredicate

#$followingValue following value **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The Cyc predicate #$followingValue is used to represent an ordering of generic attributes. (#$followingValue VAL1 VAL2) means that VAL2 is a greater value than VAL1 on a scale that they share. (#$followingValue VAL1 VAL2) implies (#$greaterThan VAL2 VAL1). Typically, one uses #$followingValue when the values VAL1 and VAL2 are elements of #$GenericQuantity, and they are not grounded in numerically quantifiable units of measure (see #$NoteAboutGivingGenericValueFunctionsNumericValues). If VAL1 and VAL2 do have numerical grounding, a #$followingValue formula is unnecessary since #$numericallyEqual, #$greaterThanOrEqualTo, and #$greaterThan, are automatically computable using arithmetic relations holding between the minimum and maximum of val1 and val2. (See #$minQuantValue, #$maxQuantValue.) For example, one must use #$followingValue to state that (#$HighAmountFn #$Glamor) is more glamorous than (#$LowAmountFn #$Glamor). On the other hand, it is unnecessary to assert a #$followingValue relation between (#$MilesPerHour 5) and (#$MilesPerHour 25 60) since #$greaterThan is arithmetically determinable. See also #$GenericQuantity, #$GenericValueFunction.
> guid: bd5892af-9c29-11b1-9dad-c379636f7270
> direct instance of: #$AsymmetricBinaryPredicate #$TransitiveBinaryPredicate
> direct specialization of: #$lessThan #$colinearValues

### Quantity Slots And Measurement

#$QuantitySlot quantity slot **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> A specialization of #$BinaryPredicate. Each instance of #$QuantitySlot is a binary predicate that relates a thing to some quantity. In many, but not all, cases, the quantity in question will be a measure of some dimension --- e.g., mass, volume, or area --- of the thing to which it is related by the #$QuantitySlot. The second argument place of each #$QuantitySlot is constrained to instances of #$NumericTerm. Instances of #$QuantitySlot include #$moneyTransferred, #$freezingPoint, #$massOfObject, and #$areaOfObject.
> guid: bd58cd5b-9c29-11b1-9dad-c379636f7270
> direct instance of: #$PredicateCategory
> direct specialization of: #$BinaryAttributePredicate
> direct generalization of: #$IntervalBasedQuantitySlot

#$IntervalBasedQuantitySlot interval based quantity slots

> A specialization of #$QuantitySlot. Each instance of #$IntervalBasedQuantitySlot is a binary predicate used to relate an object to a measurable quantity (that is, an instance of #$ScalarInterval). The second argument to an instance of #$IntervalBasedQuantitySlot must be an instance of #$ScalarInterval; consequently, the #$arg2Isa for each instance of #$IntervalBasedQuantitySlot must be a specialization of #$ScalarInterval. Each instance of #$IntervalBasedQuantitySlot has an #$arg2Format of #$IntervalEntry (q.v.); consequently, for each #$IntervalBasedQuantitySlot PRED, there can be multiple assertions of the form (PRED OBJ QUANT-1), (PRED OBJ QUANT-2), ..., (PRED OBJ QUANT-n), as long as the #$ScalarIntervals QUANT-1, QUANT-2, ..., QUANT-n overlap (see the predicate #$overlapsIntervals). For example, one could assert both (#$heightOfObject OBJ (#$Foot-UnitOfMeasure 3 4)) and (#$heightOfObject OBJ (#$Foot-UnitOfMeasure 2 6)), since the two intervals in question overlap. However, one could not assert both (#$heightOfObject OBJ (#$Foot-UnitOfMeasure 3 4)) and (#$heightOfObject OBJ (#$Foot-UnitOfMeasure 6)) in the same context, since these two intervals do not overlap.
> guid: bd588162-9c29-11b1-9dad-c379636f7270
> direct instance of: #$PredicateCategory
> direct specialization of: #$FunctionalSlot #$QuantitySlot
> direct generalization of: #$PhysicalAmountSlot

#$derivedFromUnit derived from unit **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> (#$derivedFromUnit UNIT1 UNIT2) means that UNIT1 is a multiple of UNIT2. In general, UNIT2 is a more basic unit than UNIT1. Examples: (#$derivedFromUnit (#$Milli #$Meter) #$Meter); (#$derivedFromUnit (#$Micro #$Gram) #$Gram); (#$derivedFromUnit #$MilliSecondsDuration #$SecondsDuration). See also #$UnitOfMeasure.
> guid: bd58fa6d-9c29-11b1-9dad-c379636f7270
> direct instance of: #$FunctionalSlot #$IntangibleObjectPredicate

#$obtainedFromUnits obtained from units **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> (#$obtainedFromUnits UNIT1 UNIT2) means that UNIT2 is a more fundamental unit than UNIT1, and UNIT2 is among the component units into which UNIT1 can be analyzed. For example, for #$MilesPerHour, one could assert both (#$obtainedFromUnits #$MilesPerHour #$HoursDuration) and (#$obtainedFromUnits #$MilesPerHour #$Mile). See also #$unitExpansions, #$UnitOfMeasure.
> guid: bd589131-9c29-11b1-9dad-c379636f7270
> direct instance of: #$IntangibleObjectPredicate #$AsymmetricBinaryPredicate #$TransitiveBinaryPredicate

#$unitExpansions unit expansions **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The predicate #$unitExpansions is used to express the relationship between a derived unit of measurement and the units from which it is derived, e.g., miles per second from miles and seconds. (#$unitExpansions UNIT FACTOR-LIST) means that UNIT is derived from the factors on the list UNIT-FACTOR, where UNIT-FACTOR is an instance of #$SubLList. There are two kinds of items in the UNIT-FACTOR list: (1) all items except the last are themselves lists that consist of an instance of #$UnitOfMeasure followed by an exponent for that unit; (2) the last item is the constant multiplier. Some examples: (#$unitExpansions #$MilesPerHour (((#$Mile 1)(#$HoursDuration -1)) 1), (#$unitExpansions #$SpeedOfLight (((#$Mile 1)(#$SecondsDuration -1)) 186000)), (#$unitExpansions #$MetersPerSecondPerSecond (((#$Meter 1)(#$SecondsDuration -2)) 1). The first of these examples is included only because it makes a clear example; the definition of #$MilesPerHour in terms of #$Mile and #$HoursDuration should actually be done with the simpler #$multiplicationUnits (q.v.). In general, any relationship among units that can be expressed with #$multiplicationUnits should be, and #$unitExpansions should be reserved for those relationships that can't be expressed with the simpler vocabulary.
> guid: bd5899fb-9c29-11b1-9dad-c379636f7270
> direct instance of: #$IntangibleObjectRelatingPredicate #$BinaryPredicate

#$unitMultiplicationFactor unit multiplication factor **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> (#$unitMultiplicationFactor SMALL-UNITS BIG-UNITS NUM) means that there are NUM SMALL-UNITS in every BIG-UNITS. In other words, to convert from a measure in BIG-UNITS to a measure in SMALL-UNITS multiply by NUM. For example, (#$unitMultiplicationFactor #$Inch #$Foot-UnitOfMeasure 12) means that one multiplies feet by twelve when converting from feet to inches. NUM must be greater than or equal to 1. SMALL-UNITS and BIG-UNITS must be elements of the same #$InterconvertibleUnitType. See also #$QuantityConversionFn.
> guid: bd5900c1-9c29-11b1-9dad-c379636f7270
> direct instance of: #$TernaryPredicate #$FunctionalPredicate

#$multiplicationUnits multiplication units **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The Cyc predicate #$multiplicationUnits is used to state what measurement units should be used for the product of two physical quantities, given the units measuring each of the quantities multiplied. (#$multiplicationUnits UM-1 UM-2 PROD-UM) means that the value of (#$TimesFn (UM-1 x) (UM-2 y)) should be given in the units PROD-UM. For example, (#$multiplicationUnits #$Mile #$Mile #$SquareMile). See also #$UnitOfMeasure, #$TimesFn.
> guid: c10c4394-9c29-11b1-9dad-c379636f7270
> direct instance of: #$FunctionalPredicate #$BookkeepingPredicate #$TernaryPredicate

#$comparableFluents comparable fluents **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> (#$comparableFluents OBJ F(X) G(X)) states that the order of magnitude of F(OBJ) is also the order of magnitude of G(OBJ). Another way of thinking of it is that F(OBJ) and G(OBJ) are of comparable orders of magnitude, and neither one is negligible with respect to the other.
> guid: bd58b951-9c29-11b1-9dad-c379636f7270
> direct instance of: #$TernaryPredicate

#$volumeContained volume contained **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> Indicates the total volume enclosed by a given container. (#$volumeContained CONT VOL) means that the total available volume of CONT is VOL.
> guid: bd5897f0-9c29-11b1-9dad-c379636f7270
> direct instance of: #$IntervalBasedQuantitySlot

#$forceActingOnObject force acting on object **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> #$forceActingOnObject is a predicate relating an instance of #$PartiallyTangible to any force which changes its direction of travel or the speed at which it is traveling.
> guid: bd58b8b2-9c29-11b1-9dad-c379636f7270
> direct instance of: #$TangibleObjectPredicate #$BinaryPredicate

#$forceCapacity force capacity **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The slot describing the capability of an animal to exert force.
> guid: bd58bf41-9c29-11b1-9dad-c379636f7270
> direct instance of: #$IntervalBasedQuantitySlot
> direct specialization of: #$hasAttributes

#$totalDisplacement total displacement **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The accumulated total displacement along the trajectory at any point in time during the duration of the moving process
> guid: bd58d7ad-9c29-11b1-9dad-c379636f7270
> direct instance of: #$IntervalBasedQuantitySlot

#$rateOfRotationOfObject rate of rotation of object **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> #$rateOfRotationOfObject relates an instance of #$PartiallyTangible to the rate of change of its physical component's angular separation from a reference vector as measured from a point of origin.
> guid: bd590482-9c29-11b1-9dad-c379636f7270
> direct instance of: #$PhysicalAttributeDescriptionSlot

#$angularAcceleration angular acceleration **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The rate at which the angle to an object is accelerating
> guid: bd58c0b4-9c29-11b1-9dad-c379636f7270
> direct instance of: #$PhysicalAttributeDescriptionSlot

#$areaOfObject surface area (measure) **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> This predicate relates a spatial thing to its two-dimensional size or #$Area (q.v.). (#$areaOfObject OBJ AREA) means that the two-dimensional size of OBJ is AREA. OBJ might be, for example, a desk top, a geographical region, or a cross-section of wire. Of course not every spatial thing has an area. Purely #$TwoDimensional (q.v.) things like discs, interiors of squares, and cross sections have areas; and so do three-dimensional things that have only two salient dimensions in most contexts, such as floors, tennis courts, and geograhical regions. For the areas of the latter sort of thing, consider using the specialization #$areaOfRegion.
> guid: bd589f18-9c29-11b1-9dad-c379636f7270
> direct instance of: #$PhysicalAmountSlot
> direct specialization of: #$sizeParameterOfObject

#$radius radius (physical attribute description slot) **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The radius of an object with a circular shape.
> guid: bd58bac9-9c29-11b1-9dad-c379636f7270
> direct instance of: #$IntervalBasedQuantitySlot #$PhysicalAttributeDescriptionSlot
> direct specialization of: #$sizeParameterOfObject

#$circumferenceOfObject circumference (physical attribute description slot) **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The distance around a circular object
> guid: bd58a060-9c29-11b1-9dad-c379636f7270
> direct instance of: #$PhysicalAttributeDescriptionSlot #$IntervalBasedQuantitySlot
> direct specialization of: #$sizeParameterOfObject

#$monetaryValue monetary value **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The value of an element of #$SomethingExisting, expressed in a monetary currency.--OKeefe, Jul 22, 1997
> guid: bd58d4b2-9c29-11b1-9dad-c379636f7270
> direct instance of: #$IntervalBasedQuantitySlot

#$MeasuringSomething measuring events

> A specialization of #$PurposefulPhysicalAction. Each instance of #$MeasuringSomething is an event in which an agent uses a physical device to measure some physical attribute of a tangible object. The last part of such an event involves the perception (and perhaps recording) of a result of the measurement (see the predicate #$measurementResult) by some instance of #$PerceptualAgent. See also the function #$MeasurementFn.
> guid: bd588524-9c29-11b1-9dad-c379636f7270
> direct instance of: #$TemporalObjectType #$DefaultDisjointScriptType
> direct specialization of: #$Evaluating #$UsingADevice

#$measurementResult measurement result **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The Cyc predicate #$measurementResult is used to relate a measuring event to the value that it results in. (#$measurementResult MEAS ATT) means that the measuring activity MEAS yielded a result of ATT, which is a physical quantity. For example, if the #$measurementResult of weighing a particular domestic letter is (#$Ounce 2.5), I put 55 cents U.S. postage on it. See also #$MeasurementFn, #$ScalarInterval.
> guid: bd5907ee-9c29-11b1-9dad-c379636f7270
> direct instance of: #$BinaryPredicate

### Comparisons

#$NumericComparison numeric comparison **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> A collection comprising the predicates used to compare elements of #$ScalarInterval. Examples: #$greaterThanOrEqualTo, #$greaterThan, #$numericallyEqual. Note that `less than' and `less than or equal to' are simply inverses of #$greaterThan and #$greaterThanOrEqualTo. E.g., in Cyc `A is less than B' is written as (#$greaterThan B A).
> guid: bd588cf9-9c29-11b1-9dad-c379636f7270
> direct instance of: #$PredicateCategory
> direct specialization of: #$ComparisonPredicate #$BinaryPredicate

#$greaterThan greater than **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The predicate #$greaterThan is Cyc's representation of the `greater than' ( > ) relation in mathematics, adapted to use with Cyc's scalars, which include quantitative intervals as well as point values. Formally, there are two conditions under which (#$greaterThan SI-1 SI-2) is true, for two elements of #$ScalarInterval: (1) (#$followingValue SI-1 SI-2) is true, or (2) the minimum of SI-1 is greater than the maximum of SI-2. Note that `A is less than B' is expressed in CycL as (#$greaterThan B A).
> guid: bd5880b2-9c29-11b1-9dad-c379636f7270
> direct instance of: #$AsymmetricBinaryPredicate #$TransitiveBinaryPredicate #$EvaluatablePredicate #$NumericComparison
> direct specialization of: #$greaterThanOrEqualTo

#$greaterThanOrEqualTo greater than or equal to **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The predicate #$greaterThanOrEqualTo is Cyc's representation of the `greater than or equal to' ( >= ) relation in mathematics, adapted to use with Cyc's scalars, which include quantitative intervals as well as point values. (See #$ScalarInterval.) Formally, there are three disjunctive conditions under which (#$greaterThanOrEqualTo SI-1 SI-2) is true, for two elements of #$ScalarInterval: (1) (#$equals SI-1 SI-2) is true; (2) (#$followingValue SI-1 SI-2) is true; or (3) the minimum of SI-1 is greater than or equal to the maximum of SI-2. Note that `A is less than or equal to B' is expressed in CycL as (#$greaterThanOrEqualTo B A).
> guid: bd5880af-9c29-11b1-9dad-c379636f7270
> direct instance of: #$AntiSymmetricBinaryPredicate #$EvaluatablePredicate #$ReflexiveBinaryPredicate #$TransitiveBinaryPredicate #$NumericComparison

#$numericallyEqual numerically equal **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The predicate #$numericallyEqual is Cyc's representation of the equals ( = ) of arithmetic, adapted to use with Cyc's scalars, which include quantitative intervals as well as point values. For any two instances of #$ScalarInterval, (#$numericallyEqual SI-1 SI-2) means that the minimum of SI-1 is equal to the mininum of SI-2 and that the maximum of SI-1 is equal to the maximum of SI-2. See also #$ScalarInterval.
> guid: bd589d90-9c29-11b1-9dad-c379636f7270
> direct instance of: #$EquivalenceRelation #$NumericComparison #$EvaluatablePredicate
> direct specialization of: #$greaterThanOrEqualTo #$subScalarIntervals

#$Liter liter **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The measurement function used in Cyc to represent the standard unit of capacity in the Metric system (and also in Cyc). See also #$UnitOfVolume, #$MKSUnitOfMeasure, #$UnitOfMeasure.
> guid: bd58f44a-9c29-11b1-9dad-c379636f7270
> direct instance of: #$UnitOfMeasureNoPrefix #$UnitOfVolume #$StandardUnitOfMeasure #$MKSUnitOfMeasure #$Individual

#$Kilometer kilometer **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The measurement function used in Cyc to represent the 1000-meter unit used within the Metric system to measure distance. Modern countries using the metric system measure their roads - and their road races - in kilometers. See also #$MKSUnitOfMeasure, #$UnitOfMeasure.
> guid: bd58c161-9c29-11b1-9dad-c379636f7270
> direct instance of: #$UnitOfMeasureWithPrefix #$UnitOfDistance #$MKSUnitOfMeasure #$Individual

#$Meter meter **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The measurement function used in Cyc to represent the basic unit of measure in the metric system. The meter is also the basic unit of measure for length in CYC. See also #$MKSUnitOfMeasure, #$UnitOfMeasure.
> guid: bd58d1a7-9c29-11b1-9dad-c379636f7270
> direct instance of: #$TotalDenotationalFunction #$UnitOfMeasureNoPrefix #$MKSUnitOfMeasure #$UnitOfDistance #$StandardUnitOfMeasure #$Individual

#$CubicCentimeter cubic centimeter **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The measurement function used in Cyc to represent the Metric cc, a unit of measure for volume. See also #$CGSUnitOfMeasure, #$UnitOfMeasure.
> guid: bd58a11c-9c29-11b1-9dad-c379636f7270
> direct instance of: #$CGSUnitOfMeasure #$UnitOfVolume #$Individual

#$Kilogram kilogram **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The measurement function used in Cyc to represent the basic unit of mass in the Metric system (and in Cyc). See also #$MKSUnitOfMeasure, #$UnitOfMeasure.
> guid: bd58b9b0-9c29-11b1-9dad-c379636f7270
> direct instance of: #$StandardUnitOfMeasure #$UnitOfMeasureWithPrefix #$MKSUnitOfMeasure #$UnitOfMass #$Individual

#$Gram gram **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The measurement function used in Cyc to represent the gram used within the Metric system to measure mass. See also #$CGSUnitOfMeasure, #$UnitOfMeasure.
> guid: bd58d6c0-9c29-11b1-9dad-c379636f7270
> direct instance of: #$UnitOfMeasureNoPrefix #$CGSUnitOfMeasure #$UnitOfMass #$Individual

#$MegaHertz megahertz **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The measurement function used in Cyc to represent the common unit of frequency. See also #$UnitOfFrequency, #$UnitOfMeasure.
> guid: bd58cce9-9c29-11b1-9dad-c379636f7270
> direct instance of: #$UnitOfFrequency #$UnitOfMeasureWithPrefix #$Individual

#$Megabyte megabyte **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The measurement function used in Cyc to represent a common unit of computer memory and disk capacity. The value of (#$Megabyte 1) equals approximately one million (8-bit) bytes. See also #$UnitOfMeasure.
> guid: bd58cc65-9c29-11b1-9dad-c379636f7270
> direct instance of: #$UnitOfMeasureWithPrefix #$Individual

#$Angstrom angstrom **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> Extremely small unit of length, used especially for measuring the wavelength of light, derived by dividing a meter by 10,000,000,000. Abbreviation: A (with a little circle on the top of the `A'). 1 A = 1/10,000,000,000 (i.e., 10^-10) meter.
> guid: c100796c-9c29-11b1-9dad-c379636f7270
> direct instance of: #$UnitOfDistance #$MKSUnitOfMeasure #$UnitOfMeasureWithPrefix #$Individual

#$Inch in (unit of distance) **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The measurement function used in Cyc to represent the inch used to measure length within the British (FPS) system. See also #$FPSUnitOfMeasure, #$UnitOfMeasure.
> guid: bd58a120-9c29-11b1-9dad-c379636f7270
> direct instance of: #$UnitOfMeasureNoPrefix #$FPSUnitOfMeasure #$UnitOfDistance #$Individual

#$Foot-UnitOfMeasure foot (unit of distance) **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The measurement function used in Cyc to represent the basic unit of length within the British (FPS) system. See also #$FPSUnitOfMeasure, #$UnitOfMeasure.
> guid: bd58a0e3-9c29-11b1-9dad-c379636f7270
> direct instance of: #$UnitOfMeasureNoPrefix #$UnitOfDistance #$FPSUnitOfMeasure #$Individual

#$SquareMile square mile **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The measurement function used in Cyc to represent the square mile used as a unit of measure for area, within the British (FPS) system. See also #$FPSUnitOfMeasure, #$UnitOfMeasure.
> guid: bd590423-9c29-11b1-9dad-c379636f7270
> direct instance of: #$UnitOfMeasureNoPrefix #$UnitOfArea #$FPSUnitOfMeasure #$Individual

#$Precision precision **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The collection of attributes that represent levels of precision needed to perform some activity accurately, i.e., within a narrow tolerance, whether those bounds be spatial (as for physical movements), perceptual, or intellectual.
> guid: bd58e72e-9c29-11b1-9dad-c379636f7270
> direct instance of: #$ScriptPerformanceAttributeType
> direct specialization of: #$AttributeValue

#$Pound-UnitOfMass lb **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The measurement function used in Cyc to represent the basic unit of mass in the British (FPS) system. Technically, the FPS pound is exclusively a unit of force, analogous to the #$Newton in the MKS system. The usage here is occasioned primarily by the fact that interconversions between pounds and kilograms are often used in the terrestrial frame of reference. See also #$FPSUnitOfMeasure, #$UnitOfMeasure, #$Pound-UnitOfForce.
> guid: bd590b61-9c29-11b1-9dad-c379636f7270
> direct instance of: #$FPSUnitOfMeasure #$UnitOfMeasureNoPrefix #$UnitOfMass #$Individual

#$Ounce ounce **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The measurement function used in Cyc to represent the ounce used for measuring weight within the British (FPS) system. See also #$FPSUnitOfMeasure, #$UnitOfMeasure.
> guid: bd58cb22-9c29-11b1-9dad-c379636f7270
> direct instance of: #$UnitOfMeasureNoPrefix #$UnitOfMass #$FPSUnitOfMeasure #$Individual

### Other Unit Of Measure Instances

#$Radian radian **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> This is the basic unit of angular measure. 2*pi radians make a complete circle.
> guid: bd58ac17-9c29-11b1-9dad-c379636f7270
> direct instance of: #$UnitOfMeasureNoPrefix #$UnitOfAngularDistance #$StandardUnitOfMeasure #$Individual

#$Degree-UnitOfAngularMeasure degree **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> A basic unit to measure the size of angles. 360 degrees = 1 complete circle
> guid: bd58ab5a-9c29-11b1-9dad-c379636f7270
> direct instance of: #$UnitOfMeasureNoPrefix #$UnitOfAngularDistance #$Individual

#$Minute-UnitOfAngularMeasure angular minute **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> A unit to measure the size of angles; 60 minutes = 1 degree (#$Degree-UnitOfAngularMeasure)
> guid: bdb98d26-9c29-11b1-9dad-c379636f7270
> direct instance of: #$UnitOfAngularDistance #$UnitOfMeasureNoPrefix #$Individual

#$Second-UnitOfAngularMeasure angular second **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> A unit to measure the size of angles. 60 seconds = 1 minute (#$Minute-UnitOfAngularMeasure)
> guid: bed7a225-9c29-11b1-9dad-c379636f7270
> direct instance of: #$UnitOfMeasureNoPrefix #$UnitOfAngularDistance #$Individual

#$DegreeCelsius degree Celsius **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The standard unit of temperature in much of the world and also in CYC.
> guid: bd59001f-9c29-11b1-9dad-c379636f7270
> direct instance of: #$UnitOfMeasureNoPrefix #$UnitOfTemperature #$MKSUnitOfMeasure #$Individual

#$DegreeFahrenheit degree Fahrenheit **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The unit of measure on the Fahrenheit scale; mainly used in the USA
> guid: bd589d7b-9c29-11b1-9dad-c379636f7270
> direct instance of: #$UnitOfMeasureNoPrefix #$UnitOfTemperature #$Individual

#$DegreeKelvin degree Kelvin **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The unit of measure on the Kelvin or Absolute temperature scale; mainly used in science; note that the size of this unit is equal to the size of a #$DegreeCelsius.
> guid: bd58b13f-9c29-11b1-9dad-c379636f7270
> direct instance of: #$UnitOfMeasureNoPrefix #$UnitOfTemperature #$StandardUnitOfMeasure #$Individual

#$TimesPerSecond time per second **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> A Cyc function, #$TimesPerSecond represents a #$UnitOfFrequency. (#$TimesPerSecond NUMBER) denotes the frequency NUMBER times per second. Note that this is more general than a representation of cycles per second, for which the appropriate #$UnitOfFrequency is #$Hertz.
> guid: bd67f24a-9c29-11b1-9dad-c379636f7270
> direct instance of: #$UnitOfMeasureNoPrefix #$UnitOfFrequency #$Individual

#$TimesPerYear time per year **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> A Cyc function, #$TimesPerYear is a #$UnitOfFrequency. (#$TimesPerYear NUMBER) denotes a frequency NUMBER times per year.
> guid: bd58d2bb-9c29-11b1-9dad-c379636f7270
> direct instance of: #$UnitOfFrequency #$UnitOfMeasureNoPrefix #$Individual

#$TimesPerDay time per day **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> Times per day -- unit of frequency
> guid: bd589f93-9c29-11b1-9dad-c379636f7270
> direct instance of: #$UnitOfFrequency #$UnitOfMeasureNoPrefix #$Individual

#$TimesPerWeek time per week **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> Times per week -- unit of frequency
> guid: bd58deb1-9c29-11b1-9dad-c379636f7270
> direct instance of: #$UnitOfMeasureNoPrefix #$UnitOfFrequency #$Individual

#$TimesPerMinute time per minute **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> Times per minute -- unit of frequency
> guid: bd58deee-9c29-11b1-9dad-c379636f7270
> direct instance of: #$UnitOfMeasureNoPrefix #$UnitOfFrequency #$Individual

#$AFewDaysDuration a few days **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> Duration of 2 to 10 days
> guid: bd58f6ee-9c29-11b1-9dad-c379636f7270
> direct instance of: #$PositiveScalarInterval #$OrderOfMagnitudeInterval #$Time-Quantity #$AttributeValue #$Individual

#$AFewDecadesDuration a few decades **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> Duration of 2 to 10 decades
> guid: bd58af72-9c29-11b1-9dad-c379636f7270
> direct instance of: #$PositiveScalarInterval #$Time-Quantity #$OrderOfMagnitudeInterval #$AttributeValue #$Individual

#$AFewHoursDuration a few hours **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> Duration of 2 to 10 hours
> guid: bd58fded-9c29-11b1-9dad-c379636f7270
> direct instance of: #$PositiveScalarInterval #$Time-Quantity #$OrderOfMagnitudeInterval #$AttributeValue #$Individual

#$AFewMinutesDuration a few minutes **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> Duration of 2 to 10 minutes
> guid: bd5899f0-9c29-11b1-9dad-c379636f7270
> direct instance of: #$PositiveScalarInterval #$Time-Quantity #$OrderOfMagnitudeInterval #$AttributeValue #$Individual

#$AFewMonthsDuration a few months **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> A few months 2-10
> guid: bd59008b-9c29-11b1-9dad-c379636f7270
> direct instance of: #$PositiveScalarInterval #$OrderOfMagnitudeInterval #$Time-Quantity #$AttributeValue #$Individual

#$AFewSecondsDuration a few seconds **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> Duration of 2 to 30 seconds
> guid: bd589ecf-9c29-11b1-9dad-c379636f7270
> direct instance of: #$PositiveScalarInterval #$Time-Quantity #$OrderOfMagnitudeInterval #$AttributeValue #$Individual

#$AFewWeeksDuration a few weeks **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> Duration of 2 to 10 weeks
> guid: bd58ddfa-9c29-11b1-9dad-c379636f7270
> direct instance of: #$PositiveScalarInterval #$OrderOfMagnitudeInterval #$Time-Quantity #$AttributeValue #$Individual

#$AFewYearsDuration a few years **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> Duration of 2 to 10 years
> guid: bd589ddb-9c29-11b1-9dad-c379636f7270
> direct instance of: #$PositiveScalarInterval #$OrderOfMagnitudeInterval #$Time-Quantity #$AttributeValue #$Individual

#$MilesPerHour mile per hour **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> A unit of speed
> guid: bd590391-9c29-11b1-9dad-c379636f7270
> direct instance of: #$UnitOfSpeed #$UnitOfMeasureNoPrefix #$Individual

#$KilometersPerHour kph **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> (#$KilometersPerHour NUMBER) returns a dimensionless rate or speed of NUMBER kilometers per hour.
> guid: bd58fa8b-9c29-11b1-9dad-c379636f7270
> direct instance of: #$UnitOfSpeed #$MKSUnitOfMeasure #$Individual

#$MetersPerSecond meter per second **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> (#$MetersPerSecond NUMBER) returns a dimensionless rate or speed of NUMBER meters per second. Notice that this result is not presently thought of as incorporating a vector, although it might be modified to do so at some point in the future if this should prove appropriate.
> guid: bd590189-9c29-11b1-9dad-c379636f7270
> direct instance of: #$UnitOfSpeed #$UnitOfMeasureNoPrefix #$StandardUnitOfMeasure #$MKSUnitOfMeasure #$Individual

#$MetersPerSecondPerSecond meter per second per second **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The basic measure of acceleration
> guid: bd590247-9c29-11b1-9dad-c379636f7270
> direct instance of: #$UnitOfMeasureNoPrefix #$MKSUnitOfMeasure #$UnitOfAcceleration #$StandardUnitOfMeasure #$Individual

#$CentimetersPerSecond centimeter per second **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> (#$CentimetersPerSecond NUMBER) returns a dimensionless rate or speed of NUMBER centimeters per second. Notice that this result is not presently thought of as incorporating a vector, although it might be modified to do so at some point in the future if this should prove appropriate.
> guid: bd59034e-9c29-11b1-9dad-c379636f7270
> direct instance of: #$UnitOfSpeed #$UnitOfMeasureWithPrefix #$CGSUnitOfMeasure #$Individual

#$Mach-UnitOfSpeed mach **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The speed of sound on earth at sea level. 344.4 m/s
> guid: bd5902cb-9c29-11b1-9dad-c379636f7270
> direct instance of: #$UnitOfSpeed #$UnitOfMeasureNoPrefix #$Individual

#$RadiansPerSecond radian per second **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The basic measure of #$RateOfRotation.
> guid: bd590290-9c29-11b1-9dad-c379636f7270
> direct instance of: #$UnitOfMeasureNoPrefix #$MKSUnitOfMeasure #$StandardUnitOfMeasure #$UnitOfAngularSpeed #$Individual

#$RadiansPerSecondPerSecond radian per second per second **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The basic measure of angular acceleration
> guid: bd589e5f-9c29-11b1-9dad-c379636f7270
> direct instance of: #$UnitOfMeasureNoPrefix #$MKSUnitOfMeasure #$StandardUnitOfMeasure #$UnitOfAngularAcceleration #$Individual

#$HorsePower horsepower **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> An english unit of power. The power that, roughly, a single workhorse can continually supply
> guid: bd58bc33-9c29-11b1-9dad-c379636f7270
> direct instance of: #$UnitOfMeasureNoPrefix #$UnitOfPower #$Individual

#$Volt volt **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The basic unit of electrical potential in the MKS system. It is defined as one watt per ampere.
> guid: bd58eb5d-9c29-11b1-9dad-c379636f7270
> direct instance of: #$UnitOfMeasureNoPrefix #$MKSUnitOfMeasure #$UnitOfVoltage #$StandardUnitOfMeasure #$Individual

#$Watt watt (unit of measure) **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> This is the basic unit of power in the metric system and the basic #$UnitOfPower in CYC. It is a newton-meter per second or a joule per second.
> guid: bd58ab3c-9c29-11b1-9dad-c379636f7270
> direct instance of: #$UnitOfMeasureNoPrefix #$StandardUnitOfMeasure #$UnitOfPower #$MKSUnitOfMeasure #$Individual

#$Ohm Ohm **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The standard unit of electrical resistance. The resistance of a circuit in which a 1-#$Volt electrical potential difference produces a 1-#$Coulomb #$ElectricalCurrentLevel.
> guid: bee46e87-9c29-11b1-9dad-c379636f7270
> direct instance of: #$MKSUnitOfMeasure #$StandardUnitOfMeasure #$Individual

#$Ampere ampere **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> The standard unit of measure of electrical current, equivalent to a 1-#$Coulomb flow of current, or 1 #$Volt across a resistance of 1 #$Ohm.
> guid: bd589e1b-9c29-11b1-9dad-c379636f7270
> direct instance of: #$UnitOfMeasureNoPrefix #$UnitOfCurrent #$StandardUnitOfMeasure #$MKSUnitOfMeasure #$Individual

#$Coulomb coulomb **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> This is the basic unit of measure for charge in the metric system and in CYC.
> guid: bd589ea5-9c29-11b1-9dad-c379636f7270
> direct instance of: #$UnitOfMeasureNoPrefix #$MKSUnitOfMeasure #$StandardUnitOfMeasure #$UnitOfCharge #$Individual

### Intervals

#$IntervalMaxFn interval max fn **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> (#$IntervalMaxFn SCALAR) returns an interval of the same type as SCALAR whose maximum value is the maximum value of SCALAR and whose minimum value is #$MinusInfinity. For example, (#$IntervalMaxFn (#$Mile 3)) is the same as `the interval from negative infinity miles to three miles'. [Technical Note: if that expression were to denote a strictly absolute, as opposed to a relative-or-absolute, distance, then it would mean `the interval from 0 miles to 3 miles'.] (#$IntervalMaxFn (#$Unity 1)) is the same as `the interval from negative infinity to 1', in other words, `no greater than one'.
> guid: c10ae4c2-9c29-11b1-9dad-c379636f7270
> direct instance of: #$UnaryFunction #$Individual

#$IntervalMinFn interval min fn **COMMENT NOT REVIEWED** **GAFs NOT REVIEWED**

> (#$IntervalMinFn SCALAR) returns an interval of the same type as SCALAR whose minimum value is the minimum value of SCALAR and whose maximum value is #$PlusInfinity. For example, (#$IntervalMinFn (#$Mile 3)) is the same as `the interval from three miles to an infinite number of miles', in other words, `at least three miles'.
> guid: bd590c98-9c29-11b1-9dad-c379636f7270
> direct instance of: #$PartialDenotationalFunction #$UnaryFunction #$Individual

Copyright© 1996-2002. All rights reserved. See Terms of Usage.