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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FunctionQuantity
FunctionQuantity(Funcao de Quantidade)

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 2102-2110
(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 2100-2100 Funcao de Quantidade e' uma sub-classe de Quantidade Fisica

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


(instance McgPerKg FunctionQuantity) WMD.kif 813-813 McgPerKg e' uma instancia de Funcao de Quantidade
(instance MilesPerHour FunctionQuantity) Weather.kif 1699-1699 MilesPerHour e' uma instancia de Funcao de Quantidade
(range AccelerationFn FunctionQuantity) Cars.kif 1280-1280 O contra-dominio de AccelerationFn e' uma instancia de Funcao de Quantidade
(range DensityFn FunctionQuantity) Merge.kif 6647-6647 O contra-dominio de DensityFn e' uma instancia de Funcao de Quantidade
(range Mean10MinutesWindSpeedFn FunctionQuantity) Weather.kif 2220-2220 O contra-dominio de Mean10MinutesWindSpeedFn e' uma instancia de Funcao de Quantidade
(range Mean1MinuteWindSpeedFn FunctionQuantity) Weather.kif 2325-2325 O contra-dominio de Mean1MinuteWindSpeedFn e' uma instancia de Funcao de Quantidade
(range Mean2MinutesWindSpeedFn FunctionQuantity) Weather.kif 2290-2290 O contra-dominio de Mean2MinutesWindSpeedFn e' uma instancia de Funcao de Quantidade
(range Mean3MinutesWindSpeedFn FunctionQuantity) Weather.kif 2255-2255 O contra-dominio de Mean3MinutesWindSpeedFn e' uma instancia de Funcao de Quantidade
(range Mean3SecondWindSpeedFn FunctionQuantity) Weather.kif 1901-1901 O contra-dominio de Mean3SecondWindSpeedFn e' uma instancia de Funcao de Quantidade
(range PerFn FunctionQuantity) Merge.kif 6633-6633 O contra-dominio de PerFn e' uma instancia de Funcao de Quantidade
(range RotationFn FunctionQuantity) Cars.kif 2105-2105 O contra-dominio de RotationFn e' uma instancia de Funcao de Quantidade
(range SpeedFn FunctionQuantity) Merge.kif 6659-6659 O contra-dominio de SpeedFn e' uma instancia de Funcao de Quantidade
(range ThreeSecondGustSpeedFn FunctionQuantity) Weather.kif 2035-2035 O contra-dominio de ThreeSecondGustSpeedFn e' uma instancia de Funcao de Quantidade
(range VelocityFn FunctionQuantity) Merge.kif 6672-6672 O contra-dominio de VelocityFn e' uma instancia de Funcao de Quantidade
(subclass AreaMeasure FunctionQuantity) Merge.kif 6267-6267 Medida de Area e' uma sub-classe de Funcao de Quantidade
(subclass CompositeUnitOfMeasure FunctionQuantity) Merge.kif 6208-6208 CompositeUnitOfMeasure e' uma sub-classe de Funcao de Quantidade
(subclass UnaryConstantFunctionQuantity FunctionQuantity) Merge.kif 2112-2112 Funcao de Quantidade Unaria e' uma sub-classe de Funcao de Quantidade
(subclass VolumeMeasure FunctionQuantity) Merge.kif 6278-6278 Medida de Volume e' uma sub-classe de Funcao de Quantidade
(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
(termFormat JapaneseLanguage FunctionQuantity "関数量") japanese_format.kif 2243-2243

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 O argumento numero 1 de AccelerationFn e' uma instancia de Funcao de Quantidade
(domain bandwidth 2 FunctionQuantity) QoSontology.kif 1054-1054 O argumento numero 2 de bandwidth e' uma instancia de Funcao de Quantidade
(domain contractedRentalPrice 2 FunctionQuantity) Catalog.kif 502-502 O argumento numero 2 de contractedRentalPrice e' uma instancia de Funcao de Quantidade
(domain effectiveDose 2 FunctionQuantity) WMD.kif 797-797 O argumento numero 2 de effectiveDose e' uma instancia de Funcao de Quantidade
(domain engineIdleSpeed 2 FunctionQuantity) Cars.kif 2559-2559 O argumento numero 2 de engineIdleSpeed e' uma instancia de Funcao de Quantidade
(domain governorSpeed 2 FunctionQuantity) Cars.kif 2881-2881 O argumento numero 2 de governorSpeed e' uma instancia de Funcao de Quantidade
(domain lethalDose 2 FunctionQuantity) WMD.kif 844-844 O argumento numero 2 de lethalDose e' uma instancia de Funcao de Quantidade
(domain precipitationRate 2 FunctionQuantity) Weather.kif 1204-1204 O argumento numero 2 de precipitationRate e' uma instancia de Funcao de Quantidade
(domain rainfallIntensity 3 FunctionQuantity) Weather.kif 2827-2827 O argumento numero 3 de rainfallIntensity e' uma instancia de Funcao de Quantidade
(domain rentalPrice 2 FunctionQuantity) Catalog.kif 455-455 O argumento numero 2 de rentalPrice e' uma instancia de Funcao de Quantidade
(domain snowfallIntensity 3 FunctionQuantity) Weather.kif 3032-3032 O argumento numero 3 de snowfallIntensity e' uma instancia de Funcao de Quantidade
(domain soundFrequency 2 FunctionQuantity) Mid-level-ontology.kif 778-778 O argumento numero 2 de soundFrequency e' uma instancia de Funcao de Quantidade
(domain speedScaleAttributeMinMax 2 FunctionQuantity) Weather.kif 2126-2126 O argumento numero 2 de speedScaleAttributeMinMax e' uma instancia de Funcao de Quantidade
(domain speedScaleAttributeMinMax 3 FunctionQuantity) Weather.kif 2127-2127 O argumento numero 3 de speedScaleAttributeMinMax e' uma instancia de Funcao de Quantidade
(domain topSpeed 2 FunctionQuantity) Transportation.kif 1711-1711 O argumento numero 2 de topSpeed e' uma instancia de Funcao de Quantidade
(domain transformerCapacity 2 FunctionQuantity) Mid-level-ontology.kif 31338-31338 O argumento numero 2 de transformerCapacity e' uma instancia de Funcao de Quantidade
(domain transitwayCapacityRate 3 FunctionQuantity) Transportation.kif 3047-3047 O argumento numero 3 de transitwayCapacityRate e' uma instancia de Funcao de Quantidade
(domain unitPrice 2 FunctionQuantity) Catalog.kif 398-398 O argumento numero 2 de unitPrice e' uma instancia de Funcao de Quantidade
(domain voltageRatingPrimary 2 FunctionQuantity) Mid-level-ontology.kif 31246-31246 O argumento numero 2 de voltageRatingPrimary e' uma instancia de Funcao de Quantidade
(domain voltageRatingSecondary 2 FunctionQuantity) Mid-level-ontology.kif 31289-31289 O argumento numero 2 de voltageRatingSecondary e' uma instancia de Funcao de Quantidade
(domain yield 2 FunctionQuantity) FinancialOntology.kif 2282-2282 O argumento numero 2 de yield e' uma instancia de Funcao de Quantidade
(partition PhysicalQuantity ConstantQuantity FunctionQuantity) Merge.kif 2026-2026 O conceito Quantidade Fisica e' completamente decomposto em Quantidade Constante + Funcao de Quantidade

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


(=>
    (and
        (equal ?SPEEDLIST
            (Mean3SecondWindSpeedListFn ?PLACE ?TIME))
        (inList ?SPEED ?SPEEDLIST))
    (instance ?SPEED FunctionQuantity))
Weather.kif 1998-2003
(=>
    (and
        (instance ?QUANT
            (MeasureFn ?N ?UNIT))
        (instance ?UNIT CompositeUnitOfMeasure))
    (instance ?QUANT FunctionQuantity))
Merge.kif 6225-6229


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