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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1987-2005
(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 1985-1985 恒量物理量subclass

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


(partition PhysicalQuantity ConstantQuantity FunctionQuantity) Merge.kif 1966-1966 物理量 详尽无遗地 partition恒量函数量
(range CPUUtilizationFn ConstantQuantity) QoSontology.kif 1325-1325 CPU利用率range恒量 的实例
(rangeSubclass IntervalFn ConstantQuantity) Merge.kif 6489-6489 间隔函数 的所得值 是 恒量subclass
(subclass AngleMeasure ConstantQuantity) Merge.kif 6217-6217 角度测量恒量subclass
(subclass CurrencyMeasure ConstantQuantity) Merge.kif 6205-6205 货币测量恒量subclass
(subclass InformationMeasure ConstantQuantity) Merge.kif 7315-7315 资讯测量恒量subclass
(subclass LengthMeasure ConstantQuantity) Merge.kif 6146-6146 长度测量恒量subclass
(subclass MassMeasure ConstantQuantity) Merge.kif 6157-6157 质量测量恒量subclass
(subclass NonCompositeUnitOfMeasure ConstantQuantity) Merge.kif 6120-6120 NonCompositeUnitOfMeasure恒量subclass
(subclass RadiationMeasure ConstantQuantity) MilitaryProcesses.kif 849-849 辐射测量恒量subclass
(subclass TemperatureMeasure ConstantQuantity) Merge.kif 6193-6193 温度测量恒量subclass
(subclass TimeMeasure ConstantQuantity) Merge.kif 2007-2007 时间单位恒量subclass
(subclass waveHeight ConstantQuantity) Weather.kif 1416-1416 波高恒量subclass
(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 6487-6487 间隔函数 的 1 数量 是 恒量instance
(domain IntervalFn 2 ConstantQuantity) Merge.kif 6488-6488 间隔函数 的 2 数量 是 恒量instance
(domain arableLandArea 2 ConstantQuantity) Geography.kif 2076-2076 耕地面积 的 2 数量 是 恒量instance
(domain averagePrecipitationForPeriod 3 ConstantQuantity) Weather.kif 1221-1221 期间平均降水量 的 3 数量 是 恒量instance
(domain capacity 2 ConstantQuantity) Mid-level-ontology.kif 6342-6342 容量 的 2 数量 是 恒量instance
(domain distanceOnPath 1 ConstantQuantity) Mid-level-ontology.kif 23715-23715 distanceOnPath 的 1 数量 是 恒量instance
(domain highAltitudeWindSpeed 2 ConstantQuantity) Weather.kif 263-263 高空风速 的 2 数量 是 恒量instance
(domain hostJitter 2 ConstantQuantity) QoSontology.kif 2135-2135 主机抖动 的 2 数量 是 恒量instance
(domain irrigatedLandArea 2 ConstantQuantity) Geography.kif 2213-2213 灌溉土地面积 的 2 数量 是 恒量instance
(domain loudness 2 ConstantQuantity) Mid-level-ontology.kif 13195-13195 loudness 的 2 数量 是 恒量instance
(domain measurementReading 2 ConstantQuantity) Mid-level-ontology.kif 2888-2888 测量读数 的 2 数量 是 恒量instance
(domain mediumAltitudeWindSpeed 2 ConstantQuantity) Weather.kif 240-240 中等海拔风速 的 2 数量 是 恒量instance
(domain memorySize 2 ConstantQuantity) QoSontology.kif 1668-1668 记忆体大小 的 2 数量 是 恒量instance
(domain otherLandUseArea 2 ConstantQuantity) Geography.kif 2159-2159 其他土地使用面积 的 2 数量 是 恒量instance
(domain permanentCropLandArea 2 ConstantQuantity) Geography.kif 2120-2120 永久性农田面积 的 2 数量 是 恒量instance
(domain precipitationAmount 2 ConstantQuantity) Weather.kif 1212-1212 降水量 的 2 数量 是 恒量instance
(domain qoSSlack 2 ConstantQuantity) QoSontology.kif 1200-1200 qoS松弛 的 2 数量 是 恒量instance
(domain qoSSlack 3 ConstantQuantity) QoSontology.kif 1201-1201 qoS松弛 的 3 数量 是 恒量instance
(domain seaSurfaceTemperature 2 ConstantQuantity) Weather.kif 976-976 海面温度 的 2 数量 是 恒量instance
(domain totalPrecipitationForPeriod 3 ConstantQuantity) Weather.kif 1230-1230 期间总降水量 的 3 数量 是 恒量instance

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


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


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 3.0 is open source software produced by Articulate Software and its partners