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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - FahrenheitDegree
FahrenheitDegree(fahrenheit degree)F, Fahrenheit_scale, degree_Fahrenheit, fahrenheit_degree

appearance as argument number 1

(documentation FahrenheitDegree ChineseLanguage "这是一个在美国普遍使用的 UnitOfTemperature, 在华氏表上,水的冰点是32 FahrenheitDegree ,而水的沸点是212 FahrenheitDegree。") Merge.kif 7602-7603
(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 7598-7601
(instance FahrenheitDegree UnitOfTemperature) Merge.kif 7597-7597 Fahrenheit degree is an instance of UnitOfTemperature

appearance as argument number 2

(termFormat EnglishLanguage FahrenheitDegree "fahrenheit degree") domainEnglishFormat.kif 4281-4281 "fahrenheit degree" is the printable form of fahrenheit degree in english language


        (instance ?G Grease)
        (holdsDuring ?T
            (measure ?G
                (MeasureFn 77 FahrenheitDegree))))
    (holdsDuring ?T
        (attribute ?G Solid)))
Cars.kif 2957-2963


        (instance ?H Human)
        (attribute ?H Fever))
    (exists (?N)
            (measure ?H
                (MeasureFn ?N FahrenheitDegree))
            (greaterThan ?N 98.6))))
Mid-level-ontology.kif 6040-6048
        (instance ?ORGANISM Human)
        (attribute ?ORGANISM Fever))
    (exists (?NUMBER)
            (measure ?ORGANISM
                (MeasureFn ?NUMBER FahrenheitDegree))
            (greaterThan ?NUMBER 98.6))))
WMD.kif 1006-1013


    (MeasureFn ?NUMBER CelsiusDegree)
            (SubtractionFn ?NUMBER 32) 1.8) FahrenheitDegree))
Merge.kif 7270-7272 A real number celsius degree(s) is equal to (the real number and 32) and 1.8 fahrenheit degree(s)

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

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners