FahrenheitDegree - Sigma Knowledge base Browser

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

appearance as argument number 2

(termFormat ChineseLanguage FahrenheitDegree "华氏度")	domainEnglishFormat.kif 23178-23178
(termFormat ChineseTraditionalLanguage FahrenheitDegree "華氏度")	domainEnglishFormat.kif 23177-23177
(termFormat EnglishLanguage FahrenheitDegree "fahrenheit degree")	domainEnglishFormat.kif 23176-23176

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	If a process is an instance of checking vitals and a cognitive agent is an agent of the process and an object is a patient of the process and a heart is an instance of heart and the heart is a part of the object and a lung is an instance of lung and the lung is a part of the object and the systolic blood pressure of the object is an entity and the diastolic blood pressure of the object is another entity and the measure of the object is a third entity fahrenheit degree(s) holds during the time of existence of the process and the heart beats at a rate of an integer beats per the time of existence of the process and the lung breathes at a rate of another integer breaths per the time of existence of the process, then the cognitive agent knows the systolic blood pressure of the object is the entity and the diastolic blood pressure of the object is the other entity and the measure of the object is the third entity fahrenheit degree(s) holds during the time of existence of the process and the heart beats at a rate of the integer beats per the time of existence of the process and the lung breathes at a rate of the other integer breaths per the time of existence of the process
(=> (and (instance ?G Grease) (holdsDuring ?T (measure ?G (MeasureFn 77 FahrenheitDegree)))) (holdsDuring ?T (attribute ?G Solid)))	Cars.kif 2969-2975	If an entity is an instance of grease and the measure of the entity is 77 fahrenheit degree(s) holds during a time position, then solid is an attribute of the entity holds during the time position

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	If a process is an instance of checking vitals and a cognitive agent is an agent of the process and an object is a patient of the process and a heart is an instance of heart and the heart is a part of the object and a lung is an instance of lung and the lung is a part of the object and the systolic blood pressure of the object is an entity and the diastolic blood pressure of the object is another entity and the measure of the object is a third entity fahrenheit degree(s) holds during the time of existence of the process and the heart beats at a rate of an integer beats per the time of existence of the process and the lung breathes at a rate of another integer breaths per the time of existence of the process, then the cognitive agent knows the systolic blood pressure of the object is the entity and the diastolic blood pressure of the object is the other entity and the measure of the object is the third entity fahrenheit degree(s) holds during the time of existence of the process and the heart beats at a rate of the integer beats per the time of existence of the process and the lung breathes at a rate of the other integer breaths per the time of existence of the process
(=> (and (instance ?H Human) (attribute ?H Fever)) (exists (?N) (and (measure ?H (MeasureFn ?N FahrenheitDegree)) (greaterThan ?N 98.6))))	Mid-level-ontology.kif 6155-6163	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
(=> (and (instance ?ORGANISM Human) (attribute ?ORGANISM Fever)) (exists (?NUMBER) (and (measure ?ORGANISM (MeasureFn ?NUMBER FahrenheitDegree)) (greaterThan ?NUMBER 98.6))))	WMD.kif 1110-1117	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
(=> (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 31943-31954	If roomTempState a kind of substance and a physical state and a physical is an instance of a kind of substance and roomTempState the kind of substance and liquid holds during a time position and the measure of the physical is 101 1 thousand pascals(s), then the measure of the physical is 68 fahrenheit degree(s) holds during the time position
(=> (holdsDuring ?T (attribute ?H LowBodyTemperature)) (holdsDuring ?T (and (measure ?H (MeasureFn ?N FahrenheitDegree)) (lessThan ?N 97))))	Medicine.kif 5645-5652	If low body temperature is an attribute of an entity holds during a time position, then the measure of the entity is another entity fahrenheit degree(s) and the other entity is less than 97 holds during the time position

statement

(equal
    (MeasureFn ?NUMBER CelsiusDegree)
    (MeasureFn
        (DivisionFn
            (SubtractionFn ?NUMBER 32.0) 1.8) FahrenheitDegree))

Merge.kif 7013-7015

A real number celsius degree(s) is equal to (the real number and 32.0) 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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: