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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ConstantQuantity
ConstantQuantity(constant quantity)
more pictures...
4to, 8vo, PB, PiB, Planck's_constant, SPF, amount, amphibrach, amplitude, amplitude_level, anapaest, anapest, armful, augmentation, background_level, bag, bagful, barnful, barrel, barrelful, barrow, barrowful, base, baseball_score, basin, basinful, basket, basketball_score, basketful, bin, binful, birdie, boatload, body_count, bogey, bottle, bottleful, bowl, bowlful, bowling_score, box, boxful, break, break_of_serve, bucket, bucketful, can, canful, cap, capful...

appearance as argument number 1
-------------------------


(documentation ConstantQuantity ChineseLanguage "ConstantQuantity 是含不变值的 PhysicalQuantity,如 3 Meter 和 5 HourDuration。所有 ConstantQuantity 的幅度 (见 MagnitudeFn)都是 RealNumberConstantQuantity 有别于 FunctionQuantity, 后者的每一个实例是通过把一个 PhysicalQuantity 连接到另一个 PhysicalQuantity 而成。 每个 ConstantQuantity 的实例使用 BinaryFunction MeasureFn 来表示, 它需要两个参数:一个 Number 和一个 UnitOfMeasure。例如:3 Meter 以 (MeasureFn 3 Meter) 表示。 ConstantQuantity 的实例与 lessThan 关系组成一个部分顺序 (见 PartialOrderingRelation), 因为 lessThan 是一个 RelationExtendedToQuantities,而 lessThanRealNumber 来定义的。 lessThan 关系不是一个以 ConstantQuantity 类别的 全部顺序 (见 TotalOrderingRelation)因为 ConstantQuantity 一些子类别的元素 (如长度值)和 ConstantQuantity 其他子类别的元素 (如质量) 属完全不同。") Merge.kif 2147-2157
(documentation ConstantQuantity EnglishLanguage "A ConstantQuantity is a PhysicalQuantity that has a constant value, e.g. 3 Meters and 5 HourDurations. The magnitude (see MagnitudeFn) of every ConstantQuantity is a RealNumber. ConstantQuantity is distinguished from FunctionQuantity, in that each instance of the latter is formed through the mapping of one PhysicalQuantity to another PhysicalQuantity. Each instance of ConstantQuantity is expressed with the BinaryFunction MeasureFn, which takes a Number and a UnitOfMeasure as arguments. For example, 3 Meters is expressed as (MeasureFn 3 Meter). Instances of ConstantQuantity form a partial order (see PartialOrderingRelation) with the lessThan relation, since lessThan is a RelationExtendedToQuantities and lessThan is defined over the RealNumbers. The lessThan relation is not a total order (see TotalOrderingRelation) over the class ConstantQuantity since elements of some subclasses of ConstantQuantity (such as length quantities) are incomparable to elements of other subclasses of ConstantQuantity (such as mass quantities).") Merge.kif 2128-2146
(externalImage ConstantQuantity "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0b/ Ybc7289-bw.jpg") pictureList.kif 9108-9108 "http://upload.wikimedia.org/wikipedia/commons/0/0b/ Ybc7289-bw.jpg" is a URL depicting constant quantity
(externalImage ConstantQuantity "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2a/ Pi-unrolled-720.gif") pictureList.kif 8439-8439 "http://upload.wikimedia.org/wikipedia/commons/2/2a/ Pi-unrolled-720.gif" is a URL depicting constant quantity
(externalImage ConstantQuantity "http://upload.wikimedia.org/wikipedia/commons/ 5/ 53/ Exponential.png") pictureList.kif 9111-9111 "http://upload.wikimedia.org/wikipedia/commons/5/53/ Exponential.png" is a URL depicting constant quantity
(externalImage ConstantQuantity "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7d/ LogisticMap_BifurcationDiagram.png") pictureList.kif 9112-9112 "http://upload.wikimedia.org/wikipedia/commons/7/7d/ LogisticMap_BifurcationDiagram.png" is a URL depicting constant quantity
(externalImage ConstantQuantity "http://upload.wikimedia.org/wikipedia/en/ 1/ 1a/ Different_constants_of_integration.jpg") pictureList.kif 9109-9109 "http://upload.wikimedia.org/wikipedia/en/1/1a/Different_constants_of_integration.jpg" is a URL depicting constant quantity
(externalImage ConstantQuantity "http://upload.wikimedia.org/wikipedia/en/ c/ c5/ Euler-Mascheroni.jpg") pictureList.kif 9110-9110 "http://upload.wikimedia.org/wikipedia/en/c/c5/Euler-Mascheroni.jpg" is a URL depicting constant quantity
(subclass ConstantQuantity PhysicalQuantity) Merge.kif 2127-2127 Constant quantity is a subclass of physical quantity

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


(partition PhysicalQuantity ConstantQuantity FunctionQuantity) Merge.kif 2100-2100 Physical quantity is exhaustively partitioned into constant quantity and function quantity
(range CPUUtilizationFn ConstantQuantity) QoSontology.kif 1315-1315 The range of CPU utilization is an instance of constant quantity
(rangeSubclass IntervalFn ConstantQuantity) Merge.kif 6761-6761 The values returned by interval are subclasses of constant quantity
(subclass AngleMeasure ConstantQuantity) Merge.kif 6464-6464 Angle measure is a subclass of constant quantity
(subclass CurrencyMeasure ConstantQuantity) Merge.kif 6448-6448 Currency measure is a subclass of constant quantity
(subclass InformationMeasure ConstantQuantity) Merge.kif 7694-7694 Information measure is a subclass of constant quantity
(subclass InterestRate ConstantQuantity) FinancialOntology.kif 493-493 Interest rate is a subclass of constant quantity
(subclass LengthMeasure ConstantQuantity) Merge.kif 6382-6382 Length measure is a subclass of constant quantity
(subclass MassMeasure ConstantQuantity) Merge.kif 6395-6395 Mass measure is a subclass of constant quantity
(subclass NonCompositeUnitOfMeasure ConstantQuantity) Merge.kif 6354-6354 NonCompositeUnitOfMeasure is a subclass of constant quantity
(subclass RadiationMeasure ConstantQuantity) MilitaryProcesses.kif 838-838 Radiation measure is a subclass of constant quantity
(subclass TemperatureMeasure ConstantQuantity) Merge.kif 6434-6434 Temperature measure is a subclass of constant quantity
(subclass TimeMeasure ConstantQuantity) Merge.kif 2159-2159 Time measure is a subclass of constant quantity
(termFormat ChineseLanguage ConstantQuantity "恒量") chinese_format.kif 876-876 "恒量" is the printable form of constant quantity in ChineseLanguage
(termFormat EnglishLanguage ConstantQuantity "constant quantity") english_format.kif 689-689 "constant quantity" is the printable form of constant quantity in english language
(termFormat JapaneseLanguage ConstantQuantity "一定量") english_format.kif 690-690 "一定量" is the printable form of constant quantity in japanese language

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


(domain IntervalFn 1 ConstantQuantity) Merge.kif 6759-6759 The number 1 argument of interval is an instance of constant quantity
(domain IntervalFn 2 ConstantQuantity) Merge.kif 6760-6760 The number 2 argument of interval is an instance of constant quantity
(domain arableLandArea 2 ConstantQuantity) Geography.kif 2011-2011 The number 2 argument of arable land area is an instance of constant quantity
(domain averagePrecipitationForPeriod 3 ConstantQuantity) Weather.kif 847-847 The number 3 argument of average precipitation for period is an instance of constant quantity
(domain capacity 2 ConstantQuantity) Mid-level-ontology.kif 6316-6316 The number 2 argument of capacity is an instance of constant quantity
(domain distanceOnPath 1 ConstantQuantity) Mid-level-ontology.kif 22082-22082 The number 1 argument of distanceOnPath is an instance of constant quantity
(domain highAltitudeWindSpeed 2 ConstantQuantity) Weather.kif 251-251 The number 2 argument of high altitude wind speed is an instance of constant quantity
(domain hostJitter 2 ConstantQuantity) QoSontology.kif 2109-2109 The number 2 argument of host jitter is an instance of constant quantity
(domain irrigatedLandArea 2 ConstantQuantity) Geography.kif 2153-2153 The number 2 argument of irrigated land area is an instance of constant quantity
(domain load 2 ConstantQuantity) QoSontology.kif 1837-1837 The number 2 argument of load is an instance of constant quantity
(domain measurementReading 2 ConstantQuantity) Mid-level-ontology.kif 3421-3421 The number 2 argument of measurement reading is an instance of constant quantity
(domain mediumAltitudeWindSpeed 2 ConstantQuantity) Weather.kif 228-228 The number 2 argument of medium altitude wind speed is an instance of constant quantity
(domain memorySize 2 ConstantQuantity) QoSontology.kif 1658-1658 The number 2 argument of memory size is an instance of constant quantity
(domain otherLandUseArea 2 ConstantQuantity) Geography.kif 2099-2099 The number 2 argument of other land use area is an instance of constant quantity
(domain permanentCropLandArea 2 ConstantQuantity) Geography.kif 2058-2058 The number 2 argument of permanent crop land area is an instance of constant quantity
(domain precipitationAmount 2 ConstantQuantity) Weather.kif 837-837 The number 2 argument of precipitation amount is an instance of constant quantity
(domain qoSSlack 2 ConstantQuantity) QoSontology.kif 1190-1190 The number 2 argument of qoS slack is an instance of constant quantity
(domain qoSSlack 3 ConstantQuantity) QoSontology.kif 1191-1191 The number 3 argument of qoS slack is an instance of constant quantity
(domain seaSurfaceTemperature 2 ConstantQuantity) Weather.kif 588-588 The number 2 argument of sea surface temperature is an instance of constant quantity
(domain totalPrecipitationForPeriod 3 ConstantQuantity) Weather.kif 857-857 The number 3 argument of total precipitation for period is an instance of constant quantity

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


(=>
    (and
        (instance ?QUANT
            (MeasureFn ?N ?UNIT))
        (instance ?UNIT NonCompositeUnitOfMeasure))
    (instance ?QUANT ConstantQuantity))
Merge.kif 6370-6374


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