| KelvinDegree(凱文度) | |
| appearance as argument number 1 |
|
|
| (documentation KelvinDegree ChineseLanguage "这是一个国际单位制的 UnitOfMeasure，它和 MeasureFn 一起应用，来产生用来表示 TemperatureMeasure 实例的用语，符号：K。这是国际单位制中的一个 基本单位，(它也是智能运输系统的一个单位)。开尔文和摄氏的分别在于水的三相點定義為273.16 KelvinDegree， 而摄氏度则为 0 CelsiusDegree，两个温度单位中的间隔大小相同。按照定义，转换常数为273.15。") | chinese_format.kif 2500-2503 | |
| (documentation KelvinDegree EnglishLanguage "SI UnitOfMeasure used with MeasureFn to produce terms denoting instances of TemperatureMeasure. Symbol: K. It is one of the base units in SI (it is also a unit in the ITS system). Kelvin differs from the Celsius scale in that the triple point of water is defined to be 273.16 KelvinDegrees while it is 0 CelsiusDegrees. The magnitudes of intervals in the two scales are the same. By definition the conversion constant is 273.15.") | Merge.kif 6735-6742 | |
| (documentation KelvinDegree JapaneseLanguage "SI UnitOfMeasure は TemperatureMeasure の インスタンスを示す用語を生成するために MeasureFn と共に使用される。シンボル: K。これは SI の基 本単位の１つである (ITS システムの単位でもある)。ケルビンは摂氏の尺度とは異なり、水のトリプルポイ ントは６２７３.１６ KelvinDegree で、CelsiusDegrees は 0 CelsiusDegree と定義されてい る。２つの縮尺の間隔の大きさは同じである。定義上、変換定数は ２７３.１５である。") | japanese_format.kif 1197-1201 | |
| (instance KelvinDegree SystemeInternationalUnit) | Merge.kif 6733-6733 | 例 凱文度 and SystemeInternationalUnit |
| (instance KelvinDegree UnitOfTemperature) | Merge.kif 6732-6732 | 例 凱文度 and UnitOfTemperature |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage KelvinDegree "凯文度") | domainEnglishFormat.kif 32293-32293 | |
| (termFormat ChineseTraditionalLanguage KelvinDegree "凱文度") | domainEnglishFormat.kif 32292-32292 | |
| (termFormat EnglishLanguage KelvinDegree "kelvin degree") | domainEnglishFormat.kif 32291-32291 |
| antecedent |
|
|
| consequent |
|
|
| (<=> (and (instance ?X Region) (holdsDuring ?T (property ?X StandardAmbientTemperaturePressure))) (holdsDuring ?T (and (airTemperature ?X (MeasureFn 298.15 KelvinDegree)) (barometricPressure ?X (MeasureFn 29.530 InchMercury))))) |
Weather.kif 2680-2690 | 例 Entity and Region 持有期間 TimePosition and 屬性 Entity and StandardAmbientTemperaturePressure 持有期間 TimePosition and 測量 298.15 and 凱文度 是 Entity 的 air 溫度 測量 29.530 and 英寸汞 是 Entity 的 barometric 壓力 |
| statement |
|
|
| (boilingPoint Actinium (MeasureFn 3470.0 KelvinDegree)) |
Mid-level-ontology.kif 29358-29358 | 測量 3470.0 and 凱文度 是 錒 的 boiling 點 |
| (boilingPoint Aluminum (MeasureFn 2740.0 KelvinDegree)) |
Mid-level-ontology.kif 29206-29206 | 測量 2740.0 and 凱文度 是 鋁 的 boiling 點 |
| (boilingPoint Americium (MeasureFn 2880.0 KelvinDegree)) |
Mid-level-ontology.kif 29370-29370 | 測量 2880.0 and 凱文度 是 銤 的 boiling 點 |
| (boilingPoint Antimony (MeasureFn 2023.0 KelvinDegree)) |
Mid-level-ontology.kif 29282-29282 | 測量 2023.0 and 凱文度 是 銻 的 boiling 點 |
| (boilingPoint Argon (MeasureFn 87.29 KelvinDegree)) |
Mid-level-ontology.kif 29216-29216 | 測量 87.29 and 凱文度 是 氬 的 boiling 點 |
| (boilingPoint Arsenic (MeasureFn 886.0 KelvinDegree)) |
Mid-level-ontology.kif 29246-29246 | 測量 886.0 and 凱文度 是 砷 的 boiling 點 |
| (boilingPoint Astatine (MeasureFn 610.0 KelvinDegree)) |
Mid-level-ontology.kif 29350-29350 | 測量 610.0 and 凱文度 是 砹 的 boiling 點 |
| (boilingPoint Barium (MeasureFn 1913.0 KelvinDegree)) |
Mid-level-ontology.kif 29292-29292 | 測量 1913.0 and 凱文度 是 鋇 的 boiling 點 |
| (boilingPoint Beryllium (MeasureFn 3243.0 KelvinDegree)) |
Mid-level-ontology.kif 29188-29188 | 測量 3243.0 and 凱文度 是 鈹 的 boiling 點 |
| (boilingPoint Bismuth (MeasureFn 1833.0 KelvinDegree)) |
Mid-level-ontology.kif 29346-29346 | 測量 1833.0 and 凱文度 是 鉍 的 boiling 點 |
| (boilingPoint Boron (MeasureFn 2823.0 KelvinDegree)) |
Mid-level-ontology.kif 29190-29190 | 測量 2823.0 and 凱文度 是 硼 的 boiling 點 |
| (boilingPoint Bromine (MeasureFn 331.93 KelvinDegree)) |
Mid-level-ontology.kif 29250-29250 | 測量 331.93 and 凱文度 是 溴 的 boiling 點 |
| (boilingPoint Cadmium (MeasureFn 1038.0 KelvinDegree)) |
Mid-level-ontology.kif 29276-29276 | 測量 1038.0 and 凱文度 是 鎘 的 boiling 點 |
| (boilingPoint Caesium (MeasureFn 963.0 KelvinDegree)) |
Mid-level-ontology.kif 29290-29290 | 測量 963.0 and 凱文度 是 銫 的 boiling 點 |
| (boilingPoint Calcium (MeasureFn 1760.0 KelvinDegree)) |
Mid-level-ontology.kif 29220-29220 | 測量 1760.0 and 凱文度 是 鈣 的 boiling 點 |
| (boilingPoint Carbon (MeasureFn 5100.0 KelvinDegree)) |
Mid-level-ontology.kif 29192-29192 | 測量 5100.0 and 凱文度 是 碳 的 boiling 點 |
| (boilingPoint Cerium (MeasureFn 3530.0 KelvinDegree)) |
Mid-level-ontology.kif 29296-29296 | 測量 3530.0 and 凱文度 是 鈰 的 boiling 點 |
| (boilingPoint Chlorine (MeasureFn 238.55 KelvinDegree)) |
Mid-level-ontology.kif 29214-29214 | 測量 238.55 and 凱文度 是 氯 的 boiling 點 |
| (boilingPoint Chromium (MeasureFn 2755.0 KelvinDegree)) |
Mid-level-ontology.kif 29228-29228 | 測量 2755.0 and 凱文度 是 鉻 的 boiling 點 |
| (boilingPoint Cobalt (MeasureFn 3143.0 KelvinDegree)) |
Mid-level-ontology.kif 29234-29234 | 測量 3143.0 and 凱文度 是 鈷 的 boiling 點 |
| (boilingPoint Copper (MeasureFn 2868.0 KelvinDegree)) |
Mid-level-ontology.kif 29238-29238 | 測量 2868.0 and 凱文度 是 銅 的 boiling 點 |
| (boilingPoint Dysprosium (MeasureFn 2608.0 KelvinDegree)) |
Mid-level-ontology.kif 29312-29312 | 測量 2608.0 and 凱文度 是 鏑 的 boiling 點 |
| (boilingPoint Erbium (MeasureFn 2783.0 KelvinDegree)) |
Mid-level-ontology.kif 29316-29316 | 測量 2783.0 and 凱文度 是 鉺 的 boiling 點 |
| (boilingPoint Europium (MeasureFn 1870.0 KelvinDegree)) |
Mid-level-ontology.kif 29306-29306 | 測量 1870.0 and 凱文度 是 銪 的 boiling 點 |
| (boilingPoint Fluorine (MeasureFn 85.01 KelvinDegree)) |
Mid-level-ontology.kif 29198-29198 | 測量 85.01 and 凱文度 是 氟 的 boiling 點 |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|