airTemperature |
appearance as argument number 1 |
(documentation airTemperature EnglishLanguage "(airTemperature ?AREA ?TEMP) means that the temperature of the air at ?AREA is ?TEMP. Temperature may be expressed in units of TemperatureMeasure, including CelsiusDegree and FahrenheitDegree, among others.") | Mid-level-ontology.kif 25709-25713 | |
(domain airTemperature 1 Object) | Mid-level-ontology.kif 25706-25706 | The number 1 argument of air temperature is an instance of object |
(domain airTemperature 2 TemperatureMeasure) | Mid-level-ontology.kif 25707-25707 | The number 2 argument of air temperature is an instance of temperature measure |
(instance airTemperature BinaryPredicate) | Mid-level-ontology.kif 25705-25705 | air temperature is an instance of binary predicate |
(subrelation airTemperature measure) | Mid-level-ontology.kif 25708-25708 | air temperature is a subrelation of measure |
appearance as argument number 2 |
(format ChineseLanguage airTemperature "%2 %n 是 %1 的 air 温度") | domainEnglishFormat.kif 120-120 | |
(format ChineseTraditionalLanguage airTemperature "%2 %n 是 %1 的 air 溫度") | domainEnglishFormat.kif 119-119 | |
(format EnglishLanguage airTemperature "%2 is %n an air temperature of %1") | domainEnglishFormat.kif 118-118 | |
(termFormat ChineseLanguage airTemperature "气温") | domainEnglishFormat.kif 6282-6282 | |
(termFormat ChineseTraditionalLanguage airTemperature "氣溫") | domainEnglishFormat.kif 6281-6281 | |
(termFormat EnglishLanguage airTemperature "air temperature") | domainEnglishFormat.kif 6280-6280 |
antecedent |
consequent |