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 2047-2065
(documentation ConstantQuantity JapaneseLanguage "ConstantQuantity は、定数値を有する PhysicalQuantity である。例えば、3 Meters と 5 HourDurations 。 すべての ConstantQuantity の大きさ(MagnitudeFn 参照)は RealNumber です。 ConstantQuantity は、後者の各インスタンスが別の PhysicalQuantity へのマッピングを介して形成されることにおいて、 PhysicalQuantity と区別される。 ConstantQuantity の各インスタンスは %BinaryFunction MeasureFn で表され、NumberUnitOfMeasure を引数として受け取る。 例えば、3 Meters は (MeasureFn 3 Meter) として表される。 lessThanRelationExtendedToQuantity で あり、lessThanRealNumber の上で定義されるため、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 一定量物理量subclass では %n

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


(partition PhysicalQuantity ConstantQuantity FunctionQuantity) Merge.kif 2026-2026 物理量一定量 + 関数量exhaustively partitioned %n
(range CPUUtilizationFn ConstantQuantity) QoSontology.kif 1320-1320 CPUUtilizationFnrange一定量 のインスタンス では %n
(rangeSubclass IntervalFn ConstantQuantity) Merge.kif 6585-6585 IntervalFn が返す値は 一定量subclasses では %n
(subclass AngleMeasure ConstantQuantity) Merge.kif 6313-6313 角度測定一定量subclass では %n
(subclass CurrencyMeasure ConstantQuantity) Merge.kif 6301-6301 通貨測定一定量subclass では %n
(subclass InformationMeasure ConstantQuantity) Merge.kif 7411-7411 情報測定一定量subclass では %n
(subclass LengthMeasure ConstantQuantity) Merge.kif 6242-6242 長さ測定一定量subclass では %n
(subclass MassMeasure ConstantQuantity) Merge.kif 6253-6253 質量測定一定量subclass では %n
(subclass NonCompositeUnitOfMeasure ConstantQuantity) Merge.kif 6216-6216 NonCompositeUnitOfMeasure一定量subclass では %n
(subclass RadiationMeasure ConstantQuantity) MilitaryProcesses.kif 849-849 RadiationMeasure一定量subclass では %n
(subclass TemperatureMeasure ConstantQuantity) Merge.kif 6289-6289 温度測定一定量subclass では %n
(subclass TimeMeasure ConstantQuantity) Merge.kif 2067-2067 時間測定一定量subclass では %n
(subclass waveHeight ConstantQuantity) Weather.kif 1417-1417 waveHeight一定量subclass では %n
(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 6583-6583 IntervalFn の数値 1 引数は 一定量instance では %n
(domain IntervalFn 2 ConstantQuantity) Merge.kif 6584-6584 IntervalFn の数値 2 引数は 一定量instance では %n
(domain arableLandArea 2 ConstantQuantity) Geography.kif 2073-2073 arableLandArea の数値 2 引数は 一定量instance では %n
(domain averagePrecipitationForPeriod 3 ConstantQuantity) Weather.kif 1222-1222 averagePrecipitationForPeriod の数値 3 引数は 一定量instance では %n
(domain capacity 2 ConstantQuantity) Mid-level-ontology.kif 6682-6682 capacity の数値 2 引数は 一定量instance では %n
(domain distanceOnPath 1 ConstantQuantity) Mid-level-ontology.kif 24362-24362 distanceOnPath の数値 1 引数は 一定量instance では %n
(domain hearingAcuity 2 ConstantQuantity) Medicine.kif 1737-1737 hearingAcuity の数値 2 引数は 一定量instance では %n
(domain hearingAcuity 3 ConstantQuantity) Medicine.kif 1738-1738 hearingAcuity の数値 3 引数は 一定量instance では %n
(domain highAltitudeWindSpeed 2 ConstantQuantity) Weather.kif 263-263 highAltitudeWindSpeed の数値 2 引数は 一定量instance では %n
(domain hostJitter 2 ConstantQuantity) QoSontology.kif 2130-2130 hostJitter の数値 2 引数は 一定量instance では %n
(domain irrigatedLandArea 2 ConstantQuantity) Geography.kif 2210-2210 irrigatedLandArea の数値 2 引数は 一定量instance では %n
(domain loudness 2 ConstantQuantity) Mid-level-ontology.kif 13729-13729 loudness の数値 2 引数は 一定量instance では %n
(domain measurementReading 2 ConstantQuantity) Mid-level-ontology.kif 2937-2937 measurementReading の数値 2 引数は 一定量instance では %n
(domain mediumAltitudeWindSpeed 2 ConstantQuantity) Weather.kif 240-240 mediumAltitudeWindSpeed の数値 2 引数は 一定量instance では %n
(domain memorySize 2 ConstantQuantity) QoSontology.kif 1663-1663 memorySize の数値 2 引数は 一定量instance では %n
(domain otherLandUseArea 2 ConstantQuantity) Geography.kif 2156-2156 otherLandUseArea の数値 2 引数は 一定量instance では %n
(domain permanentCropLandArea 2 ConstantQuantity) Geography.kif 2117-2117 permanentCropLandArea の数値 2 引数は 一定量instance では %n
(domain precipitationAmount 2 ConstantQuantity) Weather.kif 1213-1213 precipitationAmount の数値 2 引数は 一定量instance では %n
(domain qoSSlack 2 ConstantQuantity) QoSontology.kif 1195-1195 qoSSlack の数値 2 引数は 一定量instance では %n
(domain qoSSlack 3 ConstantQuantity) QoSontology.kif 1196-1196 qoSSlack の数値 3 引数は 一定量instance では %n
(domain seaSurfaceTemperature 2 ConstantQuantity) Weather.kif 976-976 seaSurfaceTemperature の数値 2 引数は 一定量instance では %n
(domain totalPrecipitationForPeriod 3 ConstantQuantity) Weather.kif 1231-1231 totalPrecipitationForPeriod の数値 3 引数は 一定量instance では %n

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


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


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