Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  FahrenheitDegree

Sigma KEE - FahrenheitDegree
FahrenheitDegree

appearance as argument number 1
-------------------------


(documentation FahrenheitDegree ChineseLanguage "这是一个在美国普遍使用的 UnitOfTemperature, 在华氏表上,水的冰点是32 FahrenheitDegree ,而水的沸点是212 FahrenheitDegree。") chinese_format.kif 2612-2613
(documentation FahrenheitDegree 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 7226-7229
(instance FahrenheitDegree UnitOfTemperature) Merge.kif 7224-7224

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage FahrenheitDegree "华氏度") domainEnglishFormat.kif 23151-23151
(termFormat ChineseTraditionalLanguage FahrenheitDegree "華氏度") domainEnglishFormat.kif 23150-23150
(termFormat EnglishLanguage FahrenheitDegree "fahrenheit degree") domainEnglishFormat.kif 23149-23149

antecedent
-------------------------


(=>
    (and
        (instance ?G Grease)
        (holdsDuring ?T
            (measure ?G
                (MeasureFn 77 FahrenheitDegree))))
    (holdsDuring ?T
        (attribute ?G Solid)))
Cars.kif 2986-2992

consequent
-------------------------


(=>
    (and
        (instance ?H Human)
        (attribute ?H Fever))
    (exists (?N)
        (and
            (measure ?H
                (MeasureFn ?N FahrenheitDegree))
            (greaterThan ?N 98.6))))
Mid-level-ontology.kif 5841-5849
(=>
    (and
        (instance ?ORGANISM Human)
        (attribute ?ORGANISM Fever))
    (exists (?NUMBER)
        (and
            (measure ?ORGANISM
                (MeasureFn ?NUMBER FahrenheitDegree))
            (greaterThan ?NUMBER 98.6))))
WMD.kif 1104-1111

statement
-------------------------


(equal
    (MeasureFn ?NUMBER CelsiusDegree)
    (MeasureFn
        (DivisionFn
            (SubtractionFn ?NUMBER 32.0) 1.8) FahrenheitDegree))
Merge.kif 6916-6918


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners