| 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 6745-6752 | |
| (documentation KelvinDegree JapaneseLanguage "SI UnitOfMeasure は TemperatureMeasure の インスタンスを示す用語を生成するために MeasureFn と共に使用される。シンボル: K。これは SI の基 本単位の１つである (ITS システムの単位でもある)。ケルビンは摂氏の尺度とは異なり、水のトリプルポイ ントは６２７３.１６ KelvinDegree で、CelsiusDegrees は 0 CelsiusDegree と定義されてい る。２つの縮尺の間隔の大きさは同じである。定義上、変換定数は ２７３.１５である。") | japanese_format.kif 1197-1201 | |
| (instance KelvinDegree SystemeInternationalUnit) | Merge.kif 6743-6743 | KelvinDegree est une instance de syst�me d'unit� international |
| (instance KelvinDegree UnitOfTemperature) | Merge.kif 6742-6742 | KelvinDegree est une instance de UnitOfTemperature |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage KelvinDegree "凯文度") | domainEnglishFormat.kif 32304-32304 | |
| (termFormat ChineseTraditionalLanguage KelvinDegree "凱文度") | domainEnglishFormat.kif 32303-32303 | |
| (termFormat EnglishLanguage KelvinDegree "kelvin degree") | domainEnglishFormat.kif 32302-32302 |
| 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 3196-3206 | Entit� est une instance de r�gion entit� a un attribute StandardAmbientTemperaturePressure pendant position temporel airTemperature entit� and 298.15 KelvinDegree(s) barometricPressure entit� and 29.530 InchMercury(s) pendant position temporel |
| statement |
|
|
|
|
|