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 2113-2121
(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 2111-2111 子類 FunctionQuantity and PhysicalQuantity

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


(instance McgPerKg FunctionQuantity) WMD.kif 813-813 例 McgPerKg and FunctionQuantity
(instance MilesPerHour FunctionQuantity) Weather.kif 2528-2528 例 MilesPerHour and FunctionQuantity
(range AccelerationFn FunctionQuantity) Cars.kif 1280-1280 範圍 AccelerationFn and FunctionQuantity
(range DensityFn FunctionQuantity) Merge.kif 6672-6672 範圍 密度 and FunctionQuantity
(range Mean10MinutesWindSpeedFn FunctionQuantity) Weather.kif 3049-3049 範圍 Mean10MinutesWindSpeedFn and FunctionQuantity
(range Mean1MinuteWindSpeedFn FunctionQuantity) Weather.kif 3154-3154 範圍 Mean1MinuteWindSpeedFn and FunctionQuantity
(range Mean2MinutesWindSpeedFn FunctionQuantity) Weather.kif 3119-3119 範圍 Mean2MinutesWindSpeedFn and FunctionQuantity
(range Mean3MinutesWindSpeedFn FunctionQuantity) Weather.kif 3084-3084 範圍 Mean3MinutesWindSpeedFn and FunctionQuantity
(range Mean3SecondWindSpeedFn FunctionQuantity) Weather.kif 2730-2730 範圍 Mean3SecondWindSpeedFn and FunctionQuantity
(range PerFn FunctionQuantity) Merge.kif 6658-6658 範圍 每 and FunctionQuantity
(range RotationFn FunctionQuantity) Cars.kif 2089-2089 範圍 RotationFn and FunctionQuantity
(range SpeedFn FunctionQuantity) Merge.kif 6684-6684 範圍 速度 and FunctionQuantity
(range ThreeSecondGustSpeedFn FunctionQuantity) Weather.kif 2864-2864 範圍 ThreeSecondGustSpeedFn and FunctionQuantity
(range VelocityFn FunctionQuantity) Merge.kif 6697-6697 範圍 速度 and FunctionQuantity
(range VickersHardnessFn FunctionQuantity) Mid-level-ontology.kif 10471-10471 範圍 VickersHardnessFn and FunctionQuantity
(subclass AreaMeasure FunctionQuantity) Merge.kif 6292-6292 子類 AreaMeasure and FunctionQuantity
(subclass CompositeUnitOfMeasure FunctionQuantity) Merge.kif 6233-6233 子類 CompositeUnitOfMeasure and FunctionQuantity
(subclass UnaryConstantFunctionQuantity FunctionQuantity) Merge.kif 2123-2123 子類 UnaryConstantFunctionQuantity and FunctionQuantity
(subclass VolumeMeasure FunctionQuantity) Merge.kif 6303-6303 子類 VolumeMeasure and FunctionQuantity
(termFormat ChineseLanguage FunctionQuantity "函数量") chinese_format.kif 882-882 子類 VolumeMeasure and FunctionQuantity
(termFormat EnglishLanguage FunctionQuantity "function quantity") english_format.kif 966-966 子類 VolumeMeasure and FunctionQuantity
(termFormat FrenchLanguage FunctionQuantity "function de quantit�") french_format.kif 558-558 子類 VolumeMeasure and FunctionQuantity
(termFormat Hindi FunctionQuantity "prakaarya parimaaNa") terms-hindi.txt 88-88 子類 VolumeMeasure and FunctionQuantity
(termFormat ItalianLanguage FunctionQuantity "FunzioneDiQuantit�") terms-it.txt 91-91 子類 VolumeMeasure and FunctionQuantity

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 and FunctionQuantity
(domain bandwidth 2 FunctionQuantity) QoSontology.kif 1163-1163 域 帶寬, 2 and FunctionQuantity
(domain contractedRentalPrice 2 FunctionQuantity) Catalog.kif 502-502 域 contractedRentalPrice, 2 and FunctionQuantity
(domain effectiveDose 2 FunctionQuantity) WMD.kif 797-797 域 有效劑量, 2 and FunctionQuantity
(domain engineIdleSpeed 2 FunctionQuantity) Cars.kif 2543-2543 域 engineIdleSpeed, 2 and FunctionQuantity
(domain governorSpeed 2 FunctionQuantity) Cars.kif 2865-2865 域 governorSpeed, 2 and FunctionQuantity
(domain lethalDose 2 FunctionQuantity) WMD.kif 844-844 域 致死劑量, 2 and FunctionQuantity
(domain precipitationRate 2 FunctionQuantity) Weather.kif 1439-1439 域 降水率, 2 and FunctionQuantity
(domain rainfallIntensity 3 FunctionQuantity) Weather.kif 3657-3657 域 rainfallIntensity, 3 and FunctionQuantity
(domain rentalPrice 2 FunctionQuantity) Catalog.kif 455-455 域 rentalPrice, 2 and FunctionQuantity
(domain snowfallIntensity 3 FunctionQuantity) Weather.kif 3862-3862 域 snowfallIntensity, 3 and FunctionQuantity
(domain soundFrequency 2 FunctionQuantity) Mid-level-ontology.kif 771-771 域 聲音頻率, 2 and FunctionQuantity
(domain speedScaleAttributeMinMax 2 FunctionQuantity) Weather.kif 2955-2955 域 speedScaleAttributeMinMax, 2 and FunctionQuantity
(domain speedScaleAttributeMinMax 3 FunctionQuantity) Weather.kif 2956-2956 域 speedScaleAttributeMinMax, 3 and FunctionQuantity
(domain topSpeed 2 FunctionQuantity) Transportation.kif 1851-1851 域 topSpeed, 2 and FunctionQuantity
(domain transformerCapacity 2 FunctionQuantity) Mid-level-ontology.kif 33283-33283 域 transformerCapacity, 2 and FunctionQuantity
(domain unitPrice 2 FunctionQuantity) Catalog.kif 398-398 域 unitPrice, 2 and FunctionQuantity
(domain voltageRatingPrimary 2 FunctionQuantity) Mid-level-ontology.kif 33191-33191 域 voltageRatingPrimary, 2 and FunctionQuantity
(domain voltageRatingSecondary 2 FunctionQuantity) Mid-level-ontology.kif 33234-33234 域 voltageRatingSecondary, 2 and FunctionQuantity
(domain yield 2 FunctionQuantity) FinancialOntology.kif 2299-2299 域 讓, 2 and FunctionQuantity
(partition PhysicalQuantity ConstantQuantity FunctionQuantity) Merge.kif 2037-2037 劃分 PhysicalQuantity, ConstantQuantity and FunctionQuantity

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)))		 Mid-level-ontology.kif 18748-18774

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


(=>
    (and
        (equal ?SPEEDLIST
            (Mean3SecondWindSpeedListFn ?PLACE ?TIME))
        (inList ?SPEED ?SPEEDLIST))
    (instance ?SPEED FunctionQuantity))		 Weather.kif 2827-2832
(=>
    (and
        (instance ?QUANT
            (MeasureFn ?N ?UNIT))
        (instance ?UNIT CompositeUnitOfMeasure))
    (instance ?QUANT FunctionQuantity))		 Merge.kif 6250-6254


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