|
|
   FunctionQuantity
|
|
|
| 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 | FunctionQuantity ist eine teilkategorie von PhysicalQuantity |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain AccelerationFn 1 FunctionQuantity) | Cars.kif 1274-1274 | Die Zahl 1 Argument von AccelerationFn ist ein fall von FunctionQuantity %n{nicht} |
| (domain bandwidth 2 FunctionQuantity) | QoSontology.kif 1054-1054 | Die Zahl 2 Argument von bandwidth ist ein fall von FunctionQuantity %n{nicht} |
| (domain contractedRentalPrice 2 FunctionQuantity) | Catalog.kif 502-502 | Die Zahl 2 Argument von contractedRentalPrice ist ein fall von FunctionQuantity %n{nicht} |
| (domain effectiveDose 2 FunctionQuantity) | WMD.kif 797-797 | Die Zahl 2 Argument von effectiveDose ist ein fall von FunctionQuantity %n{nicht} |
| (domain engineIdleSpeed 2 FunctionQuantity) | Cars.kif 2559-2559 | Die Zahl 2 Argument von engineIdleSpeed ist ein fall von FunctionQuantity %n{nicht} |
| (domain governorSpeed 2 FunctionQuantity) | Cars.kif 2881-2881 | Die Zahl 2 Argument von governorSpeed ist ein fall von FunctionQuantity %n{nicht} |
| (domain lethalDose 2 FunctionQuantity) | WMD.kif 844-844 | Die Zahl 2 Argument von lethalDose ist ein fall von FunctionQuantity %n{nicht} |
| (domain precipitationRate 2 FunctionQuantity) | Weather.kif 1204-1204 | Die Zahl 2 Argument von precipitationRate ist ein fall von FunctionQuantity %n{nicht} |
| (domain rainfallIntensity 3 FunctionQuantity) | Weather.kif 2827-2827 | Die Zahl 3 Argument von rainfallIntensity ist ein fall von FunctionQuantity %n{nicht} |
| (domain rentalPrice 2 FunctionQuantity) | Catalog.kif 455-455 | Die Zahl 2 Argument von rentalPrice ist ein fall von FunctionQuantity %n{nicht} |
| (domain snowfallIntensity 3 FunctionQuantity) | Weather.kif 3032-3032 | Die Zahl 3 Argument von snowfallIntensity ist ein fall von FunctionQuantity %n{nicht} |
| (domain soundFrequency 2 FunctionQuantity) | Mid-level-ontology.kif 778-778 | Die Zahl 2 Argument von soundFrequency ist ein fall von FunctionQuantity %n{nicht} |
| (domain speedScaleAttributeMinMax 2 FunctionQuantity) | Weather.kif 2126-2126 | Die Zahl 2 Argument von speedScaleAttributeMinMax ist ein fall von FunctionQuantity %n{nicht} |
| (domain speedScaleAttributeMinMax 3 FunctionQuantity) | Weather.kif 2127-2127 | Die Zahl 3 Argument von speedScaleAttributeMinMax ist ein fall von FunctionQuantity %n{nicht} |
| (domain topSpeed 2 FunctionQuantity) | Transportation.kif 1711-1711 | Die Zahl 2 Argument von topSpeed ist ein fall von FunctionQuantity %n{nicht} |
| (domain transformerCapacity 2 FunctionQuantity) | Mid-level-ontology.kif 31338-31338 | Die Zahl 2 Argument von transformerCapacity ist ein fall von FunctionQuantity %n{nicht} |
| (domain transitwayCapacityRate 3 FunctionQuantity) | Transportation.kif 3047-3047 | Die Zahl 3 Argument von transitwayCapacityRate ist ein fall von FunctionQuantity %n{nicht} |
| (domain unitPrice 2 FunctionQuantity) | Catalog.kif 398-398 | Die Zahl 2 Argument von unitPrice ist ein fall von FunctionQuantity %n{nicht} |
| (domain voltageRatingPrimary 2 FunctionQuantity) | Mid-level-ontology.kif 31246-31246 | Die Zahl 2 Argument von voltageRatingPrimary ist ein fall von FunctionQuantity %n{nicht} |
| (domain voltageRatingSecondary 2 FunctionQuantity) | Mid-level-ontology.kif 31289-31289 | Die Zahl 2 Argument von voltageRatingSecondary ist ein fall von FunctionQuantity %n{nicht} |
| (domain yield 2 FunctionQuantity) | FinancialOntology.kif 2282-2282 | Die Zahl 2 Argument von yield ist ein fall von FunctionQuantity %n{nicht} |
| (partition PhysicalQuantity ConstantQuantity FunctionQuantity) | Merge.kif 2026-2026 | PhysicalQuantity wird vollstaendig in ConstantQuantity und FunctionQuantity verteilt |
| consequent |
|
|
| (=> (and (equal ?SPEEDLIST (Mean3SecondWindSpeedListFn ?PLACE ?TIME)) (inList ?SPEED ?SPEEDLIST)) (instance ?SPEED FunctionQuantity)) |
Weather.kif 1998-2003 |
|
| (=> (and (instance ?QUANT (MeasureFn ?N ?UNIT)) (instance ?UNIT CompositeUnitOfMeasure)) (instance ?QUANT FunctionQuantity)) |
Merge.kif 6225-6229 |
|
|
|
|