OpenCyc HomepageQuantity

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.