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


KB Term:  Term intersection
English Word: 

Sigma KEE - ConstantQuantity
ConstantQuantity(quantit� constante)
more pictures...

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 2083-2101
(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 2081-2081 Quantit� constante est une sous-classe de quantit� physique

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


(partition PhysicalQuantity ConstantQuantity FunctionQuantity) Merge.kif 2062-2062 Quantit� physique est compl�tement d�compos� en quantit� constante + function de quantit�
(range CPUUtilizationFn ConstantQuantity) QoSontology.kif 1429-1429 Le domaine de CPUUtilizationFn est une instance de quantit� constante
(range JankaHardnessFn ConstantQuantity) Mid-level-ontology.kif 10390-10390 Le domaine de JankaHardnessFn est une instance de quantit� constante
(rangeSubclass IntervalFn ConstantQuantity) Merge.kif 6635-6635 Les valeurs retourn�es par IntervalFn sont des sous-classes de quantit� constante
(subclass AngleMeasure ConstantQuantity) Merge.kif 6363-6363 Mesure d'angle est une sous-classe de quantit� constante
(subclass CurrencyMeasure ConstantQuantity) Merge.kif 6351-6351 Mesure de devise est une sous-classe de quantit� constante
(subclass InformationMeasure ConstantQuantity) Merge.kif 7480-7480 Mesure d'information est une sous-classe de quantit� constante
(subclass LengthMeasure ConstantQuantity) Merge.kif 6292-6292 Mesure de longueur est une sous-classe de quantit� constante
(subclass MassMeasure ConstantQuantity) Merge.kif 6303-6303 Mesure de masse est une sous-classe de quantit� constante
(subclass NonCompositeUnitOfMeasure ConstantQuantity) Merge.kif 6266-6266 NonCompositeUnitOfMeasure est une sous-classe de quantit� constante
(subclass RadiationMeasure ConstantQuantity) MilitaryProcesses.kif 849-849 RadiationMeasure est une sous-classe de quantit� constante
(subclass TemperatureMeasure ConstantQuantity) Merge.kif 6339-6339 Mesure de temperature est une sous-classe de quantit� constante
(subclass TimeMeasure ConstantQuantity) Merge.kif 2103-2103 Mesure temporel est une sous-classe de quantit� constante
(termFormat ChineseLanguage ConstantQuantity "恒量") chinese_format.kif 876-876 Mesure temporel est une sous-classe de quantit� constante
(termFormat EnglishLanguage ConstantQuantity "constant quantity") english_format.kif 954-954 Mesure temporel est une sous-classe de quantit� constante
(termFormat FrenchLanguage ConstantQuantity "quantit� constante") french_format.kif 552-552 Mesure temporel est une sous-classe de quantit� constante
(termFormat Hindi ConstantQuantity "sthira parimaaNa") terms-hindi.txt 82-82 Mesure temporel est une sous-classe de quantit� constante
(termFormat ItalianLanguage ConstantQuantity "Quantit�Costante") terms-it.txt 85-85 Mesure temporel est une sous-classe de quantit� constante
(termFormat JapaneseLanguage ConstantQuantity "一定量") japanese_format.kif 2237-2237 Mesure temporel est une sous-classe de quantit� constante
(termFormat PortugueseLanguage ConstantQuantity "Quantidade Constante") portuguese_format.kif 504-504 Mesure temporel est une sous-classe de quantit� constante
(termFormat cz ConstantQuantity "constant quantity") terms-cz.txt 119-119 Mesure temporel est une sous-classe de quantit� constante
(termFormat de ConstantQuantity "konstante Quantitaet") terms-de.txt 378-378 Mesure temporel est une sous-classe de quantit� constante
(termFormat ro ConstantQuantity "constantã de cantitate") relations-ro.kif 573-573 Mesure temporel est une sous-classe de quantit� constante
(termFormat tg ConstantQuantity "tuloy-tuloy ang dami") terms-tg.txt 86-86 Mesure temporel est une sous-classe de quantit� constante

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(domain IntervalFn 1 ConstantQuantity) Merge.kif 6633-6633 Le nombre 1 argument de IntervalFn est une instance de quantit� constante
(domain IntervalFn 2 ConstantQuantity) Merge.kif 6634-6634 Le nombre 2 argument de IntervalFn est une instance de quantit� constante
(domain arableLandArea 2 ConstantQuantity) Geography.kif 3465-3465 Le nombre 2 argument de arableLandArea est une instance de quantit� constante
(domain averagePrecipitationForPeriod 3 ConstantQuantity) Weather.kif 1915-1915 Le nombre 3 argument de averagePrecipitationForPeriod est une instance de quantit� constante
(domain capacity 2 ConstantQuantity) Mid-level-ontology.kif 7615-7615 Le nombre 2 argument de capacity est une instance de quantit� constante
(domain distanceOnPath 1 ConstantQuantity) Mid-level-ontology.kif 26015-26015 Le nombre 1 argument de distanceOnPath est une instance de quantit� constante
(domain hearingAcuity 2 ConstantQuantity) Medicine.kif 1730-1730 Le nombre 2 argument de hearingAcuity est une instance de quantit� constante
(domain hearingAcuity 3 ConstantQuantity) Medicine.kif 1731-1731 Le nombre 3 argument de hearingAcuity est une instance de quantit� constante
(domain highAltitudeWindSpeed 2 ConstantQuantity) Weather.kif 251-251 Le nombre 2 argument de highAltitudeWindSpeed est une instance de quantit� constante
(domain hostJitter 2 ConstantQuantity) QoSontology.kif 2262-2262 Le nombre 2 argument de hostJitter est une instance de quantit� constante
(domain irrigatedLandArea 2 ConstantQuantity) Geography.kif 3602-3602 Le nombre 2 argument de irrigatedLandArea est une instance de quantit� constante
(domain loudness 2 ConstantQuantity) Mid-level-ontology.kif 15090-15090 Le nombre 2 argument de loudness est une instance de quantit� constante
(domain measurementReading 2 ConstantQuantity) Mid-level-ontology.kif 3400-3400 Le nombre 2 argument de measurementReading est une instance de quantit� constante
(domain mediumAltitudeWindSpeed 2 ConstantQuantity) Weather.kif 228-228 Le nombre 2 argument de mediumAltitudeWindSpeed est une instance de quantit� constante
(domain memorySize 2 ConstantQuantity) QoSontology.kif 1794-1794 Le nombre 2 argument de memorySize est une instance de quantit� constante
(domain otherLandUseArea 2 ConstantQuantity) Geography.kif 3548-3548 Le nombre 2 argument de otherLandUseArea est une instance de quantit� constante
(domain permanentCropLandArea 2 ConstantQuantity) Geography.kif 3509-3509 Le nombre 2 argument de permanentCropLandArea est une instance de quantit� constante
(domain precipitationAmount 2 ConstantQuantity) Weather.kif 1906-1906 Le nombre 2 argument de precipitationAmount est une instance de quantit� constante
(domain qoSSlack 2 ConstantQuantity) QoSontology.kif 1304-1304 Le nombre 2 argument de qoSSlack est une instance de quantit� constante
(domain qoSSlack 3 ConstantQuantity) QoSontology.kif 1305-1305 Le nombre 3 argument de qoSSlack est une instance de quantit� constante
(domain totalPrecipitationForPeriod 3 ConstantQuantity) Weather.kif 1924-1924 Le nombre 3 argument de totalPrecipitationForPeriod est une instance de quantit� constante

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