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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 2042-2050
(subclass FunctionQuantity PhysicalQuantity) Merge.kif 2040-2040 函数量物理量subclass

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


(instance McgPerKg FunctionQuantity) WMD.kif 813-813 每公斤微克函数量instance
(instance MilesPerHour FunctionQuantity) Weather.kif 1698-1698 英里每小時函数量instance
(range AccelerationFn FunctionQuantity) Cars.kif 1280-1280 AccelerationFnrange函数量 的实例
(range DensityFn FunctionQuantity) Merge.kif 6551-6551 密度函数range函数量 的实例
(range Mean10MinutesWindSpeedFn FunctionQuantity) Weather.kif 2219-2219 10分钟平均地面风速range函数量 的实例
(range Mean1MinuteWindSpeedFn FunctionQuantity) Weather.kif 2324-2324 1分钟平均地面风速range函数量 的实例
(range Mean2MinutesWindSpeedFn FunctionQuantity) Weather.kif 2289-2289 2分钟平均地面风速range函数量 的实例
(range Mean3MinutesWindSpeedFn FunctionQuantity) Weather.kif 2254-2254 3分钟平均地面风速range函数量 的实例
(range Mean3SecondWindSpeedFn FunctionQuantity) Weather.kif 1900-1900 3秒平均地面风速range函数量 的实例
(range PerFn FunctionQuantity) Merge.kif 6537-6537 range函数量 的实例
(range RotationFn FunctionQuantity) Cars.kif 2105-2105 RotationFnrange函数量 的实例
(range SpeedFn FunctionQuantity) Merge.kif 6563-6563 速率函数range函数量 的实例
(range ThreeSecondGustSpeedFn FunctionQuantity) Weather.kif 2034-2034 3秒阵风风速range函数量 的实例
(range VelocityFn FunctionQuantity) Merge.kif 6576-6576 速度函数range函数量 的实例
(subclass AreaMeasure FunctionQuantity) Merge.kif 6171-6171 面积测量函数量subclass
(subclass CompositeUnitOfMeasure FunctionQuantity) Merge.kif 6112-6112 CompositeUnitOfMeasure函数量subclass
(subclass UnaryConstantFunctionQuantity FunctionQuantity) Merge.kif 2052-2052 一元常数函数量函数量subclass
(subclass VolumeMeasure FunctionQuantity) Merge.kif 6182-6182 体积测量函数量subclass
(termFormat ChineseLanguage FunctionQuantity "函数量") chinese_format.kif 882-882
(termFormat EnglishLanguage FunctionQuantity "function quantity") english_format.kif 966-966

appearance as argument number 3
-------------------------


(domain AccelerationFn 1 FunctionQuantity) Cars.kif 1274-1274 AccelerationFn 的 1 数量 是 函数量instance
(domain bandwidth 2 FunctionQuantity) QoSontology.kif 1059-1059 带宽 的 2 数量 是 函数量instance
(domain contractedRentalPrice 2 FunctionQuantity) Catalog.kif 497-497 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 1203-1203 降水率 的 2 数量 是 函数量instance
(domain rainfallIntensity 3 FunctionQuantity) Weather.kif 2826-2826 降雨强度 的 3 数量 是 函数量instance
(domain rentalPrice 2 FunctionQuantity) Catalog.kif 450-450 rentalPrice 的 2 数量 是 函数量instance
(domain snowfallIntensity 3 FunctionQuantity) Weather.kif 3031-3031 降雪强度 的 3 数量 是 函数量instance
(domain soundFrequency 2 FunctionQuantity) Mid-level-ontology.kif 739-739 声音频率 的 2 数量 是 函数量instance
(domain speedScaleAttributeMinMax 2 FunctionQuantity) Weather.kif 2125-2125 时速级数属性最低最高 的 2 数量 是 函数量instance
(domain speedScaleAttributeMinMax 3 FunctionQuantity) Weather.kif 2126-2126 时速级数属性最低最高 的 3 数量 是 函数量instance
(domain topSpeed 2 FunctionQuantity) Transportation.kif 1719-1719 topSpeed 的 2 数量 是 函数量instance
(domain transformerCapacity 2 FunctionQuantity) Mid-level-ontology.kif 30705-30705 transformerCapacity 的 2 数量 是 函数量instance
(domain transitwayCapacityRate 3 FunctionQuantity) Transportation.kif 3054-3054 过境通行能力 的 3 数量 是 函数量instance
(domain unitPrice 2 FunctionQuantity) Catalog.kif 393-393 unitPrice 的 2 数量 是 函数量instance
(domain voltageRatingPrimary 2 FunctionQuantity) Mid-level-ontology.kif 30615-30615 voltageRatingPrimary 的 2 数量 是 函数量instance
(domain voltageRatingSecondary 2 FunctionQuantity) Mid-level-ontology.kif 30658-30658 voltageRatingSecondary 的 2 数量 是 函数量instance
(partition PhysicalQuantity ConstantQuantity FunctionQuantity) Merge.kif 1966-1966 物理量 详尽无遗地 partition恒量函数量

consequent
-------------------------


(=>
    (and
        (equal ?SPEEDLIST
            (Mean3SecondWindSpeedListFn ?PLACE ?TIME))
        (inList ?SPEED ?SPEEDLIST))
    (instance ?SPEED FunctionQuantity))
Weather.kif 1997-2002
(=>
    (and
        (instance ?QUANT
            (MeasureFn ?N ?UNIT))
        (instance ?UNIT CompositeUnitOfMeasure))
    (instance ?QUANT FunctionQuantity))
Merge.kif 6129-6133


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



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