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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ConstantQuantity

Sigma KEE - ConstantQuantity
ConstantQuantity
more pictures...

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 其他子类别的元素 (如质量) 属完全不同。") 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 1994-2012
(externalImage ConstantQuantity "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0b/ Ybc7289-bw.jpg") pictureList.kif 9104-9104
(externalImage ConstantQuantity "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2a/ Pi-unrolled-720.gif") pictureList.kif 8438-8438
(externalImage ConstantQuantity "http://upload.wikimedia.org/wikipedia/commons/ 5/ 53/ Exponential.png") pictureList.kif 9107-9107
(externalImage ConstantQuantity "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7d/ LogisticMap_BifurcationDiagram.png") pictureList.kif 9108-9108
(externalImage ConstantQuantity "http://upload.wikimedia.org/wikipedia/en/ 1/ 1a/ Different_constants_of_integration.jpg") pictureList.kif 9105-9105
(externalImage ConstantQuantity "http://upload.wikimedia.org/wikipedia/en/ c/ c5/ Euler-Mascheroni.jpg") pictureList.kif 9106-9106
(subclass ConstantQuantity PhysicalQuantity) Merge.kif 1992-1992

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


(partition PhysicalQuantity ConstantQuantity FunctionQuantity) Merge.kif 1973-1973
(range CPUUtilizationFn ConstantQuantity) QoSontology.kif 1325-1325
(rangeSubclass IntervalFn ConstantQuantity) Merge.kif 6359-6359
(subclass AngleMeasure ConstantQuantity) Merge.kif 6087-6087
(subclass CurrencyMeasure ConstantQuantity) Merge.kif 6075-6075
(subclass InformationMeasure ConstantQuantity) Merge.kif 7199-7199
(subclass LengthMeasure ConstantQuantity) Merge.kif 6016-6016
(subclass MassMeasure ConstantQuantity) Merge.kif 6027-6027
(subclass NonCompositeUnitOfMeasure ConstantQuantity) Merge.kif 5990-5990
(subclass RadiationMeasure ConstantQuantity) MilitaryProcesses.kif 849-849
(subclass TemperatureMeasure ConstantQuantity) Merge.kif 6063-6063
(subclass TimeMeasure ConstantQuantity) Merge.kif 2014-2014
(subclass waveHeight ConstantQuantity) Weather.kif 1416-1416
(termFormat ChineseLanguage ConstantQuantity "恒量") chinese_format.kif 876-876
(termFormat EnglishLanguage ConstantQuantity "constant quantity") english_format.kif 954-954

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


(domain IntervalFn 1 ConstantQuantity) Merge.kif 6357-6357
(domain IntervalFn 2 ConstantQuantity) Merge.kif 6358-6358
(domain arableLandArea 2 ConstantQuantity) Geography.kif 2044-2044
(domain averagePrecipitationForPeriod 3 ConstantQuantity) Weather.kif 1222-1222
(domain capacity 2 ConstantQuantity) Mid-level-ontology.kif 6318-6318
(domain distanceOnPath 1 ConstantQuantity) Mid-level-ontology.kif 23569-23569
(domain highAltitudeWindSpeed 2 ConstantQuantity) Weather.kif 263-263
(domain hostJitter 2 ConstantQuantity) QoSontology.kif 2136-2136
(domain irrigatedLandArea 2 ConstantQuantity) Geography.kif 2186-2186
(domain load 2 ConstantQuantity) QoSontology.kif 1848-1848
(domain loudness 2 ConstantQuantity) Mid-level-ontology.kif 13055-13055
(domain measurementReading 2 ConstantQuantity) Mid-level-ontology.kif 2871-2871
(domain mediumAltitudeWindSpeed 2 ConstantQuantity) Weather.kif 240-240
(domain memorySize 2 ConstantQuantity) QoSontology.kif 1668-1668
(domain otherLandUseArea 2 ConstantQuantity) Geography.kif 2132-2132
(domain permanentCropLandArea 2 ConstantQuantity) Geography.kif 2091-2091
(domain precipitationAmount 2 ConstantQuantity) Weather.kif 1213-1213
(domain qoSSlack 2 ConstantQuantity) QoSontology.kif 1200-1200
(domain qoSSlack 3 ConstantQuantity) QoSontology.kif 1201-1201
(domain seaSurfaceTemperature 2 ConstantQuantity) Weather.kif 976-976
(domain totalPrecipitationForPeriod 3 ConstantQuantity) Weather.kif 1231-1231

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


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


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