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 2009-2017
(subclass FunctionQuantity PhysicalQuantity) Merge.kif 2007-2007 subclass FunctionQuantity and PhysicalQuantity

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


(range AccelerationFn FunctionQuantity) Cars.kif 1280-1280 range AccelerationFn and FunctionQuantity
(range DensityFn FunctionQuantity) Merge.kif 6231-6231 range DensityFn and FunctionQuantity
(range PerFn FunctionQuantity) Merge.kif 6217-6217 range PerFn and FunctionQuantity
(range RotationFn FunctionQuantity) Cars.kif 2091-2091 range RotationFn and FunctionQuantity
(range SpeedFn FunctionQuantity) Merge.kif 6243-6243 range SpeedFn and FunctionQuantity
(range VelocityFn FunctionQuantity) Merge.kif 6256-6256 range VelocityFn and FunctionQuantity
(subclass AreaMeasure FunctionQuantity) Merge.kif 5833-5833 subclass AreaMeasure and FunctionQuantity
(subclass CompositeUnitOfMeasure FunctionQuantity) Merge.kif 5772-5772 subclass CompositeUnitOfMeasure and FunctionQuantity
(subclass UnaryConstantFunctionQuantity FunctionQuantity) Merge.kif 2019-2019 subclass UnaryConstantFunctionQuantity and FunctionQuantity
(subclass VolumeMeasure FunctionQuantity) Merge.kif 5844-5844 subclass VolumeMeasure and FunctionQuantity
(termFormat ChineseLanguage FunctionQuantity "函数量") chinese_format.kif 882-882 termFormat ChineseLanguage, FunctionQuantity and "函数量"
(termFormat EnglishLanguage FunctionQuantity "function quantity") english_format.kif 971-971 termFormat EnglishLanguage, FunctionQuantity and "function quantity"

appearance as argument number 3
-------------------------


(domain AccelerationFn 1 FunctionQuantity) Cars.kif 1274-1274 domain AccelerationFn, 1 and FunctionQuantity
(domain bandwidth 2 FunctionQuantity) QoSontology.kif 1059-1059 domain bandwidth, 2 and FunctionQuantity
(domain contractedRentalPrice 2 FunctionQuantity) Catalog.kif 482-482 domain contractedRentalPrice, 2 and FunctionQuantity
(domain effectiveDose 2 FunctionQuantity) WMD.kif 792-792 domain effectiveDose, 2 and FunctionQuantity
(domain engineIdleSpeed 2 FunctionQuantity) Cars.kif 2545-2545 domain engineIdleSpeed, 2 and FunctionQuantity
(domain governorSpeed 2 FunctionQuantity) Cars.kif 2865-2865 domain governorSpeed, 2 and FunctionQuantity
(domain lethalDose 2 FunctionQuantity) WMD.kif 809-809 domain lethalDose, 2 and FunctionQuantity
(domain precipitationRate 2 FunctionQuantity) Weather.kif 826-826 domain precipitationRate, 2 and FunctionQuantity
(domain rainfallIntensity 3 FunctionQuantity) Weather.kif 1342-1342 domain rainfallIntensity, 3 and FunctionQuantity
(domain rentalPrice 2 FunctionQuantity) Catalog.kif 438-438 domain rentalPrice, 2 and FunctionQuantity
(domain snowfallIntensity 3 FunctionQuantity) Weather.kif 1589-1589 domain snowfallIntensity, 3 and FunctionQuantity
(domain soundFrequency 2 FunctionQuantity) Mid-level-ontology.kif 965-965 domain soundFrequency, 2 and FunctionQuantity
(domain topSpeed 2 FunctionQuantity) Transportation.kif 1704-1704 domain topSpeed, 2 and FunctionQuantity
(domain transitwayCapacityRate 3 FunctionQuantity) Transportation.kif 3016-3016 domain transitwayCapacityRate, 3 and FunctionQuantity
(domain unitPrice 2 FunctionQuantity) Catalog.kif 383-383 domain unitPrice, 2 and FunctionQuantity
(domain yield 2 FunctionQuantity) FinancialOntology.kif 2211-2211 domain yield, 2 and FunctionQuantity
(partition PhysicalQuantity ConstantQuantity FunctionQuantity) Merge.kif 1933-1933 partition PhysicalQuantity, ConstantQuantity and FunctionQuantity

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


(=>
    (and
        (instance ?QUANT
            (MeasureFn ?N ?UNIT))
        (instance ?UNIT CompositeUnitOfMeasure))
    (instance ?QUANT FunctionQuantity))		 Merge.kif 5789-5793


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