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）都是 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 2058-2076
(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 9102-9102
(externalImage ConstantQuantity "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2a/ Pi_unrolled-720.gif") pictureList.kif 8436-8436
(externalImage ConstantQuantity "http://upload.wikimedia.org/wikipedia/commons/ 5/ 53/ Exponential.png") pictureList.kif 9105-9105
(externalImage ConstantQuantity "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7d/ LogisticMap_BifurcationDiagram.png") pictureList.kif 9106-9106
(externalImage ConstantQuantity "http://upload.wikimedia.org/wikipedia/en/ 1/ 1a/ Different_constants_of_integration.jpg") pictureList.kif 9103-9103
(externalImage ConstantQuantity "http://upload.wikimedia.org/wikipedia/en/ c/ c5/ Euler_Mascheroni.jpg") pictureList.kif 9104-9104
(subclass ConstantQuantity PhysicalQuantity) Merge.kif 2056-2056 Constant quantity is a subclass of physical quantity

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


(partition PhysicalQuantity ConstantQuantity FunctionQuantity) Merge.kif 2037-2037 Physical quantity is exhaustively partitioned into constant quantity and function quantity
(range CPUUtilizationFn ConstantQuantity) QoSontology.kif 1429-1429 The range of CPUUtilizationFn is an instance of constant quantity
(range JankaHardnessFn ConstantQuantity) Mid-level-ontology.kif 10390-10390 The range of JankaHardnessFn is an instance of constant quantity
(rangeSubclass IntervalFn ConstantQuantity) Merge.kif 6610-6610 The values returned by IntervalFn are subclasses of constant quantity
(subclass AngleMeasure ConstantQuantity) Merge.kif 6338-6338 Angle measure is a subclass of constant quantity
(subclass CurrencyMeasure ConstantQuantity) Merge.kif 6326-6326 Currency measure is a subclass of constant quantity
(subclass InformationMeasure ConstantQuantity) Merge.kif 7455-7455 Information measure is a subclass of constant quantity
(subclass LengthMeasure ConstantQuantity) Merge.kif 6267-6267 Length measure is a subclass of constant quantity
(subclass MassMeasure ConstantQuantity) Merge.kif 6278-6278 Mass measure is a subclass of constant quantity
(subclass NonCompositeUnitOfMeasure ConstantQuantity) Merge.kif 6241-6241 NonCompositeUnitOfMeasure is a subclass of constant quantity
(subclass RadiationMeasure ConstantQuantity) MilitaryProcesses.kif 849-849 RadiationMeasure is a subclass of constant quantity
(subclass TemperatureMeasure ConstantQuantity) Merge.kif 6314-6314 Temperature measure is a subclass of constant quantity
(subclass TimeMeasure ConstantQuantity) Merge.kif 2078-2078 Time measure is a subclass of constant quantity
(termFormat ChineseLanguage ConstantQuantity "恒量") chinese_format.kif 876-876 Time measure is a subclass of constant quantity
(termFormat EnglishLanguage ConstantQuantity "constant quantity") english_format.kif 954-954 Time measure is a subclass of constant quantity
(termFormat FrenchLanguage ConstantQuantity "quantit� constante") french_format.kif 552-552 Time measure is a subclass of constant quantity
(termFormat Hindi ConstantQuantity "sthira parimaaNa") terms-hindi.txt 82-82 Time measure is a subclass of constant quantity
(termFormat ItalianLanguage ConstantQuantity "Quantit�Costante") terms-it.txt 85-85 Time measure is a subclass of constant quantity
(termFormat JapaneseLanguage ConstantQuantity "一定量") japanese_format.kif 2237-2237 Time measure is a subclass of constant quantity
(termFormat PortugueseLanguage ConstantQuantity "Quantidade Constante") portuguese_format.kif 504-504 Time measure is a subclass of constant quantity
(termFormat cz ConstantQuantity "constant quantity") terms-cz.txt 119-119 Time measure is a subclass of constant quantity
(termFormat de ConstantQuantity "konstante Quantitaet") terms-de.txt 378-378 Time measure is a subclass of constant quantity
(termFormat ro ConstantQuantity "constantã de cantitate") relations-ro.kif 573-573 Time measure is a subclass of constant quantity
(termFormat tg ConstantQuantity "tuloy-tuloy ang dami") terms-tg.txt 86-86 Time measure is a subclass of constant quantity

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


(domain IntervalFn 1 ConstantQuantity) Merge.kif 6608-6608 The number 1 argument of IntervalFn is an instance of constant quantity
(domain IntervalFn 2 ConstantQuantity) Merge.kif 6609-6609 The number 2 argument of IntervalFn is an instance of constant quantity
(domain arableLandArea 2 ConstantQuantity) Geography.kif 2750-2750 The number 2 argument of arableLandArea is an instance of constant quantity
(domain averagePrecipitationForPeriod 3 ConstantQuantity) Weather.kif 1457-1457 The number 3 argument of averagePrecipitationForPeriod is an instance of constant quantity
(domain capacity 2 ConstantQuantity) Mid-level-ontology.kif 7615-7615 The number 2 argument of capacity is an instance of constant quantity
(domain distanceOnPath 1 ConstantQuantity) Mid-level-ontology.kif 26012-26012 The number 1 argument of distanceOnPath is an instance of constant quantity
(domain hearingAcuity 2 ConstantQuantity) Medicine.kif 1730-1730 The number 2 argument of hearingAcuity is an instance of constant quantity
(domain hearingAcuity 3 ConstantQuantity) Medicine.kif 1731-1731 The number 3 argument of hearingAcuity is an instance of constant quantity
(domain highAltitudeWindSpeed 2 ConstantQuantity) Weather.kif 251-251 The number 2 argument of highAltitudeWindSpeed is an instance of constant quantity
(domain hostJitter 2 ConstantQuantity) QoSontology.kif 2262-2262 The number 2 argument of hostJitter is an instance of constant quantity
(domain irrigatedLandArea 2 ConstantQuantity) Geography.kif 2887-2887 The number 2 argument of irrigatedLandArea is an instance of constant quantity
(domain loudness 2 ConstantQuantity) Mid-level-ontology.kif 15090-15090 The number 2 argument of loudness is an instance of constant quantity
(domain measurementReading 2 ConstantQuantity) Mid-level-ontology.kif 3400-3400 The number 2 argument of measurementReading is an instance of constant quantity
(domain mediumAltitudeWindSpeed 2 ConstantQuantity) Weather.kif 228-228 The number 2 argument of mediumAltitudeWindSpeed is an instance of constant quantity
(domain memorySize 2 ConstantQuantity) QoSontology.kif 1794-1794 The number 2 argument of memorySize is an instance of constant quantity
(domain otherLandUseArea 2 ConstantQuantity) Geography.kif 2833-2833 The number 2 argument of otherLandUseArea is an instance of constant quantity
(domain permanentCropLandArea 2 ConstantQuantity) Geography.kif 2794-2794 The number 2 argument of permanentCropLandArea is an instance of constant quantity
(domain precipitationAmount 2 ConstantQuantity) Weather.kif 1448-1448 The number 2 argument of precipitationAmount is an instance of constant quantity
(domain qoSSlack 2 ConstantQuantity) QoSontology.kif 1304-1304 The number 2 argument of qoSSlack is an instance of constant quantity
(domain qoSSlack 3 ConstantQuantity) QoSontology.kif 1305-1305 The number 3 argument of qoSSlack is an instance of constant quantity
(domain seaSurfaceTemperature 2 ConstantQuantity) Weather.kif 1211-1211 The number 2 argument of seaSurfaceTemperature is an instance of constant quantity
(domain totalPrecipitationForPeriod 3 ConstantQuantity) Weather.kif 1466-1466 The number 3 argument of totalPrecipitationForPeriod is an instance of constant quantity

antecedent
-------------------------


(=>
    (and
        (resourceConsumption ?PROC ?QUANT)
        (instance ?QUANT ConstantQuantity)
        (resource ?PROC ?RES)
        (holdsDuring
            (BeginFn
                (WhenFn ?PROC))
            (measure ?RES
                (MeasureFn ?X ?U)))
        (holdsDuring
            (EndFn
                (WhenFn ?PROC))
            (measure ?RES
                (MeasureFn ?Y ?U))))
    (equal ?QUANT
        (MeasureFn
            (SubtractionFn ?X ?Y) ?U)))		 Mid-level-ontology.kif 18678-18694