UnitOfTemperature(unit of temperature) |
appearance as argument number 1 |
(documentation UnitOfTemperature ChineseLanguage "这个 Class 所有的实例都是可以用 MeasureFn 来组成 TemperatureMeasure 实例的 UnitOfMeasure。") | chinese_format.kif 2417-2418 | |
(documentation UnitOfTemperature EnglishLanguage "Every instance of this Class is a UnitOfMeasure that can be used with MeasureFn to form instances of TemperatureMeasure.") | Merge.kif 6298-6300 | |
(documentation UnitOfTemperature JapaneseLanguage "この Class のすべてのインスタンスは、 UnitOfMeasureで、MeasureFn と共に TemperatureMeasure のインスタンスを形成するのに使用で きる。") | japanese_format.kif 1104-1106 | |
(subclass UnitOfTemperature NonCompositeUnitOfMeasure) | Merge.kif 6296-6296 | Unit of temperature is a subclass of non composite unit of measure |
appearance as argument number 2 |
(instance CelsiusDegree UnitOfTemperature) | Merge.kif 7002-7002 | Celsius degree is an instance of unit of temperature |
(instance FahrenheitDegree UnitOfTemperature) | Merge.kif 7321-7321 | Fahrenheit degree is an instance of unit of temperature |
(instance KelvinDegree UnitOfTemperature) | Merge.kif 6733-6733 | Kelvin degree is an instance of unit of temperature |
(instance RankineDegree UnitOfTemperature) | Merge.kif 7311-7311 | Rankine degree is an instance of unit of temperature |
(termFormat EnglishLanguage UnitOfTemperature "unit of temperature") | domainEnglishFormat.kif 65663-65663 |
antecedent |
consequent |