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 2010-2018
(subclass FunctionQuantity PhysicalQuantity)	Merge.kif 2008-2008	Function quantity is a subclass of physical quantity

appearance as argument number 2

(range AccelerationFn FunctionQuantity)	Cars.kif 1281-1281	The range of AccelerationFn is an instance of function quantity
(range DensityFn FunctionQuantity)	Merge.kif 6327-6327	The range of density is an instance of function quantity
(range PerFn FunctionQuantity)	Merge.kif 6313-6313	The range of per is an instance of function quantity
(range RotationFn FunctionQuantity)	Cars.kif 2092-2092	The range of RotationFn is an instance of function quantity
(range SpeedFn FunctionQuantity)	Merge.kif 6339-6339	The range of speed is an instance of function quantity
(range VelocityFn FunctionQuantity)	Merge.kif 6352-6352	The range of velocity is an instance of function quantity
(subclass AreaMeasure FunctionQuantity)	Merge.kif 5929-5929	Area measure is a subclass of function quantity
(subclass CompositeUnitOfMeasure FunctionQuantity)	Merge.kif 5868-5868	CompositeUnitOfMeasure is a subclass of function quantity
(subclass UnaryConstantFunctionQuantity FunctionQuantity)	Merge.kif 2020-2020	Unary constant function quantity is a subclass of function quantity
(subclass VolumeMeasure FunctionQuantity)	Merge.kif 5940-5940	Volume measure is a subclass of function quantity
(termFormat ChineseLanguage FunctionQuantity "函数量")	chinese_format.kif 882-882
(termFormat EnglishLanguage FunctionQuantity "function quantity")	english_format.kif 971-971

appearance as argument number 3

(domain AccelerationFn 1 FunctionQuantity)	Cars.kif 1275-1275	The number 1 argument of AccelerationFn is an instance of function quantity
(domain bandwidth 2 FunctionQuantity)	QoSontology.kif 1059-1059	The number 2 argument of bandwidth of is an instance of function quantity
(domain contractedRentalPrice 2 FunctionQuantity)	Catalog.kif 482-482	The number 2 argument of contracted rental price is an instance of function quantity
(domain effectiveDose 2 FunctionQuantity)	WMD.kif 792-792	The number 2 argument of effective dose is an instance of function quantity
(domain engineIdleSpeed 2 FunctionQuantity)	Cars.kif 2546-2546	The number 2 argument of engineIdleSpeed is an instance of function quantity
(domain governorSpeed 2 FunctionQuantity)	Cars.kif 2866-2866	The number 2 argument of governorSpeed is an instance of function quantity
(domain lethalDose 2 FunctionQuantity)	WMD.kif 809-809	The number 2 argument of lethal dose is an instance of function quantity
(domain precipitationRate 2 FunctionQuantity)	Weather.kif 826-826	The number 2 argument of precipitation rate is an instance of function quantity
(domain rainfallIntensity 3 FunctionQuantity)	Weather.kif 1342-1342	The number 3 argument of rainfall intensity is an instance of function quantity
(domain rentalPrice 2 FunctionQuantity)	Catalog.kif 438-438	The number 2 argument of rental price is an instance of function quantity
(domain snowfallIntensity 3 FunctionQuantity)	Weather.kif 1589-1589	The number 3 argument of snowfall intensity is an instance of function quantity
(domain soundFrequency 2 FunctionQuantity)	Mid-level-ontology.kif 965-965	The number 2 argument of sound frequency is an instance of function quantity
(domain topSpeed 2 FunctionQuantity)	Transportation.kif 1704-1704	The number 2 argument of topSpeed is an instance of function quantity
(domain transitwayCapacityRate 3 FunctionQuantity)	Transportation.kif 3025-3025	The number 3 argument of transitway capacity rate is an instance of function quantity
(domain unitPrice 2 FunctionQuantity)	Catalog.kif 383-383	The number 2 argument of unitPrice is an instance of function quantity
(domain yield 2 FunctionQuantity)	FinancialOntology.kif 2212-2212	The number 2 argument of yield is an instance of function quantity
(partition PhysicalQuantity ConstantQuantity FunctionQuantity)	Merge.kif 1934-1934	Physical quantity is exhaustively partitioned into constant quantity and function quantity

consequent

(=>
    (and
        (instance ?QUANT
            (MeasureFn ?N ?UNIT))
        (instance ?UNIT CompositeUnitOfMeasure))
    (instance ?QUANT FunctionQuantity))

Merge.kif 5885-5889

If an entity is an instance of a real number an unit of measure(s) and the unit of measure is an instance of CompositeUnitOfMeasure,
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: