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）都是 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 2043-2061
(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 2041-2041 一定量 は 物理量 の subclass では

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


(partition PhysicalQuantity ConstantQuantity FunctionQuantity) Merge.kif 2022-2022 物理量 は 一定量 + 関数量 に exhaustively partitioned
(range CPUUtilizationFn ConstantQuantity) QoSontology.kif 1429-1429 CPUUtilizationFn の range は 一定量 のインスタンス では
(range JankaHardnessFn ConstantQuantity) Mid-level-ontology.kif 10395-10395 JankaHardnessFn の range は 一定量 のインスタンス では
(rangeSubclass IntervalFn ConstantQuantity) Merge.kif 6595-6595 IntervalFn が返す値は 一定量 の subclasses では
(subclass AngleMeasure ConstantQuantity) Merge.kif 6323-6323 角度測定 は 一定量 の subclass では
(subclass CurrencyMeasure ConstantQuantity) Merge.kif 6311-6311 通貨測定 は 一定量 の subclass では
(subclass InformationMeasure ConstantQuantity) Merge.kif 7440-7440 情報測定 は 一定量 の subclass では
(subclass LengthMeasure ConstantQuantity) Merge.kif 6252-6252 長さ測定 は 一定量 の subclass では
(subclass MassMeasure ConstantQuantity) Merge.kif 6263-6263 質量測定 は 一定量 の subclass では
(subclass NonCompositeUnitOfMeasure ConstantQuantity) Merge.kif 6226-6226 NonCompositeUnitOfMeasure は 一定量 の subclass では
(subclass RadiationMeasure ConstantQuantity) MilitaryProcesses.kif 849-849 RadiationMeasure は 一定量 の subclass では
(subclass TemperatureMeasure ConstantQuantity) Merge.kif 6299-6299 温度測定 は 一定量 の subclass では
(subclass TimeMeasure ConstantQuantity) Merge.kif 2063-2063 時間測定 は 一定量 の subclass では
(termFormat ChineseLanguage ConstantQuantity "恒量") chinese_format.kif 876-876 時間測定 は 一定量 の subclass では
(termFormat EnglishLanguage ConstantQuantity "constant quantity") english_format.kif 954-954 時間測定 は 一定量 の subclass では
(termFormat FrenchLanguage ConstantQuantity "quantit� constante") french_format.kif 552-552 時間測定 は 一定量 の subclass では
(termFormat Hindi ConstantQuantity "sthira parimaaNa") terms-hindi.txt 82-82 時間測定 は 一定量 の subclass では
(termFormat ItalianLanguage ConstantQuantity "Quantit�Costante") terms-it.txt 85-85 時間測定 は 一定量 の subclass では
(termFormat JapaneseLanguage ConstantQuantity "一定量") japanese_format.kif 2237-2237 時間測定 は 一定量 の subclass では
(termFormat PortugueseLanguage ConstantQuantity "Quantidade Constante") portuguese_format.kif 504-504 時間測定 は 一定量 の subclass では
(termFormat cz ConstantQuantity "constant quantity") terms-cz.txt 119-119 時間測定 は 一定量 の subclass では
(termFormat de ConstantQuantity "konstante Quantitaet") terms-de.txt 378-378 時間測定 は 一定量 の subclass では
(termFormat ro ConstantQuantity "constantã de cantitate") relations-ro.kif 573-573 時間測定 は 一定量 の subclass では
(termFormat tg ConstantQuantity "tuloy-tuloy ang dami") terms-tg.txt 86-86 時間測定 は 一定量 の subclass では

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 6593-6593 IntervalFn の数値 1 引数は 一定量 の instance では
(domain IntervalFn 2 ConstantQuantity) Merge.kif 6594-6594 IntervalFn の数値 2 引数は 一定量 の instance では
(domain arableLandArea 2 ConstantQuantity) Geography.kif 2061-2061 arableLandArea の数値 2 引数は 一定量 の instance では
(domain averagePrecipitationForPeriod 3 ConstantQuantity) Weather.kif 1457-1457 averagePrecipitationForPeriod の数値 3 引数は 一定量 の instance では
(domain capacity 2 ConstantQuantity) Mid-level-ontology.kif 7619-7619 capacity の数値 2 引数は 一定量 の instance では
(domain distanceOnPath 1 ConstantQuantity) Mid-level-ontology.kif 26026-26026 distanceOnPath の数値 1 引数は 一定量 の instance では
(domain hearingAcuity 2 ConstantQuantity) Medicine.kif 1730-1730 hearingAcuity の数値 2 引数は 一定量 の instance では
(domain hearingAcuity 3 ConstantQuantity) Medicine.kif 1731-1731 hearingAcuity の数値 3 引数は 一定量 の instance では
(domain highAltitudeWindSpeed 2 ConstantQuantity) Weather.kif 251-251 highAltitudeWindSpeed の数値 2 引数は 一定量 の instance では
(domain hostJitter 2 ConstantQuantity) QoSontology.kif 2262-2262 hostJitter の数値 2 引数は 一定量 の instance では
(domain irrigatedLandArea 2 ConstantQuantity) Geography.kif 2198-2198 irrigatedLandArea の数値 2 引数は 一定量 の instance では
(domain loudness 2 ConstantQuantity) Mid-level-ontology.kif 15100-15100 loudness の数値 2 引数は 一定量 の instance では
(domain measurementReading 2 ConstantQuantity) Mid-level-ontology.kif 3400-3400 measurementReading の数値 2 引数は 一定量 の instance では
(domain mediumAltitudeWindSpeed 2 ConstantQuantity) Weather.kif 228-228 mediumAltitudeWindSpeed の数値 2 引数は 一定量 の instance では
(domain memorySize 2 ConstantQuantity) QoSontology.kif 1794-1794 memorySize の数値 2 引数は 一定量 の instance では
(domain otherLandUseArea 2 ConstantQuantity) Geography.kif 2144-2144 otherLandUseArea の数値 2 引数は 一定量 の instance では
(domain permanentCropLandArea 2 ConstantQuantity) Geography.kif 2105-2105 permanentCropLandArea の数値 2 引数は 一定量 の instance では
(domain precipitationAmount 2 ConstantQuantity) Weather.kif 1448-1448 precipitationAmount の数値 2 引数は 一定量 の instance では
(domain qoSSlack 2 ConstantQuantity) QoSontology.kif 1304-1304 qoSSlack の数値 2 引数は 一定量 の instance では
(domain qoSSlack 3 ConstantQuantity) QoSontology.kif 1305-1305 qoSSlack の数値 3 引数は 一定量 の instance では
(domain seaSurfaceTemperature 2 ConstantQuantity) Weather.kif 1211-1211 seaSurfaceTemperature の数値 2 引数は 一定量 の instance では
(domain totalPrecipitationForPeriod 3 ConstantQuantity) Weather.kif 1466-1466 totalPrecipitationForPeriod の数値 3 引数は 一定量 の instance では

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 18692-18708