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 6736-6743 | |
(documentation KelvinDegree JapaneseLanguage "SI UnitOfMeasure は TemperatureMeasure の インスタンスを示す用語を生成するために MeasureFn と共に使用される。シンボル: K。これは SI の基 本単位の1つである (ITS システムの単位でもある)。ケルビンは摂氏の尺度とは異なり、水のトリプルポイ ントは6273.16 KelvinDegree で、CelsiusDegrees は 0 CelsiusDegree と定義されてい る。2つの縮尺の間隔の大きさは同じである。定義上、変換定数は 273.15である。") | japanese_format.kif 1197-1201 | |
(instance KelvinDegree SystemeInternationalUnit) | Merge.kif 6734-6734 | KelvinDegree è un' istanza di Unit�DelSistemaInternazionaleDiMisurazione |
(instance KelvinDegree UnitOfTemperature) | Merge.kif 6733-6733 | KelvinDegree è un' istanza di 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 2663-2673 | Entit� è un' istanza di Regione Entit� ha un attributo StandardAmbientTemperaturePressure vales durante PosizioneTemporale airTemperature Entit� and 298.15 KelvinDegree(s barometricPressure Entit� and 29.530 InchMercury(s vales durante PosizioneTemporale |
statement |