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 関数量 は 物理量 の subclass では

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


(instance McgPerKg FunctionQuantity) WMD.kif 813-813 McgPerKg は 関数量 の instance では
(instance MilesPerHour FunctionQuantity) Weather.kif 2423-2423 MilesPerHour は 関数量 の instance では
(range AccelerationFn FunctionQuantity) Cars.kif 1280-1280 AccelerationFn の range は 関数量 のインスタンス では
(range DensityFn FunctionQuantity) Merge.kif 6672-6672 DensityFn の range は 関数量 のインスタンス では
(range Mean10MinutesWindSpeedFn FunctionQuantity) Weather.kif 2944-2944 Mean10MinutesWindSpeedFn の range は 関数量 のインスタンス では
(range Mean1MinuteWindSpeedFn FunctionQuantity) Weather.kif 3049-3049 Mean1MinuteWindSpeedFn の range は 関数量 のインスタンス では
(range Mean2MinutesWindSpeedFn FunctionQuantity) Weather.kif 3014-3014 Mean2MinutesWindSpeedFn の range は 関数量 のインスタンス では
(range Mean3MinutesWindSpeedFn FunctionQuantity) Weather.kif 2979-2979 Mean3MinutesWindSpeedFn の range は 関数量 のインスタンス では
(range Mean3SecondWindSpeedFn FunctionQuantity) Weather.kif 2625-2625 Mean3SecondWindSpeedFn の range は 関数量 のインスタンス では
(range PerFn FunctionQuantity) Merge.kif 6658-6658 PerFn の range は 関数量 のインスタンス では
(range RotationFn FunctionQuantity) Cars.kif 2089-2089 RotationFn の range は 関数量 のインスタンス では
(range SpeedFn FunctionQuantity) Merge.kif 6684-6684 SpeedFn の range は 関数量 のインスタンス では
(range ThreeSecondGustSpeedFn FunctionQuantity) Weather.kif 2759-2759 ThreeSecondGustSpeedFn の range は 関数量 のインスタンス では
(range VelocityFn FunctionQuantity) Merge.kif 6697-6697 VelocityFn の range は 関数量 のインスタンス では
(range VickersHardnessFn FunctionQuantity) Mid-level-ontology.kif 10471-10471 VickersHardnessFn の range は 関数量 のインスタンス では
(subclass AreaMeasure FunctionQuantity) Merge.kif 6292-6292 面積測定 は 関数量 の subclass では
(subclass CompositeUnitOfMeasure FunctionQuantity) Merge.kif 6233-6233 CompositeUnitOfMeasure は 関数量 の subclass では
(subclass UnaryConstantFunctionQuantity FunctionQuantity) Merge.kif 2123-2123 単項定数関数量 は 関数量 の subclass では
(subclass VolumeMeasure FunctionQuantity) Merge.kif 6303-6303 容積測定 は 関数量 の subclass では
(termFormat ChineseLanguage FunctionQuantity "函数量") chinese_format.kif 882-882 容積測定 は 関数量 の subclass では
(termFormat EnglishLanguage FunctionQuantity "function quantity") english_format.kif 966-966 容積測定 は 関数量 の subclass では
(termFormat FrenchLanguage FunctionQuantity "function de quantit�") french_format.kif 558-558 容積測定 は 関数量 の subclass では
(termFormat Hindi FunctionQuantity "prakaarya parimaaNa") terms-hindi.txt 88-88 容積測定 は 関数量 の subclass では
(termFormat ItalianLanguage FunctionQuantity "FunzioneDiQuantit�") terms-it.txt 91-91 容積測定 は 関数量 の subclass では

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 1163-1163 bandwidth の数値 2 引数は 関数量 の instance では
(domain contractedRentalPrice 2 FunctionQuantity) Catalog.kif 502-502 contractedRentalPrice の数値 2 引数は 関数量 の instance では
(domain effectiveDose 2 FunctionQuantity) WMD.kif 797-797 effectiveDose の数値 2 引数は 関数量 の instance では
(domain engineIdleSpeed 2 FunctionQuantity) Cars.kif 2543-2543 engineIdleSpeed の数値 2 引数は 関数量 の instance では
(domain governorSpeed 2 FunctionQuantity) Cars.kif 2865-2865 governorSpeed の数値 2 引数は 関数量 の instance では
(domain lethalDose 2 FunctionQuantity) WMD.kif 844-844 lethalDose の数値 2 引数は 関数量 の instance では
(domain precipitationRate 2 FunctionQuantity) Weather.kif 1439-1439 precipitationRate の数値 2 引数は 関数量 の instance では
(domain rainfallIntensity 3 FunctionQuantity) Weather.kif 3552-3552 rainfallIntensity の数値 3 引数は 関数量 の instance では
(domain rentalPrice 2 FunctionQuantity) Catalog.kif 455-455 rentalPrice の数値 2 引数は 関数量 の instance では
(domain snowfallIntensity 3 FunctionQuantity) Weather.kif 3757-3757 snowfallIntensity の数値 3 引数は 関数量 の instance では
(domain soundFrequency 2 FunctionQuantity) Mid-level-ontology.kif 771-771 soundFrequency の数値 2 引数は 関数量 の instance では
(domain speedScaleAttributeMinMax 2 FunctionQuantity) Weather.kif 2850-2850 speedScaleAttributeMinMax の数値 2 引数は 関数量 の instance では
(domain speedScaleAttributeMinMax 3 FunctionQuantity) Weather.kif 2851-2851 speedScaleAttributeMinMax の数値 3 引数は 関数量 の instance では
(domain topSpeed 2 FunctionQuantity) Transportation.kif 1851-1851 topSpeed の数値 2 引数は 関数量 の instance では
(domain transformerCapacity 2 FunctionQuantity) Mid-level-ontology.kif 33283-33283 transformerCapacity の数値 2 引数は 関数量 の instance では
(domain unitPrice 2 FunctionQuantity) Catalog.kif 398-398 unitPrice の数値 2 引数は 関数量 の instance では
(domain voltageRatingPrimary 2 FunctionQuantity) Mid-level-ontology.kif 33191-33191 voltageRatingPrimary の数値 2 引数は 関数量 の instance では
(domain voltageRatingSecondary 2 FunctionQuantity) Mid-level-ontology.kif 33234-33234 voltageRatingSecondary の数値 2 引数は 関数量 の instance では
(domain yield 2 FunctionQuantity) FinancialOntology.kif 2299-2299 yield の数値 2 引数は 関数量 の instance では
(partition PhysicalQuantity ConstantQuantity FunctionQuantity) Merge.kif 2037-2037 物理量 は 一定量 + 関数量 に exhaustively partitioned

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 2722-2727
(=>
    (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