Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  FunctionQuantity

 Sigma KEE - FunctionQuantity
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 函数量 是 物理量 的 subclass

appearance as argument number 2
-------------------------


(instance McgPerKg FunctionQuantity) WMD.kif 813-813 每公斤微克 是 函数量 的 instance
(instance MilesPerHour FunctionQuantity) Weather.kif 1699-1699 英里每小時 是 函数量 的 instance
(range AccelerationFn FunctionQuantity) Cars.kif 1280-1280 AccelerationFn 的 range 是 函数量 的实例
(range DensityFn FunctionQuantity) Merge.kif 6647-6647 密度函数 的 range 是 函数量 的实例
(range Mean10MinutesWindSpeedFn FunctionQuantity) Weather.kif 2220-2220 10分钟平均地面风速 的 range 是 函数量 的实例
(range Mean1MinuteWindSpeedFn FunctionQuantity) Weather.kif 2325-2325 1分钟平均地面风速 的 range 是 函数量 的实例
(range Mean2MinutesWindSpeedFn FunctionQuantity) Weather.kif 2290-2290 2分钟平均地面风速 的 range 是 函数量 的实例
(range Mean3MinutesWindSpeedFn FunctionQuantity) Weather.kif 2255-2255 3分钟平均地面风速 的 range 是 函数量 的实例
(range Mean3SecondWindSpeedFn FunctionQuantity) Weather.kif 1901-1901 3秒平均地面风速 的 range 是 函数量 的实例
(range PerFn FunctionQuantity) Merge.kif 6633-6633 每 的 range 是 函数量 的实例
(range RotationFn FunctionQuantity) Cars.kif 2105-2105 RotationFn 的 range 是 函数量 的实例
(range SpeedFn FunctionQuantity) Merge.kif 6659-6659 速率函数 的 range 是 函数量 的实例
(range ThreeSecondGustSpeedFn FunctionQuantity) Weather.kif 2035-2035 3秒阵风风速 的 range 是 函数量 的实例
(range VelocityFn FunctionQuantity) Merge.kif 6672-6672 速度函数 的 range 是 函数量 的实例
(subclass AreaMeasure FunctionQuantity) Merge.kif 6267-6267 面积测量 是 函数量 的 subclass
(subclass CompositeUnitOfMeasure FunctionQuantity) Merge.kif 6208-6208 CompositeUnitOfMeasure 是 函数量 的 subclass
(subclass UnaryConstantFunctionQuantity FunctionQuantity) Merge.kif 2112-2112 一元常数函数量 是 函数量 的 subclass
(subclass VolumeMeasure FunctionQuantity) Merge.kif 6278-6278 体积测量 是 函数量 的 subclass
(termFormat ChineseLanguage FunctionQuantity "函数量") chinese_format.kif 882-882
(termFormat EnglishLanguage FunctionQuantity "function quantity") english_format.kif 966-966
(termFormat FrenchLanguage FunctionQuantity "function de quantit�") french_format.kif 558-558
(termFormat Hindi FunctionQuantity "prakaarya parimaaNa") terms-hindi.txt 88-88
(termFormat ItalianLanguage FunctionQuantity "FunzioneDiQuantit�") terms-it.txt 91-91
(termFormat JapaneseLanguage FunctionQuantity "関数量") japanese_format.kif 2243-2243

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 AccelerationFn 的 1 数量 是 函数量 的 instance
(domain bandwidth 2 FunctionQuantity) QoSontology.kif 1054-1054 带宽 的 2 数量 是 函数量 的 instance
(domain contractedRentalPrice 2 FunctionQuantity) Catalog.kif 502-502 contractedRentalPrice 的 2 数量 是 函数量 的 instance
(domain effectiveDose 2 FunctionQuantity) WMD.kif 797-797 有效剂量 的 2 数量 是 函数量 的 instance
(domain engineIdleSpeed 2 FunctionQuantity) Cars.kif 2559-2559 engineIdleSpeed 的 2 数量 是 函数量 的 instance
(domain governorSpeed 2 FunctionQuantity) Cars.kif 2881-2881 governorSpeed 的 2 数量 是 函数量 的 instance
(domain lethalDose 2 FunctionQuantity) WMD.kif 844-844 致死剂量 的 2 数量 是 函数量 的 instance
(domain precipitationRate 2 FunctionQuantity) Weather.kif 1204-1204 降水率 的 2 数量 是 函数量 的 instance
(domain rainfallIntensity 3 FunctionQuantity) Weather.kif 2827-2827 降雨强度 的 3 数量 是 函数量 的 instance
(domain rentalPrice 2 FunctionQuantity) Catalog.kif 455-455 rentalPrice 的 2 数量 是 函数量 的 instance
(domain snowfallIntensity 3 FunctionQuantity) Weather.kif 3032-3032 降雪强度 的 3 数量 是 函数量 的 instance
(domain soundFrequency 2 FunctionQuantity) Mid-level-ontology.kif 778-778 声音频率 的 2 数量 是 函数量 的 instance
(domain speedScaleAttributeMinMax 2 FunctionQuantity) Weather.kif 2126-2126 时速级数属性最低最高 的 2 数量 是 函数量 的 instance
(domain speedScaleAttributeMinMax 3 FunctionQuantity) Weather.kif 2127-2127 时速级数属性最低最高 的 3 数量 是 函数量 的 instance
(domain topSpeed 2 FunctionQuantity) Transportation.kif 1711-1711 topSpeed 的 2 数量 是 函数量 的 instance
(domain transformerCapacity 2 FunctionQuantity) Mid-level-ontology.kif 31338-31338 transformerCapacity 的 2 数量 是 函数量 的 instance
(domain transitwayCapacityRate 3 FunctionQuantity) Transportation.kif 3047-3047 过境通行能力 的 3 数量 是 函数量 的 instance
(domain unitPrice 2 FunctionQuantity) Catalog.kif 398-398 unitPrice 的 2 数量 是 函数量 的 instance
(domain voltageRatingPrimary 2 FunctionQuantity) Mid-level-ontology.kif 31246-31246 voltageRatingPrimary 的 2 数量 是 函数量 的 instance
(domain voltageRatingSecondary 2 FunctionQuantity) Mid-level-ontology.kif 31289-31289 voltageRatingSecondary 的 2 数量 是 函数量 的 instance
(domain yield 2 FunctionQuantity) FinancialOntology.kif 2282-2282 让 的 2 数量 是 函数量 的 instance
(partition PhysicalQuantity ConstantQuantity FunctionQuantity) Merge.kif 2026-2026 物理量 详尽无遗地 partition 成 恒量 和 函数量

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners