FunctionQuantity - Sigma Knowledge base Browser

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	Function quantity is a subclass of physical quantity

appearance as argument number 2

(instance McgPerKg FunctionQuantity)	WMD.kif 813-813	Micrograms per kilogram is an instance of function quantity
(instance MilesPerHour FunctionQuantity)	Weather.kif 1681-1681	Miles per hour is an instance of function quantity
(range AccelerationFn FunctionQuantity)	Cars.kif 1280-1280	The range of Acceleration fn is an instance of function quantity
(range DensityFn FunctionQuantity)	Merge.kif 6638-6638	The range of density is an instance of function quantity
(range Mean10MinutesWindSpeedFn FunctionQuantity)	Weather.kif 2202-2202	The range of ten minute mean surface wind speed is an instance of function quantity
(range Mean1MinuteWindSpeedFn FunctionQuantity)	Weather.kif 2307-2307	The range of one minute mean surface wind speed is an instance of function quantity
(range Mean2MinutesWindSpeedFn FunctionQuantity)	Weather.kif 2272-2272	The range of two minute mean surface wind speed is an instance of function quantity
(range Mean3MinutesWindSpeedFn FunctionQuantity)	Weather.kif 2237-2237	The range of three minute mean surface wind speed is an instance of function quantity
(range Mean3SecondWindSpeedFn FunctionQuantity)	Weather.kif 1883-1883	The range of three second mean surface wind speed is an instance of function quantity
(range PerFn FunctionQuantity)	Merge.kif 6624-6624	The range of per is an instance of function quantity
(range RotationFn FunctionQuantity)	Cars.kif 2089-2089	The range of rotation fn is an instance of function quantity
(range SpeedFn FunctionQuantity)	Merge.kif 6650-6650	The range of speed is an instance of function quantity
(range ThreeSecondGustSpeedFn FunctionQuantity)	Weather.kif 2017-2017	The range of three second gust speed is an instance of function quantity
(range VelocityFn FunctionQuantity)	Merge.kif 6663-6663	The range of velocity is an instance of function quantity
(range VickersHardnessFn FunctionQuantity)	Mid-level-ontology.kif 10038-10038	The range of Vickers Hardness is an instance of function quantity
(subclass AreaMeasure FunctionQuantity)	Merge.kif 6258-6258	Area measure is a subclass of function quantity
(subclass CompositeUnitOfMeasure FunctionQuantity)	Merge.kif 6199-6199	Composite unit of measure is a subclass of function quantity
(subclass UnaryConstantFunctionQuantity FunctionQuantity)	Merge.kif 2106-2106	Unary constant function quantity is a subclass of function quantity
(subclass VolumeMeasure FunctionQuantity)	Merge.kif 6269-6269	Volume measure is a subclass of function quantity
(termFormat ChineseLanguage FunctionQuantity "函数量")	chinese_format.kif 882-882	Volume measure is a subclass of function quantity
(termFormat EnglishLanguage FunctionQuantity "function quantity")	english_format.kif 966-966	Volume measure is a subclass of function quantity
(termFormat FrenchLanguage FunctionQuantity "function de quantit�")	french_format.kif 558-558	Volume measure is a subclass of function quantity
(termFormat Hindi FunctionQuantity "prakaarya parimaaNa")	terms-hindi.txt 88-88	Volume measure is a subclass of function quantity
(termFormat ItalianLanguage FunctionQuantity "FunzioneDiQuantit�")	terms-it.txt 91-91	Volume measure is a subclass of function quantity

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	The number 1 argument of Acceleration fn is an instance of function quantity
(domain bandwidth 2 FunctionQuantity)	QoSontology.kif 1160-1160	The number 2 argument of bandwidth of is an instance of function quantity
(domain contractedRentalPrice 2 FunctionQuantity)	Catalog.kif 502-502	The number 2 argument of contracted rental price is an instance of function quantity
(domain effectiveDose 2 FunctionQuantity)	WMD.kif 797-797	The number 2 argument of effective dose is an instance of function quantity
(domain engineIdleSpeed 2 FunctionQuantity)	Cars.kif 2543-2543	The number 2 argument of engine idle speed is an instance of function quantity
(domain governorSpeed 2 FunctionQuantity)	Cars.kif 2865-2865	The number 2 argument of governor speed is an instance of function quantity
(domain lethalDose 2 FunctionQuantity)	WMD.kif 844-844	The number 2 argument of lethal dose is an instance of function quantity
(domain precipitationRate 2 FunctionQuantity)	Weather.kif 1188-1188	The number 2 argument of precipitation rate is an instance of function quantity
(domain rainfallIntensity 3 FunctionQuantity)	Weather.kif 2809-2809	The number 3 argument of rainfall intensity is an instance of function quantity
(domain rentalPrice 2 FunctionQuantity)	Catalog.kif 455-455	The number 2 argument of rental price is an instance of function quantity
(domain snowfallIntensity 3 FunctionQuantity)	Weather.kif 3014-3014	The number 3 argument of snowfall intensity is an instance of function quantity
(domain soundFrequency 2 FunctionQuantity)	Mid-level-ontology.kif 771-771	The number 2 argument of sound frequency is an instance of function quantity
(domain speedScaleAttributeMinMax 2 FunctionQuantity)	Weather.kif 2108-2108	The number 2 argument of speed scale attribute min max is an instance of function quantity
(domain speedScaleAttributeMinMax 3 FunctionQuantity)	Weather.kif 2109-2109	The number 3 argument of speed scale attribute min max is an instance of function quantity
(domain topSpeed 2 FunctionQuantity)	Transportation.kif 1851-1851	The number 2 argument of top speed is an instance of function quantity
(domain transformerCapacity 2 FunctionQuantity)	Mid-level-ontology.kif 32461-32461	The number 2 argument of transformer capacity is an instance of function quantity
(domain unitPrice 2 FunctionQuantity)	Catalog.kif 398-398	The number 2 argument of unit price is an instance of function quantity
(domain voltageRatingPrimary 2 FunctionQuantity)	Mid-level-ontology.kif 32369-32369	The number 2 argument of primary voltage rating is an instance of function quantity
(domain voltageRatingSecondary 2 FunctionQuantity)	Mid-level-ontology.kif 32412-32412	The number 2 argument of seconary voltage rating is an instance of function quantity
(domain yield 2 FunctionQuantity)	FinancialOntology.kif 2296-2296	The number 2 argument of yield is an instance of function quantity
(partition PhysicalQuantity ConstantQuantity FunctionQuantity)	Merge.kif 2020-2020	Physical quantity is exhaustively partitioned into constant quantity and function quantity

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 6522-6548

If a function quantity amount as resource for the Process a process and the function quantity is an instance of function quantity and an object is a resource for the process and the function quantity is equal to the per of a real number an unit of measure(s) and another real number another unit of measure(s) and duration of the time of existence of the process is a third real number the other unit of measure(s) and the measure of the object is a fourth real number the unit of measure(s) holds during the beginning of the time of existence of the process and the measure of the object is a physical quantity the unit of measure(s) holds during the end of the time of existence of the process,
then the physical quantity is equal to (the fourth real number and the third real number and the real number and the other real number) the unit of measure(s)

consequent

(=> (and (equal ?SPEEDLIST (Mean3SecondWindSpeedListFn ?PLACE ?TIME)) (inList ?SPEED ?SPEEDLIST)) (instance ?SPEED FunctionQuantity))	Weather.kif 1980-1985	If a list is equal to Mean3SecondWindSpeedListFn ending at a time interval in region a geographic area and an entity is a member of the list, then the entity is an instance of function quantity
(=> (and (instance ?QUANT (MeasureFn ?N ?UNIT)) (instance ?UNIT CompositeUnitOfMeasure)) (instance ?QUANT FunctionQuantity))	Merge.kif 6216-6220	If an entity is an instance of a real number an unit of measure(s) and the unit of measure is an instance of composite unit of measure, then the entity is an instance of function quantity

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

KB Term:			Term intersection

English Word: