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 6322-6324 | |
(documentation UnitOfTemperature JapaneseLanguage "この Class のすべてのインスタンスは、 UnitOfMeasureで、MeasureFn と共に TemperatureMeasure のインスタンスを形成するのに使用で きる。") | japanese_format.kif 1104-1106 | |
(subclass UnitOfTemperature NonCompositeUnitOfMeasure) | Merge.kif 6320-6320 | UnitOfTemperature 是 NonCompositeUnitOfMeasure 的 subclass |
appearance as argument number 2 |
![]() |
(instance CelsiusDegree UnitOfTemperature) | Merge.kif 7026-7026 | 摄氏度 是 UnitOfTemperature 的 instance |
(instance FahrenheitDegree UnitOfTemperature) | Merge.kif 7364-7364 | 华氏度 是 UnitOfTemperature 的 instance |
(instance KelvinDegree UnitOfTemperature) | Merge.kif 6757-6757 | 凯文度 是 UnitOfTemperature 的 instance |
(instance RankineDegree UnitOfTemperature) | Merge.kif 7354-7354 | 兰金度 是 UnitOfTemperature 的 instance |
(termFormat EnglishLanguage UnitOfTemperature "unit of temperature") | domainEnglishFormat.kif 65655-65655 | 兰金度 是 UnitOfTemperature 的 instance |
antecedent |
![]() |
consequent |
![]() |
(=> (and (immediateInstance ?X ?CLASS) (immediateInstance ?Y ?CLASS) (attribute ?X ColdTemperature) (attribute ?Y HotTemperature)) (exists (?TEMPX ?TEMPY ?UNIT) (and (measure ?X (MeasureFn ?TEMPX ?UNIT)) (instance ?UNIT UnitOfTemperature) (instance ?TEMPX TemperatureMeasure) (measure ?Y (MeasureFn ?TEMPY ?UNIT)) (instance ?TEMPY TemperatureMeasure) (greaterThan ?TEMPY ?TEMPX)))) |
Mid-level-ontology.kif 27620-27635 |
|
![]() |
![]() |