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 2048-2056
(subclass FunctionQuantity PhysicalQuantity) Merge.kif 2046-2046 subclass FunctionQuantity and PhysicalQuantity

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


(instance McgPerKg FunctionQuantity) WMD.kif 813-813 instance McgPerKg and FunctionQuantity
(instance MilesPerHour FunctionQuantity) Weather.kif 1698-1698 instance MilesPerHour and FunctionQuantity
(range AccelerationFn FunctionQuantity) Cars.kif 1280-1280 range AccelerationFn and FunctionQuantity
(range DensityFn FunctionQuantity) Merge.kif 6557-6557 range DensityFn and FunctionQuantity
(range Mean10MinutesWindSpeedFn FunctionQuantity) Weather.kif 2219-2219 range Mean10MinutesWindSpeedFn and FunctionQuantity
(range Mean1MinuteWindSpeedFn FunctionQuantity) Weather.kif 2324-2324 range Mean1MinuteWindSpeedFn and FunctionQuantity
(range Mean2MinutesWindSpeedFn FunctionQuantity) Weather.kif 2289-2289 range Mean2MinutesWindSpeedFn and FunctionQuantity
(range Mean3MinutesWindSpeedFn FunctionQuantity) Weather.kif 2254-2254 range Mean3MinutesWindSpeedFn and FunctionQuantity
(range Mean3SecondWindSpeedFn FunctionQuantity) Weather.kif 1900-1900 range Mean3SecondWindSpeedFn and FunctionQuantity
(range PerFn FunctionQuantity) Merge.kif 6543-6543 range PerFn and FunctionQuantity
(range RotationFn FunctionQuantity) Cars.kif 2105-2105 range RotationFn and FunctionQuantity
(range SpeedFn FunctionQuantity) Merge.kif 6569-6569 range SpeedFn and FunctionQuantity
(range ThreeSecondGustSpeedFn FunctionQuantity) Weather.kif 2034-2034 range ThreeSecondGustSpeedFn and FunctionQuantity
(range VelocityFn FunctionQuantity) Merge.kif 6582-6582 range VelocityFn and FunctionQuantity
(subclass AreaMeasure FunctionQuantity) Merge.kif 6177-6177 subclass AreaMeasure and FunctionQuantity
(subclass CompositeUnitOfMeasure FunctionQuantity) Merge.kif 6118-6118 subclass CompositeUnitOfMeasure and FunctionQuantity
(subclass UnaryConstantFunctionQuantity FunctionQuantity) Merge.kif 2058-2058 subclass UnaryConstantFunctionQuantity and FunctionQuantity
(subclass VolumeMeasure FunctionQuantity) Merge.kif 6188-6188 subclass VolumeMeasure and FunctionQuantity
(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 domain AccelerationFn, 1 and FunctionQuantity
(domain bandwidth 2 FunctionQuantity) QoSontology.kif 1059-1059 domain bandwidth, 2 and FunctionQuantity
(domain contractedRentalPrice 2 FunctionQuantity) Catalog.kif 497-497 domain contractedRentalPrice, 2 and FunctionQuantity
(domain effectiveDose 2 FunctionQuantity) WMD.kif 797-797 domain effectiveDose, 2 and FunctionQuantity
(domain engineIdleSpeed 2 FunctionQuantity) Cars.kif 2559-2559 domain engineIdleSpeed, 2 and FunctionQuantity
(domain governorSpeed 2 FunctionQuantity) Cars.kif 2881-2881 domain governorSpeed, 2 and FunctionQuantity
(domain lethalDose 2 FunctionQuantity) WMD.kif 844-844 domain lethalDose, 2 and FunctionQuantity
(domain precipitationRate 2 FunctionQuantity) Weather.kif 1203-1203 domain precipitationRate, 2 and FunctionQuantity
(domain rainfallIntensity 3 FunctionQuantity) Weather.kif 2826-2826 domain rainfallIntensity, 3 and FunctionQuantity
(domain rentalPrice 2 FunctionQuantity) Catalog.kif 450-450 domain rentalPrice, 2 and FunctionQuantity
(domain snowfallIntensity 3 FunctionQuantity) Weather.kif 3031-3031 domain snowfallIntensity, 3 and FunctionQuantity
(domain soundFrequency 2 FunctionQuantity) Mid-level-ontology.kif 743-743 domain soundFrequency, 2 and FunctionQuantity
(domain speedScaleAttributeMinMax 2 FunctionQuantity) Weather.kif 2125-2125 domain speedScaleAttributeMinMax, 2 and FunctionQuantity
(domain speedScaleAttributeMinMax 3 FunctionQuantity) Weather.kif 2126-2126 domain speedScaleAttributeMinMax, 3 and FunctionQuantity
(domain topSpeed 2 FunctionQuantity) Transportation.kif 1719-1719 domain topSpeed, 2 and FunctionQuantity
(domain transformerCapacity 2 FunctionQuantity) Mid-level-ontology.kif 30729-30729 domain transformerCapacity, 2 and FunctionQuantity
(domain transitwayCapacityRate 3 FunctionQuantity) Transportation.kif 3054-3054 domain transitwayCapacityRate, 3 and FunctionQuantity
(domain unitPrice 2 FunctionQuantity) Catalog.kif 393-393 domain unitPrice, 2 and FunctionQuantity
(domain voltageRatingPrimary 2 FunctionQuantity) Mid-level-ontology.kif 30639-30639 domain voltageRatingPrimary, 2 and FunctionQuantity
(domain voltageRatingSecondary 2 FunctionQuantity) Mid-level-ontology.kif 30682-30682 domain voltageRatingSecondary, 2 and FunctionQuantity
(domain yield 2 FunctionQuantity) FinancialOntology.kif 2290-2290 domain yield, 2 and FunctionQuantity
(partition PhysicalQuantity ConstantQuantity FunctionQuantity) Merge.kif 1972-1972 partition PhysicalQuantity, ConstantQuantity and FunctionQuantity

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


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