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

Formal Language: 


KB Term:  Term intersection
English Word: 

  FunctionQuantity

 Sigma KEE - FunctionQuantity
FunctionQuantity(function de quantit�)

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 Function de quantit� est une sous-classe de quantit� physique

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


(instance McgPerKg FunctionQuantity) WMD.kif 813-813 McgPerKg est une instance de function de quantit�
(instance MilesPerHour FunctionQuantity) Weather.kif 2528-2528 MilesPerHour est une instance de function de quantit�
(range AccelerationFn FunctionQuantity) Cars.kif 1280-1280 Le domaine de AccelerationFn est une instance de function de quantit�
(range DensityFn FunctionQuantity) Merge.kif 6672-6672 Le domaine de DensityFn est une instance de function de quantit�
(range Mean10MinutesWindSpeedFn FunctionQuantity) Weather.kif 3049-3049 Le domaine de Mean10MinutesWindSpeedFn est une instance de function de quantit�
(range Mean1MinuteWindSpeedFn FunctionQuantity) Weather.kif 3154-3154 Le domaine de Mean1MinuteWindSpeedFn est une instance de function de quantit�
(range Mean2MinutesWindSpeedFn FunctionQuantity) Weather.kif 3119-3119 Le domaine de Mean2MinutesWindSpeedFn est une instance de function de quantit�
(range Mean3MinutesWindSpeedFn FunctionQuantity) Weather.kif 3084-3084 Le domaine de Mean3MinutesWindSpeedFn est une instance de function de quantit�
(range Mean3SecondWindSpeedFn FunctionQuantity) Weather.kif 2730-2730 Le domaine de Mean3SecondWindSpeedFn est une instance de function de quantit�
(range PerFn FunctionQuantity) Merge.kif 6658-6658 Le domaine de PerFn est une instance de function de quantit�
(range RotationFn FunctionQuantity) Cars.kif 2089-2089 Le domaine de RotationFn est une instance de function de quantit�
(range SpeedFn FunctionQuantity) Merge.kif 6684-6684 Le domaine de SpeedFn est une instance de function de quantit�
(range ThreeSecondGustSpeedFn FunctionQuantity) Weather.kif 2864-2864 Le domaine de ThreeSecondGustSpeedFn est une instance de function de quantit�
(range VelocityFn FunctionQuantity) Merge.kif 6697-6697 Le domaine de VelocityFn est une instance de function de quantit�
(range VickersHardnessFn FunctionQuantity) Mid-level-ontology.kif 10471-10471 Le domaine de VickersHardnessFn est une instance de function de quantit�
(subclass AreaMeasure FunctionQuantity) Merge.kif 6292-6292 Mesure d'aire est une sous-classe de function de quantit�
(subclass CompositeUnitOfMeasure FunctionQuantity) Merge.kif 6233-6233 CompositeUnitOfMeasure est une sous-classe de function de quantit�
(subclass UnaryConstantFunctionQuantity FunctionQuantity) Merge.kif 2123-2123 Fonction de quantit� unaire est une sous-classe de function de quantit�
(subclass VolumeMeasure FunctionQuantity) Merge.kif 6303-6303 Mesure de volume est une sous-classe de function de quantit�
(termFormat ChineseLanguage FunctionQuantity "函数量") chinese_format.kif 882-882 Mesure de volume est une sous-classe de function de quantit�
(termFormat EnglishLanguage FunctionQuantity "function quantity") english_format.kif 966-966 Mesure de volume est une sous-classe de function de quantit�
(termFormat FrenchLanguage FunctionQuantity "function de quantit�") french_format.kif 558-558 Mesure de volume est une sous-classe de function de quantit�
(termFormat Hindi FunctionQuantity "prakaarya parimaaNa") terms-hindi.txt 88-88 Mesure de volume est une sous-classe de function de quantit�
(termFormat ItalianLanguage FunctionQuantity "FunzioneDiQuantit�") terms-it.txt 91-91 Mesure de volume est une sous-classe de function de quantit�

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 Le nombre 1 argument de AccelerationFn est une instance de function de quantit�
(domain bandwidth 2 FunctionQuantity) QoSontology.kif 1163-1163 Le nombre 2 argument de bandwidth est une instance de function de quantit�
(domain contractedRentalPrice 2 FunctionQuantity) Catalog.kif 502-502 Le nombre 2 argument de contractedRentalPrice est une instance de function de quantit�
(domain effectiveDose 2 FunctionQuantity) WMD.kif 797-797 Le nombre 2 argument de effectiveDose est une instance de function de quantit�
(domain engineIdleSpeed 2 FunctionQuantity) Cars.kif 2543-2543 Le nombre 2 argument de engineIdleSpeed est une instance de function de quantit�
(domain governorSpeed 2 FunctionQuantity) Cars.kif 2865-2865 Le nombre 2 argument de governorSpeed est une instance de function de quantit�
(domain lethalDose 2 FunctionQuantity) WMD.kif 844-844 Le nombre 2 argument de lethalDose est une instance de function de quantit�
(domain precipitationRate 2 FunctionQuantity) Weather.kif 1439-1439 Le nombre 2 argument de precipitationRate est une instance de function de quantit�
(domain rainfallIntensity 3 FunctionQuantity) Weather.kif 3657-3657 Le nombre 3 argument de rainfallIntensity est une instance de function de quantit�
(domain rentalPrice 2 FunctionQuantity) Catalog.kif 455-455 Le nombre 2 argument de rentalPrice est une instance de function de quantit�
(domain snowfallIntensity 3 FunctionQuantity) Weather.kif 3862-3862 Le nombre 3 argument de snowfallIntensity est une instance de function de quantit�
(domain soundFrequency 2 FunctionQuantity) Mid-level-ontology.kif 771-771 Le nombre 2 argument de soundFrequency est une instance de function de quantit�
(domain speedScaleAttributeMinMax 2 FunctionQuantity) Weather.kif 2955-2955 Le nombre 2 argument de speedScaleAttributeMinMax est une instance de function de quantit�
(domain speedScaleAttributeMinMax 3 FunctionQuantity) Weather.kif 2956-2956 Le nombre 3 argument de speedScaleAttributeMinMax est une instance de function de quantit�
(domain topSpeed 2 FunctionQuantity) Transportation.kif 1851-1851 Le nombre 2 argument de topSpeed est une instance de function de quantit�
(domain transformerCapacity 2 FunctionQuantity) Mid-level-ontology.kif 33283-33283 Le nombre 2 argument de transformerCapacity est une instance de function de quantit�
(domain unitPrice 2 FunctionQuantity) Catalog.kif 398-398 Le nombre 2 argument de unitPrice est une instance de function de quantit�
(domain voltageRatingPrimary 2 FunctionQuantity) Mid-level-ontology.kif 33191-33191 Le nombre 2 argument de voltageRatingPrimary est une instance de function de quantit�
(domain voltageRatingSecondary 2 FunctionQuantity) Mid-level-ontology.kif 33234-33234 Le nombre 2 argument de voltageRatingSecondary est une instance de function de quantit�
(domain yield 2 FunctionQuantity) FinancialOntology.kif 2299-2299 Le nombre 2 argument de yield est une instance de function de quantit�
(partition PhysicalQuantity ConstantQuantity FunctionQuantity) Merge.kif 2037-2037 Quantit� physique est compl�tement d�compos� en quantit� constante + function de quantit�

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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