TreeView Knowledge Base Browser

appearance as argument number 1

(documentation ConstantQuantity ChineseLanguage "ConstantQuantity 是含不变值的 PhysicalQuantity，如 3 Meter 和 5 HourDuration。所有 ConstantQuantity 的幅度（见 MagnitudeFn）都是 RealNumber。 ConstantQuantity 有别于 FunctionQuantity，后者的每一个实例是通过把一个 PhysicalQuantity 连接到另一个 PhysicalQuantity 而成。每个 ConstantQuantity 的实例使用 BinaryFunction MeasureFn 来表示，它需要两个参数：一个 Number 和一个 UnitOfMeasure。例如：3 Meter 以 (MeasureFn 3 Meter) 表示。 ConstantQuantity 的实例与 lessThan 关系组成一个部分顺序（见 PartialOrderingRelation)，因为 lessThan 是一个 RelationExtendedToQuantities，而 lessThan 以 RealNumber 来定义的。 lessThan 关系不是一个以 ConstantQuantity 类别的全部顺序（见 TotalOrderingRelation）因为 ConstantQuantity 一些子类别的元素（如长度值）和 ConstantQuantity 其他子类别的元素（如质量）属完全不同。")	chinese_format.kif 1768-1778
(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 2047-2065
(documentation ConstantQuantity JapaneseLanguage "ConstantQuantity は、定数値を有する PhysicalQuantity である。例えば、3 Meters と 5 HourDurations 。すべての ConstantQuantity の大きさ(MagnitudeFn 参照)は RealNumber です。 ConstantQuantity は、後者の各インスタンスが別の PhysicalQuantity へのマッピングを介して形成されることにおいて、 PhysicalQuantity と区別される。 ConstantQuantity の各インスタンスは %BinaryFunction MeasureFn で表され、Number と UnitOfMeasure を引数として受け取る。　例えば、3 Meters は (MeasureFn 3 Meter) として表される。 lessThan は RelationExtendedToQuantity であり、lessThan は RealNumber の上で定義されるため、ConstantQuantity のインスタンスは lessThan 関係を持つ部分的な順序 (TotalOrderingRelation を参照) を形成する。 lessThan の関係は、ConstantQuantity の一部のサブクラスの要素 (長さの数量など) が ConstantQuantity の他のサブクラスの要素 (質量量など) に匹敵しないため、クラス ConstantQuantity 上の合計順序 (TotalOrderingRelation を参照) ではない。")	japanese_format.kif 379-390
(externalImage ConstantQuantity "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0b/ Ybc7289-bw.jpg")	pictureList.kif 9103-9103
(externalImage ConstantQuantity "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2a/ Pi-unrolled-720.gif")	pictureList.kif 8437-8437
(externalImage ConstantQuantity "http://upload.wikimedia.org/wikipedia/commons/ 5/ 53/ Exponential.png")	pictureList.kif 9106-9106
(externalImage ConstantQuantity "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7d/ LogisticMap_BifurcationDiagram.png")	pictureList.kif 9107-9107
(externalImage ConstantQuantity "http://upload.wikimedia.org/wikipedia/en/ 1/ 1a/ Different_constants_of_integration.jpg")	pictureList.kif 9104-9104
(externalImage ConstantQuantity "http://upload.wikimedia.org/wikipedia/en/ c/ c5/ Euler-Mascheroni.jpg")	pictureList.kif 9105-9105
(subclass ConstantQuantity PhysicalQuantity)	Merge.kif 2045-2045	Constant quantity is a subclass of physical quantity

appearance as argument number 2

(partition PhysicalQuantity ConstantQuantity FunctionQuantity)	Merge.kif 2026-2026	Physical quantity is exhaustively partitioned into constant quantity and function quantity
(range CPUUtilizationFn ConstantQuantity)	QoSontology.kif 1320-1320	The range of CPU utilization is an instance of constant quantity
(rangeSubclass IntervalFn ConstantQuantity)	Merge.kif 6586-6586	The values returned by interval are subclasses of constant quantity
(subclass AngleMeasure ConstantQuantity)	Merge.kif 6314-6314	Angle measure is a subclass of constant quantity
(subclass CurrencyMeasure ConstantQuantity)	Merge.kif 6302-6302	Currency measure is a subclass of constant quantity
(subclass InformationMeasure ConstantQuantity)	Merge.kif 7412-7412	Information measure is a subclass of constant quantity
(subclass LengthMeasure ConstantQuantity)	Merge.kif 6243-6243	Length measure is a subclass of constant quantity
(subclass MassMeasure ConstantQuantity)	Merge.kif 6254-6254	Mass measure is a subclass of constant quantity
(subclass NonCompositeUnitOfMeasure ConstantQuantity)	Merge.kif 6217-6217	Non composite unit of measure is a subclass of constant quantity
(subclass RadiationMeasure ConstantQuantity)	MilitaryProcesses.kif 849-849	Radiation measure is a subclass of constant quantity
(subclass TemperatureMeasure ConstantQuantity)	Merge.kif 6290-6290	Temperature measure is a subclass of constant quantity
(subclass TimeMeasure ConstantQuantity)	Merge.kif 2067-2067	Time measure is a subclass of constant quantity
(subclass waveHeight ConstantQuantity)	Weather.kif 1401-1401	wave height is a subclass of constant quantity
(termFormat ChineseLanguage ConstantQuantity "恒量")	chinese_format.kif 876-876
(termFormat EnglishLanguage ConstantQuantity "constant quantity")	english_format.kif 954-954
(termFormat FrenchLanguage ConstantQuantity "quantit� constante")	french_format.kif 552-552
(termFormat Hindi ConstantQuantity "sthira parimaaNa")	terms-hindi.txt 82-82
(termFormat ItalianLanguage ConstantQuantity "Quantit�Costante")	terms-it.txt 85-85
(termFormat JapaneseLanguage ConstantQuantity "一定量")	japanese_format.kif 2237-2237
(termFormat PortugueseLanguage ConstantQuantity "Quantidade Constante")	portuguese_format.kif 504-504
(termFormat cz ConstantQuantity "constant quantity")	terms-cz.txt 119-119
(termFormat ro ConstantQuantity "constantã de cantitate")	relations-ro.kif 573-573
(termFormat tg ConstantQuantity "tuloy-tuloy ang dami")	terms-tg.txt 86-86

appearance as argument number 3

(domain IntervalFn 1 ConstantQuantity)	Merge.kif 6584-6584	The number 1 argument of interval is an instance of constant quantity
(domain IntervalFn 2 ConstantQuantity)	Merge.kif 6585-6585	The number 2 argument of interval is an instance of constant quantity
(domain arableLandArea 2 ConstantQuantity)	Geography.kif 2073-2073	The number 2 argument of arable land area is an instance of constant quantity
(domain averagePrecipitationForPeriod 3 ConstantQuantity)	Weather.kif 1206-1206	The number 3 argument of average precipitation for period is an instance of constant quantity
(domain capacity 2 ConstantQuantity)	Mid-level-ontology.kif 6676-6676	The number 2 argument of capacity is an instance of constant quantity
(domain distanceOnPath 1 ConstantQuantity)	Mid-level-ontology.kif 24419-24419	The number 1 argument of distance on path is an instance of constant quantity
(domain hearingAcuity 2 ConstantQuantity)	Medicine.kif 1737-1737	The number 2 argument of visual acuity is an instance of constant quantity
(domain hearingAcuity 3 ConstantQuantity)	Medicine.kif 1738-1738	The number 3 argument of visual acuity 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 2130-2130	The number 2 argument of host jitter is an instance of constant quantity
(domain irrigatedLandArea 2 ConstantQuantity)	Geography.kif 2210-2210	The number 2 argument of irrigated land area is an instance of constant quantity
(domain loudness 2 ConstantQuantity)	Mid-level-ontology.kif 13756-13756	The number 2 argument of loudness is an instance of constant quantity
(domain measurementReading 2 ConstantQuantity)	Mid-level-ontology.kif 2930-2930	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 1663-1663	The number 2 argument of memory size is an instance of constant quantity
(domain otherLandUseArea 2 ConstantQuantity)	Geography.kif 2156-2156	The number 2 argument of other land use area is an instance of constant quantity
(domain permanentCropLandArea 2 ConstantQuantity)	Geography.kif 2117-2117	The number 2 argument of permanent crop land area is an instance of constant quantity
(domain precipitationAmount 2 ConstantQuantity)	Weather.kif 1197-1197	The number 2 argument of precipitation amount is an instance of constant quantity
(domain qoSSlack 2 ConstantQuantity)	QoSontology.kif 1195-1195	The number 2 argument of qoS slack is an instance of constant quantity
(domain qoSSlack 3 ConstantQuantity)	QoSontology.kif 1196-1196	The number 3 argument of qoS slack is an instance of constant quantity
(domain seaSurfaceTemperature 2 ConstantQuantity)	Weather.kif 960-960	The number 2 argument of sea surface temperature is an instance of constant quantity
(domain totalPrecipitationForPeriod 3 ConstantQuantity)	Weather.kif 1215-1215	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 6232-6236

If an entity is an instance of a real number an unit of measure(s) and the unit of measure is an instance of non composite unit of measure,
then the entity is an instance of constant quantity

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: