![]() |
appearance as argument number 1 |
![]() |
(documentation FunctionQuantity ChineseLanguage " FunctionQuantity 是一个由 Function 它把 ConstantQuantity 的一个或以上的实例和其它 ConstantQuantity 的实例 联系在一起,例如:粒子的速度是用 FunctionQuantity, 把时间的值(ConstantQuantity的实例)和距离 的值(也是 ConstantQuantity的实例)连在一起来表示。注:和 FunctionQuantity 对应的 Function 范围内所有的元素和那个 FunctionQuantity 本身的物理尺寸是相同的。") | chinese_format.kif 1790-1796 | |
(documentation FunctionQuantity EnglishLanguage "A FunctionQuantity is a PhysicalQuantity that is returned by a Function that maps from one or more instances of ConstantQuantity to another instance of ConstantQuantity. For example, the velocity of a particle would be represented by a FunctionQuantity relating values of time (which are instances of ConstantQuantity) to values of distance (also instances of ConstantQuantity). Note that all elements of the range of the Function corresponding to a FunctionQuantity have the same physical dimension as the FunctionQuantity itself.") | Merge.kif 2015-2023 | |
(subclass FunctionQuantity PhysicalQuantity) | Merge.kif 2013-2013 | Function quantity is a subclass of physical quantity |
appearance as argument number 2 |
![]() |
(instance MilesPerHour FunctionQuantity) | Weather.kif 1439-1439 | Miles per hour is an instance of function quantity |
(range AccelerationFn FunctionQuantity) | Cars.kif 1281-1281 | The range of AccelerationFn is an instance of function quantity |
(range DensityFn FunctionQuantity) | Merge.kif 6366-6366 | The range of density is an instance of function quantity |
(range Mean10MinutesWindSpeedFn FunctionQuantity) | Weather.kif 1946-1946 | The range of ten minute mean surface wind speed is an instance of function quantity |
(range Mean1MinutesWindSpeedFn FunctionQuantity) | Weather.kif 2051-2051 | The range of one minute mean surface wind speed is an instance of function quantity |
(range Mean2MinutesWindSpeedFn FunctionQuantity) | Weather.kif 2016-2016 | The range of two minute mean surface wind speed is an instance of function quantity |
(range Mean3MinutesWindSpeedFn FunctionQuantity) | Weather.kif 1981-1981 | The range of three minute mean surface wind speed is an instance of function quantity |
(range Mean3SecondWindSpeedFn FunctionQuantity) | Weather.kif 1641-1641 | The range of three second mean surface wind speed is an instance of function quantity |
(range PerFn FunctionQuantity) | Merge.kif 6352-6352 | The range of per is an instance of function quantity |
(range RotationFn FunctionQuantity) | Cars.kif 2092-2092 | The range of RotationFn is an instance of function quantity |
(range SpeedFn FunctionQuantity) | Merge.kif 6378-6378 | The range of speed is an instance of function quantity |
(range ThreeSecondGustSpeedFn FunctionQuantity) | Weather.kif 1769-1769 | The range of three second gust speed is an instance of function quantity |
(range VelocityFn FunctionQuantity) | Merge.kif 6391-6391 | The range of velocity is an instance of function quantity |
(subclass AreaMeasure FunctionQuantity) | Merge.kif 5968-5968 | Area measure is a subclass of function quantity |
(subclass CompositeUnitOfMeasure FunctionQuantity) | Merge.kif 5909-5909 | CompositeUnitOfMeasure is a subclass of function quantity |
(subclass UnaryConstantFunctionQuantity FunctionQuantity) | Merge.kif 2025-2025 | Unary constant function quantity is a subclass of function quantity |
(subclass VolumeMeasure FunctionQuantity) | Merge.kif 5979-5979 | Volume measure is a subclass of function quantity |
(termFormat ChineseLanguage FunctionQuantity "函数量") | chinese_format.kif 882-882 | |
(termFormat EnglishLanguage FunctionQuantity "function quantity") | english_format.kif 971-971 |
appearance as argument number 3 |
![]() |
(domain AccelerationFn 1 FunctionQuantity) | Cars.kif 1275-1275 | The number 1 argument of AccelerationFn is an instance of function quantity |
(domain bandwidth 2 FunctionQuantity) | QoSontology.kif 1059-1059 | The number 2 argument of bandwidth of is an instance of function quantity |
(domain contractedRentalPrice 2 FunctionQuantity) | Catalog.kif 482-482 | The number 2 argument of contracted rental price is an instance of function quantity |
(domain effectiveDose 2 FunctionQuantity) | WMD.kif 792-792 | The number 2 argument of effective dose is an instance of function quantity |
(domain engineIdleSpeed 2 FunctionQuantity) | Cars.kif 2546-2546 | The number 2 argument of engineIdleSpeed is an instance of function quantity |
(domain governorSpeed 2 FunctionQuantity) | Cars.kif 2866-2866 | The number 2 argument of governorSpeed is an instance of function quantity |
(domain lethalDose 2 FunctionQuantity) | WMD.kif 809-809 | The number 2 argument of lethal dose is an instance of function quantity |
(domain precipitationRate 2 FunctionQuantity) | Weather.kif 956-956 | The number 2 argument of precipitation rate is an instance of function quantity |
(domain rainfallIntensity 3 FunctionQuantity) | Weather.kif 2400-2400 | The number 3 argument of rainfall intensity is an instance of function quantity |
(domain rentalPrice 2 FunctionQuantity) | Catalog.kif 438-438 | The number 2 argument of rental price is an instance of function quantity |
(domain snowfallIntensity 3 FunctionQuantity) | Weather.kif 2605-2605 | The number 3 argument of snowfall intensity is an instance of function quantity |
(domain soundFrequency 2 FunctionQuantity) | Mid-level-ontology.kif 965-965 | The number 2 argument of sound frequency is an instance of function quantity |
(domain speedScaleAttributeMinMax 2 FunctionQuantity) | Weather.kif 1857-1857 | The number 2 argument of speedScaleAttributeMinMax is an instance of function quantity |
(domain speedScaleAttributeMinMax 3 FunctionQuantity) | Weather.kif 1858-1858 | The number 3 argument of speedScaleAttributeMinMax is an instance of function quantity |
(domain topSpeed 2 FunctionQuantity) | Transportation.kif 1704-1704 | The number 2 argument of topSpeed is an instance of function quantity |
(domain transitwayCapacityRate 3 FunctionQuantity) | Transportation.kif 3025-3025 | The number 3 argument of transitway capacity rate is an instance of function quantity |
(domain unitPrice 2 FunctionQuantity) | Catalog.kif 383-383 | The number 2 argument of unitPrice is an instance of function quantity |
(domain yield 2 FunctionQuantity) | FinancialOntology.kif 2212-2212 | The number 2 argument of yield is an instance of function quantity |
(partition PhysicalQuantity ConstantQuantity FunctionQuantity) | Merge.kif 1939-1939 | Physical quantity is exhaustively partitioned into constant quantity and function quantity |
consequent |
![]() |
(=> (and (equal ?SPEEDLIST (Mean3SecondWindSpeedListFn ?PLACE ?TIME)) (inList ?SPEED ?SPEEDLIST)) (instance ?SPEED FunctionQuantity)) |
Weather.kif 1732-1737 |
|
(=> (and (instance ?QUANT (MeasureFn ?N ?UNIT)) (instance ?UNIT CompositeUnitOfMeasure)) (instance ?QUANT FunctionQuantity)) |
Merge.kif 5926-5930 |
|
(=> (speedScaleAttributeMinMax ?ATTR ?MIN ?MAX) (exists (?X ?SPEED) (and (instance ?X Motion) (property ?X ?ATTR) (instance ?SPEED FunctionQuantity) (measure ?X ?SPEED) (greaterThanOrEqualTo ?SPEED ?MIN) (lessThanOrEqualTo ?SPEED ?MAX)))) |
Weather.kif 1860-1869 |
|
![]() |
![]() |