UnitOfTemperature |
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 6209-6211 | |
(subclass UnitOfTemperature NonCompositeUnitOfMeasure) | Merge.kif 6207-6207 | UnitOfTemperature is a subclass of NonCompositeUnitOfMeasure |
appearance as argument number 2 |
![]() |
(instance CelsiusDegree UnitOfTemperature) | Merge.kif 6913-6913 | Celsius degree is an instance of UnitOfTemperature |
(instance FahrenheitDegree UnitOfTemperature) | Merge.kif 7232-7232 | Fahrenheit degree is an instance of UnitOfTemperature |
(instance KelvinDegree UnitOfTemperature) | Merge.kif 6644-6644 | Kelvin degree is an instance of UnitOfTemperature |
(instance RankineDegree UnitOfTemperature) | Merge.kif 7222-7222 | Rankine degree is an instance of UnitOfTemperature |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |