|
|
| 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 |
|
|
|
|
