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 2096-2104
(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 2094-2094

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


(instance McgPerKg FunctionQuantity) WMD.kif 813-813
(instance MilesPerHour FunctionQuantity) Weather.kif 1681-1681
(range AccelerationFn FunctionQuantity) Cars.kif 1280-1280
(range DensityFn FunctionQuantity) Merge.kif 6638-6638
(range Mean10MinutesWindSpeedFn FunctionQuantity) Weather.kif 2202-2202
(range Mean1MinuteWindSpeedFn FunctionQuantity) Weather.kif 2307-2307
(range Mean2MinutesWindSpeedFn FunctionQuantity) Weather.kif 2272-2272
(range Mean3MinutesWindSpeedFn FunctionQuantity) Weather.kif 2237-2237
(range Mean3SecondWindSpeedFn FunctionQuantity) Weather.kif 1883-1883
(range PerFn FunctionQuantity) Merge.kif 6624-6624
(range RotationFn FunctionQuantity) Cars.kif 2089-2089
(range SpeedFn FunctionQuantity) Merge.kif 6650-6650
(range ThreeSecondGustSpeedFn FunctionQuantity) Weather.kif 2017-2017
(range VelocityFn FunctionQuantity) Merge.kif 6663-6663
(range VickersHardnessFn FunctionQuantity) Mid-level-ontology.kif 10491-10491
(subclass AreaMeasure FunctionQuantity) Merge.kif 6258-6258
(subclass CompositeUnitOfMeasure FunctionQuantity) Merge.kif 6199-6199
(subclass UnaryConstantFunctionQuantity FunctionQuantity) Merge.kif 2106-2106
(subclass VolumeMeasure FunctionQuantity) Merge.kif 6269-6269
(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

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
(domain bandwidth 2 FunctionQuantity) QoSontology.kif 1160-1160
(domain contractedRentalPrice 2 FunctionQuantity) Catalog.kif 502-502
(domain effectiveDose 2 FunctionQuantity) WMD.kif 797-797
(domain engineIdleSpeed 2 FunctionQuantity) Cars.kif 2543-2543
(domain governorSpeed 2 FunctionQuantity) Cars.kif 2865-2865
(domain lethalDose 2 FunctionQuantity) WMD.kif 844-844
(domain precipitationRate 2 FunctionQuantity) Weather.kif 1188-1188
(domain rainfallIntensity 3 FunctionQuantity) Weather.kif 2809-2809
(domain rentalPrice 2 FunctionQuantity) Catalog.kif 455-455
(domain snowfallIntensity 3 FunctionQuantity) Weather.kif 3014-3014
(domain soundFrequency 2 FunctionQuantity) Mid-level-ontology.kif 771-771
(domain speedScaleAttributeMinMax 2 FunctionQuantity) Weather.kif 2108-2108
(domain speedScaleAttributeMinMax 3 FunctionQuantity) Weather.kif 2109-2109
(domain topSpeed 2 FunctionQuantity) Transportation.kif 1851-1851
(domain transformerCapacity 2 FunctionQuantity) Mid-level-ontology.kif 33029-33029
(domain unitPrice 2 FunctionQuantity) Catalog.kif 398-398
(domain voltageRatingPrimary 2 FunctionQuantity) Mid-level-ontology.kif 32937-32937
(domain voltageRatingSecondary 2 FunctionQuantity) Mid-level-ontology.kif 32980-32980
(domain yield 2 FunctionQuantity) FinancialOntology.kif 2296-2296
(partition PhysicalQuantity ConstantQuantity FunctionQuantity) Merge.kif 2020-2020

antecedent
-------------------------


(=>
    (and
        (resourceConsumption ?PROC ?QUANT)
        (instance ?QUANT FunctionQuantity)
        (resource ?PROC ?RES)
        (equal ?QUANT
            (PerFn
                (MeasureFn ?Q ?U)
                (MeasureFn ?DC ?DU)))
        (duration
            (WhenFn ?PROC)
            (MeasureFn ?T ?DU))
        (holdsDuring
            (BeginFn
                (WhenFn ?PROC))
            (measure ?RES
                (MeasureFn ?X ?U)))
        (holdsDuring
            (EndFn
                (WhenFn ?PROC))
            (measure ?RES
                (MeasureFn ?Y ?U))))
    (equal ?Y
        (MeasureFn
            (SubtractionFn ?X
                (MultiplicationFn ?T
                    (DivisionFn ?Q ?DC))) ?U)))
Economy.kif 6703-6729

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


(=>
    (and
        (equal ?SPEEDLIST
            (Mean3SecondWindSpeedListFn ?PLACE ?TIME))
        (inList ?SPEED ?SPEEDLIST))
    (instance ?SPEED FunctionQuantity))
Weather.kif 1980-1985
(=>
    (and
        (instance ?QUANT
            (MeasureFn ?N ?UNIT))
        (instance ?UNIT CompositeUnitOfMeasure))
    (instance ?QUANT FunctionQuantity))
Merge.kif 6216-6220


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