|
|
| 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 |
|
|
| (range AccelerationFn FunctionQuantity) | Cars.kif 1281-1281 | The range of AccelerationFn is an instance of function quantity |
| (range DensityFn FunctionQuantity) | Merge.kif 6360-6360 | The range of density is an instance of function quantity |
| (range PerFn FunctionQuantity) | Merge.kif 6346-6346 | 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 6372-6372 | The range of speed is an instance of function quantity |
| (range VelocityFn FunctionQuantity) | Merge.kif 6385-6385 | The range of velocity is an instance of function quantity |
| (subclass AreaMeasure FunctionQuantity) | Merge.kif 5962-5962 | Area measure is a subclass of function quantity |
| (subclass CompositeUnitOfMeasure FunctionQuantity) | Merge.kif 5903-5903 | 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 5973-5973 | 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 822-822 | The number 2 argument of precipitation rate is an instance of function quantity |
| (domain rainfallIntensity 3 FunctionQuantity) | Weather.kif 1682-1682 | 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 1887-1887 | 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 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 (instance ?QUANT (MeasureFn ?N ?UNIT)) (instance ?UNIT CompositeUnitOfMeasure)) (instance ?QUANT FunctionQuantity)) |
Merge.kif 5920-5924 |
|
|
|
|
