FahrenheitDegree - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__FahrenheitDegree,s__ChineseLanguage,'"这是一个在美国普遍使用的 UnitOfTemperature，在华氏表上，水的冰点是32 FahrenheitDegree ，而水的沸点是212 FahrenheitDegree。"')

chinese_format.kif 2612-2613

s__documentation(s__FahrenheitDegree,s__EnglishLanguage,'"A UnitOfTemperature that is commonly used in the United States. On the Fahrenheit scale, the freezing point of water is 32 FahrenheitDegrees, and the boiling point of water is 212 FahrenheitDegrees."')

Merge.kif 6985-6988

Merge.kif 6983-6983

appearance as argument number 2

s__termFormat(s__ChineseLanguage,s__FahrenheitDegree,'"华氏度"')	domainEnglishFormat.kif 23083-23083
s__termFormat(s__ChineseTraditionalLanguage,s__FahrenheitDegree,'"華氏度"')	domainEnglishFormat.kif 23082-23082
s__termFormat(s__EnglishLanguage,s__FahrenheitDegree,'"fahrenheit degree"')	domainEnglishFormat.kif 23081-23081

antecedent

No TPTP formula. May not be expressible in strict first order.

Cars.kif 2961-2967

consequent

( ! [V__H] : ((s__instance(V__H,s__Human) & s__attribute(V__H,s__Fever)) => ( ? [V__N] : ((s__instance(V__N,s__RealNumber) & (s__measure(V__H,s__MeasureFn(V__N,s__FahrenheitDegree)) & s__greaterThan(V__N,n__98_6))))) ) )	Mid-level-ontology.kif 6040-6048	If an object is an instance of human and fever is an attribute of the object, then there exists a real number such that the measure of the object is the real number fahrenheit degree(s) and the real number is greater than 98.6
( ! [V__ORGANISM] : ((s__instance(V__ORGANISM,s__Human) & s__attribute(V__ORGANISM,s__Fever)) => ( ? [V__NUMBER] : ((s__instance(V__NUMBER,s__RealNumber) & (s__measure(V__ORGANISM,s__MeasureFn(V__NUMBER,s__FahrenheitDegree)) & s__greaterThan(V__NUMBER,n__98_6))))) ) )	WMD.kif 1015-1022	If an object is an instance of human and fever is an attribute of the object, then there exists a real number such that the measure of the object is the real number fahrenheit degree(s) and the real number is greater than 98.6

statement

( ! [V__NUMBER] :
   (s__instance(V__NUMBER,s__RealNumber) =>
     (s__MeasureFn(V__NUMBER,s__CelsiusDegree) = s__MeasureFn(s__DivisionFn(s__SubtractionFn(V__NUMBER,n__32)
    ,n__1_8)
  ,s__FahrenheitDegree))
)
)

Merge.kif 6681-6683