| CelsiusDegree
| | C, Celsius_scale, celsius_degree, centigrade_scale, degree_Celsius, degree_centigrade, international_scale, standard_temperature |
| appearance as argument number 1 |
|
|
| s__documentation(s__CelsiusDegree,s__ChineseLanguage,'这是一个 TemperatureMeasure，水的冰点和沸点 分别是 0 CelsiusDegree 和 100 CelsiusDegree。') | Merge.kif 7250-7251 | |
| s__documentation(s__CelsiusDegree,s__EnglishLanguage,'A TemperatureMeasure. The freezing point and the boiling point of water are, respectively, 0 CelsiusDegrees and 100 CelsiusDegrees.') | Merge.kif 7247-7249 | |
| s__externalImage(s__CelsiusDegree,'http://upload.wikimedia.org/wikipedia/commons/4/40/Grau_Celsius.PNG')
|
pictureList.kif 8412-8412 | |
| s__externalImage(s__CelsiusDegree,'http://upload.wikimedia.org/wikipedia/commons/thumb/c/c9/Raumthermometer_Fahrenheit%2BCelsius.jpg/597px-Raumthermometer_Fahrenheit%2BCelsius.jpg')
|
pictureList.kif 9046-9046 | |
| s__instance(s__SystemeInternationalUnit,s__SetOrClass)
|
Merge.kif 7246-7246 | |
| s__instance(s__UnitOfTemperature,s__SetOrClass)
|
Merge.kif 7245-7245 |
| appearance as argument number 2 |
|
|
| s__termFormat(s__EnglishLanguage,s__CelsiusDegree,'celsius degree')
|
domainEnglishFormat.kif 2707-2707 |
| antecedent |
|
|
| ( ! [V__AREA,V__MO,V__TEMP] : ((s__instance(V__AREA,s__DesertClimateZone) & s__subclass(V__MO,s__Month) & s__averageTemperatureForPeriod(V__AREA,V__MO,V__TEMP) & s__greaterThan(V__TEMP,s__MeasureFn(18,s__CelsiusDegree))) => s__instance(V__AREA,s__SubtropicalDesertClimateZone)) )
|
Geography.kif 1340-1346 | |
| ( ! [V__AREA,V__MO,V__TEMP] : ((s__instance(V__AREA,s__GeographicArea) & s__subclass(V__MO,s__Month) & s__averageTemperatureForPeriod(V__AREA,V__MO,V__TEMP) & s__greaterThan(s__MeasureFn(10,s__CelsiusDegree),V__TEMP)) => s__instance(V__AREA,s__PolarClimateZone)) )
|
Geography.kif 1518-1524 | |
| ( ! [V__ICE,V__NUMBER] : ((s__instance(V__ICE,s__Ice) & s__measure(V__ICE,s__MeasureFn(V__NUMBER,s__CelsiusDegree))) => s__lessThanOrEqualTo(V__NUMBER,0)) )
|
Mid-level-ontology.kif 8658-8662 | |
| ( ! [V__W,V__M,V__A,V__D] : ((s__instance(V__W,s__Water) & s__instance(V__M,s__Mixture) & s__part(V__W,V__M) & s__instance(V__A,s__Antifreeze) & s__part(V__A,V__M) & s__attribute(V__M,s__Solid) & s__measure(V__M,s__MeasureFn(V__D,s__CelsiusDegree))) => s__greaterThan(32,V__D)) )
|
Cars.kif 1223-1232 |
| consequent |
|
|
| ( ! [V__AREA,V__MO,V__TEMP] : ((s__instance(V__AREA,s__ColdClimateZone) & s__subclass(V__MO,s__Month) & s__averageTemperatureForPeriod(V__AREA,V__MO,V__TEMP)) => s__greaterThan(s__MeasureFn(10,s__CelsiusDegree),V__TEMP)) )
|
Geography.kif 1474-1479 | |
| ( ! [V__AREA,V__MO,V__TEMP] : ((s__instance(V__AREA,s__PolarClimateZone) & s__subclass(V__MO,s__Month) & s__averageTemperatureForPeriod(V__AREA,V__MO,V__TEMP)) => s__greaterThan(s__MeasureFn(10,s__CelsiusDegree),V__TEMP)) )
|
Geography.kif 1511-1516 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1539-1544 | |
| ( ! [V__AREA,V__MO,V__TEMP] : ((s__instance(V__AREA,s__SubtropicalDesertClimateZone) & s__subclass(V__MO,s__Month) & s__averageTemperatureForPeriod(V__AREA,V__MO,V__TEMP)) => s__greaterThan(V__TEMP,s__MeasureFn(18,s__CelsiusDegree))) )
|
Geography.kif 1348-1353 | |
| ( ! [V__AREA,V__MO,V__TEMP] : ((s__instance(V__AREA,s__TemperateClimateZone) & s__subclass(V__MO,s__Month) & s__averageTemperatureForPeriod(V__AREA,V__MO,V__TEMP)) => s__greaterThanOrEqualTo(V__TEMP,s__MeasureFn(-3,s__CelsiusDegree))) )
|
Geography.kif 1381-1386 | |
| ( ! [V__AREA,V__MO,V__TEMP] : ((s__instance(V__AREA,s__TropicalClimateZone) & s__subclass(V__MO,s__Month) & s__instance(V__AREA,s__GeographicArea) & s__averageTemperatureForPeriod(V__AREA,V__MO,V__TEMP)) => s__greaterThan(V__TEMP,s__MeasureFn(18,s__CelsiusDegree))) )
|
Geography.kif 1264-1270 | |
| ( ! [V__AREA] : (s__instance(V__AREA,s__ColdClimateZone) => (? [V__MO,V__AMOUNT] : (s__subclass(V__MO,s__Month) & s__averageTemperatureForPeriod(V__AREA,V__MO,V__AMOUNT) & s__lessThan(V__AMOUNT,s__MeasureFn(-3,s__CelsiusDegree))))) )
|
Geography.kif 1481-1487 | |
| ( ! [V__AREA] : (s__instance(V__AREA,s__TemperateClimateZone) => (? [V__MO,V__AMOUNT] : (s__subclass(V__MO,s__Month) & s__averageTemperatureForPeriod(V__AREA,V__MO,V__AMOUNT) & s__greaterThan(V__AMOUNT,s__MeasureFn(10,s__CelsiusDegree))))) )
|
Geography.kif 1373-1379 | |
| ( ! [V__AREA] : (s__instance(V__AREA,s__TemperateClimateZone) => (? [V__MO,V__AMOUNT] : (s__subclass(V__MO,s__Month) & s__averageTemperatureForPeriod(V__AREA,V__MO,V__AMOUNT) & s__greaterThanOrEqualTo(V__AMOUNT,s__MeasureFn(-3,s__CelsiusDegree)) & s__lessThanOrEqualTo(V__AMOUNT,s__MeasureFn(18,s__CelsiusDegree))))) )
|
Geography.kif 1388-1395 |
| statement |
|
|
| ( ! [V__NUMBER] : (s__MeasureFn(V__NUMBER,s__CelsiusDegree) = s__MeasureFn(s__DivisionFn(s__SubtractionFn(V__NUMBER,32) ,1.8) ,s__FahrenheitDegree)) )
|
Merge.kif 7257-7259 | |
| ( ! [V__NUMBER] : (s__MeasureFn(V__NUMBER,s__CelsiusDegree) = s__MeasureFn(s__SubtractionFn(V__NUMBER,273.15) ,s__KelvinDegree)) )
|
Merge.kif 7253-7255 |
|
|
|