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

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 7322-7325
(documentation FahrenheitDegree JapaneseLanguage "UnitOfTemperature は、米国で一般的に使用 されている。華氏スケールでは、水の凍結点は32 FahrenheitDegree であり、水の沸点は 212 FahrenheitDegrees である。") japanese_format.kif 1325-1327
(instance FahrenheitDegree UnitOfTemperature) Merge.kif 7320-7320 Fahrenheit degree is an instance of unit of temperature

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


(termFormat ChineseLanguage FahrenheitDegree "华氏度") domainEnglishFormat.kif 23158-23158
(termFormat ChineseTraditionalLanguage FahrenheitDegree "華氏度") domainEnglishFormat.kif 23157-23157
(termFormat EnglishLanguage FahrenheitDegree "fahrenheit degree") domainEnglishFormat.kif 23156-23156

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


(=>
    (and
        (instance ?C CheckingVitals)
        (agent ?C ?A)
        (patient ?C ?P)
        (instance ?H Heart)
        (part ?H ?P)
        (instance ?L Lung)
        (part ?L ?P)
        (holdsDuring
            (WhenFn ?C)
            (and
                (systolicBloodPressure ?P ?SYS)
                (diastolicBloodPressure ?P ?DIA)
                (measure ?P
                    (MeasureFn ?T FahrenheitDegree))))
        (heartRate ?H
            (WhenFn ?C) ?I)
        (breathingRate ?L
            (WhenFn ?C) ?R))
    (knows ?A
        (and
            (holdsDuring
                (WhenFn ?C)
                (and
                    (systolicBloodPressure ?P ?SYS)
                    (diastolicBloodPressure ?P ?DIA)
                    (measure ?P
                        (MeasureFn ?T FahrenheitDegree))))
            (heartRate ?H
                (WhenFn ?C) ?I)
            (breathingRate ?L
                (WhenFn ?C) ?R))))
Medicine.kif 6505-6529
(=>
    (and
        (instance ?G Grease)
        (holdsDuring ?T
            (measure ?G
                (MeasureFn 77 FahrenheitDegree))))
    (holdsDuring ?T
        (attribute ?G Solid)))
Cars.kif 2986-2992

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


(=>
    (and
        (instance ?C CheckingVitals)
        (agent ?C ?A)
        (patient ?C ?P)
        (instance ?H Heart)
        (part ?H ?P)
        (instance ?L Lung)
        (part ?L ?P)
        (holdsDuring
            (WhenFn ?C)
            (and
                (systolicBloodPressure ?P ?SYS)
                (diastolicBloodPressure ?P ?DIA)
                (measure ?P
                    (MeasureFn ?T FahrenheitDegree))))
        (heartRate ?H
            (WhenFn ?C) ?I)
        (breathingRate ?L
            (WhenFn ?C) ?R))
    (knows ?A
        (and
            (holdsDuring
                (WhenFn ?C)
                (and
                    (systolicBloodPressure ?P ?SYS)
                    (diastolicBloodPressure ?P ?DIA)
                    (measure ?P
                        (MeasureFn ?T FahrenheitDegree))))
            (heartRate ?H
                (WhenFn ?C) ?I)
            (breathingRate ?L
                (WhenFn ?C) ?R))))
Medicine.kif 6505-6529
(=>
    (and
        (instance ?H Human)
        (attribute ?H Fever))
    (exists (?N)
        (and
            (measure ?H
                (MeasureFn ?N FahrenheitDegree))
            (greaterThan ?N 98.6))))
Mid-level-ontology.kif 6161-6169
(=>
    (and
        (instance ?ORGANISM Human)
        (attribute ?ORGANISM Fever))
    (exists (?NUMBER)
        (and
            (measure ?ORGANISM
                (MeasureFn ?NUMBER FahrenheitDegree))
            (greaterThan ?NUMBER 98.6))))
WMD.kif 1110-1117
(=>
    (and
        (roomTempState ?C ?PS)
        (instance ?S ?C)
        (holdsDuring ?T
            (roomTempState ?C Liquid))
        (measure ?S
            (MeasureFn 101
                (KiloFn Pascal))))
    (holdsDuring ?T
        (measure ?S
            (MeasureFn 68 FahrenheitDegree))))
Mid-level-ontology.kif 31678-31689
(=>
    (holdsDuring ?T
        (attribute ?H LowBodyTemperature))
    (holdsDuring ?T
        (and
            (measure ?H
                (MeasureFn ?N FahrenheitDegree))
            (lessThan ?N 97))))
Medicine.kif 5645-5652