|
|
   ConstantQuantity
|
|
|
| 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 2047-2065 | |
| (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 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 | ConstantQuantity ist eine teilkategorie von PhysicalQuantity |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain IntervalFn 1 ConstantQuantity) | Merge.kif 6583-6583 | Die Zahl 1 Argument von IntervalFn ist ein fall von ConstantQuantity %n{nicht} |
| (domain IntervalFn 2 ConstantQuantity) | Merge.kif 6584-6584 | Die Zahl 2 Argument von IntervalFn ist ein fall von ConstantQuantity %n{nicht} |
| (domain arableLandArea 2 ConstantQuantity) | Geography.kif 2073-2073 | Die Zahl 2 Argument von arableLandArea ist ein fall von ConstantQuantity %n{nicht} |
| (domain averagePrecipitationForPeriod 3 ConstantQuantity) | Weather.kif 1222-1222 | Die Zahl 3 Argument von averagePrecipitationForPeriod ist ein fall von ConstantQuantity %n{nicht} |
| (domain capacity 2 ConstantQuantity) | Mid-level-ontology.kif 6682-6682 | Die Zahl 2 Argument von capacity ist ein fall von ConstantQuantity %n{nicht} |
| (domain distanceOnPath 1 ConstantQuantity) | Mid-level-ontology.kif 24362-24362 | Die Zahl 1 Argument von distanceOnPath ist ein fall von ConstantQuantity %n{nicht} |
| (domain hearingAcuity 2 ConstantQuantity) | Medicine.kif 1737-1737 | Die Zahl 2 Argument von hearingAcuity ist ein fall von ConstantQuantity %n{nicht} |
| (domain hearingAcuity 3 ConstantQuantity) | Medicine.kif 1738-1738 | Die Zahl 3 Argument von hearingAcuity ist ein fall von ConstantQuantity %n{nicht} |
| (domain highAltitudeWindSpeed 2 ConstantQuantity) | Weather.kif 263-263 | Die Zahl 2 Argument von highAltitudeWindSpeed ist ein fall von ConstantQuantity %n{nicht} |
| (domain hostJitter 2 ConstantQuantity) | QoSontology.kif 2130-2130 | Die Zahl 2 Argument von hostJitter ist ein fall von ConstantQuantity %n{nicht} |
| (domain irrigatedLandArea 2 ConstantQuantity) | Geography.kif 2210-2210 | Die Zahl 2 Argument von irrigatedLandArea ist ein fall von ConstantQuantity %n{nicht} |
| (domain loudness 2 ConstantQuantity) | Mid-level-ontology.kif 13729-13729 | Die Zahl 2 Argument von loudness ist ein fall von ConstantQuantity %n{nicht} |
| (domain measurementReading 2 ConstantQuantity) | Mid-level-ontology.kif 2937-2937 | Die Zahl 2 Argument von measurementReading ist ein fall von ConstantQuantity %n{nicht} |
| (domain mediumAltitudeWindSpeed 2 ConstantQuantity) | Weather.kif 240-240 | Die Zahl 2 Argument von mediumAltitudeWindSpeed ist ein fall von ConstantQuantity %n{nicht} |
| (domain memorySize 2 ConstantQuantity) | QoSontology.kif 1663-1663 | Die Zahl 2 Argument von memorySize ist ein fall von ConstantQuantity %n{nicht} |
| (domain otherLandUseArea 2 ConstantQuantity) | Geography.kif 2156-2156 | Die Zahl 2 Argument von otherLandUseArea ist ein fall von ConstantQuantity %n{nicht} |
| (domain permanentCropLandArea 2 ConstantQuantity) | Geography.kif 2117-2117 | Die Zahl 2 Argument von permanentCropLandArea ist ein fall von ConstantQuantity %n{nicht} |
| (domain precipitationAmount 2 ConstantQuantity) | Weather.kif 1213-1213 | Die Zahl 2 Argument von precipitationAmount ist ein fall von ConstantQuantity %n{nicht} |
| (domain qoSSlack 2 ConstantQuantity) | QoSontology.kif 1195-1195 | Die Zahl 2 Argument von qoSSlack ist ein fall von ConstantQuantity %n{nicht} |
| (domain qoSSlack 3 ConstantQuantity) | QoSontology.kif 1196-1196 | Die Zahl 3 Argument von qoSSlack ist ein fall von ConstantQuantity %n{nicht} |
| (domain seaSurfaceTemperature 2 ConstantQuantity) | Weather.kif 976-976 | Die Zahl 2 Argument von seaSurfaceTemperature ist ein fall von ConstantQuantity %n{nicht} |
| (domain totalPrecipitationForPeriod 3 ConstantQuantity) | Weather.kif 1231-1231 | Die Zahl 3 Argument von totalPrecipitationForPeriod ist ein fall von ConstantQuantity %n{nicht} |
| consequent |
|
|
| (=> (and (instance ?QUANT (MeasureFn ?N ?UNIT)) (instance ?UNIT NonCompositeUnitOfMeasure)) (instance ?QUANT ConstantQuantity)) |
Merge.kif 6231-6235 |
|
|
|
|
