|
|
| 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 2102-2110 | |
| (documentation FunctionQuantity JapaneseLanguage "FunctionQuantity は、ConstantQuantity の 1 つ以上のインスタンスから ConstantQuantity の別のインスタンスにマップする Function に よって返される PhysicalQuantity である。 例：パーティクルの速度は、時間の値 (ConstantQuantity のインスタンス) から距離の値 (これも ConstantQuantity のインスタンス) に 関連する FunctionQuantity によって表される。 注：FunctionQuantity に対応する Function の範囲のすべての要素は、FunctionQuantity 自体と同じ物理的寸法である。") | japanese_format.kif 406-411 | |
| (subclass FunctionQuantity PhysicalQuantity) | Merge.kif 2100-2100 | Function quantity is a subclass of physical quantity |
| appearance as argument number 2 |
|
|
| (instance McgPerKg FunctionQuantity) | WMD.kif 813-813 | Micrograms per kilogram is an instance of function quantity |
| (instance MilesPerHour FunctionQuantity) | Weather.kif 1682-1682 | Miles per hour is an instance of function quantity |
| (range AccelerationFn FunctionQuantity) | Cars.kif 1280-1280 | The range of Acceleration fn is an instance of function quantity |
| (range DensityFn FunctionQuantity) | Merge.kif 6648-6648 | The range of density is an instance of function quantity |
| (range Mean10MinutesWindSpeedFn FunctionQuantity) | Weather.kif 2203-2203 | The range of ten minute mean surface wind speed is an instance of function quantity |
| (range Mean1MinuteWindSpeedFn FunctionQuantity) | Weather.kif 2308-2308 | The range of one minute mean surface wind speed is an instance of function quantity |
| (range Mean2MinutesWindSpeedFn FunctionQuantity) | Weather.kif 2273-2273 | The range of two minute mean surface wind speed is an instance of function quantity |
| (range Mean3MinutesWindSpeedFn FunctionQuantity) | Weather.kif 2238-2238 | The range of three minute mean surface wind speed is an instance of function quantity |
| (range Mean3SecondWindSpeedFn FunctionQuantity) | Weather.kif 1884-1884 | The range of three second mean surface wind speed is an instance of function quantity |
| (range PerFn FunctionQuantity) | Merge.kif 6634-6634 | The range of per is an instance of function quantity |
| (range RotationFn FunctionQuantity) | Cars.kif 2088-2088 | The range of rotation fn is an instance of function quantity |
| (range SpeedFn FunctionQuantity) | Merge.kif 6660-6660 | The range of speed is an instance of function quantity |
| (range ThreeSecondGustSpeedFn FunctionQuantity) | Weather.kif 2018-2018 | The range of three second gust speed is an instance of function quantity |
| (range VelocityFn FunctionQuantity) | Merge.kif 6673-6673 | The range of velocity is an instance of function quantity |
| (subclass AreaMeasure FunctionQuantity) | Merge.kif 6268-6268 | Area measure is a subclass of function quantity |
| (subclass CompositeUnitOfMeasure FunctionQuantity) | Merge.kif 6209-6209 | Composite unit of measure is a subclass of function quantity |
| (subclass UnaryConstantFunctionQuantity FunctionQuantity) | Merge.kif 2112-2112 | Unary constant function quantity is a subclass of function quantity |
| (subclass VolumeMeasure FunctionQuantity) | Merge.kif 6279-6279 | Volume measure is a subclass of function quantity |
| (termFormat ChineseLanguage FunctionQuantity "函数量") | chinese_format.kif 882-882 | Volume measure is a subclass of function quantity |
| (termFormat EnglishLanguage FunctionQuantity "function quantity") | english_format.kif 966-966 | Volume measure is a subclass of function quantity |
| (termFormat FrenchLanguage FunctionQuantity "function de quantit�") | french_format.kif 558-558 | Volume measure is a subclass of function quantity |
| (termFormat Hindi FunctionQuantity "prakaarya parimaaNa") | terms-hindi.txt 88-88 | Volume measure is a subclass of function quantity |
| (termFormat ItalianLanguage FunctionQuantity "FunzioneDiQuantit�") | terms-it.txt 91-91 | Volume measure is a subclass of function quantity |
| (termFormat JapaneseLanguage FunctionQuantity "関数量") | japanese_format.kif 2243-2243 | Volume measure is a subclass of function quantity |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| (domain AccelerationFn 1 FunctionQuantity) | Cars.kif 1274-1274 | The number 1 argument of Acceleration fn is an instance of function quantity |
| (domain bandwidth 2 FunctionQuantity) | QoSontology.kif 1054-1054 | The number 2 argument of bandwidth of is an instance of function quantity |
| (domain contractedRentalPrice 2 FunctionQuantity) | Catalog.kif 502-502 | The number 2 argument of contracted rental price is an instance of function quantity |
| (domain effectiveDose 2 FunctionQuantity) | WMD.kif 797-797 | The number 2 argument of effective dose is an instance of function quantity |
| (domain engineIdleSpeed 2 FunctionQuantity) | Cars.kif 2542-2542 | The number 2 argument of engine idle speed is an instance of function quantity |
| (domain governorSpeed 2 FunctionQuantity) | Cars.kif 2864-2864 | The number 2 argument of governor speed is an instance of function quantity |
| (domain lethalDose 2 FunctionQuantity) | WMD.kif 844-844 | The number 2 argument of lethal dose is an instance of function quantity |
| (domain precipitationRate 2 FunctionQuantity) | Weather.kif 1188-1188 | The number 2 argument of precipitation rate is an instance of function quantity |
| (domain rainfallIntensity 3 FunctionQuantity) | Weather.kif 2810-2810 | The number 3 argument of rainfall intensity is an instance of function quantity |
| (domain rentalPrice 2 FunctionQuantity) | Catalog.kif 455-455 | The number 2 argument of rental price is an instance of function quantity |
| (domain snowfallIntensity 3 FunctionQuantity) | Weather.kif 3015-3015 | The number 3 argument of snowfall intensity is an instance of function quantity |
| (domain soundFrequency 2 FunctionQuantity) | Mid-level-ontology.kif 771-771 | The number 2 argument of sound frequency is an instance of function quantity |
| (domain speedScaleAttributeMinMax 2 FunctionQuantity) | Weather.kif 2109-2109 | The number 2 argument of speed scale attribute min max is an instance of function quantity |
| (domain speedScaleAttributeMinMax 3 FunctionQuantity) | Weather.kif 2110-2110 | The number 3 argument of speed scale attribute min max is an instance of function quantity |
| (domain topSpeed 2 FunctionQuantity) | Transportation.kif 1851-1851 | The number 2 argument of top speed is an instance of function quantity |
| (domain transformerCapacity 2 FunctionQuantity) | Mid-level-ontology.kif 31603-31603 | The number 2 argument of transformer capacity is an instance of function quantity |
| (domain unitPrice 2 FunctionQuantity) | Catalog.kif 398-398 | The number 2 argument of unit price is an instance of function quantity |
| (domain voltageRatingPrimary 2 FunctionQuantity) | Mid-level-ontology.kif 31511-31511 | The number 2 argument of primary voltage rating is an instance of function quantity |
| (domain voltageRatingSecondary 2 FunctionQuantity) | Mid-level-ontology.kif 31554-31554 | The number 2 argument of seconary voltage rating is an instance of function quantity |
| (domain yield 2 FunctionQuantity) | FinancialOntology.kif 2282-2282 | The number 2 argument of yield is an instance of function quantity |
| (partition PhysicalQuantity ConstantQuantity FunctionQuantity) | Merge.kif 2026-2026 | 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 1981-1986 |
|
| (=> (and (instance ?QUANT (MeasureFn ?N ?UNIT)) (instance ?UNIT CompositeUnitOfMeasure)) (instance ?QUANT FunctionQuantity)) |
Merge.kif 6226-6230 |
|
|
|
|
