FahrenheitDegree - Sigma Knowledge base Browser

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

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2612-2613
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7351-7354
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1325-1327
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7349-7349	Fahrenheit degree is an instance of unit of temperature

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23161-23161
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23160-23160
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23159-23159

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6523-6547	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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3045-3051	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

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6523-6547	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7098-7106	If an object is an instance of human and a 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
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1110-1117	If an object is an instance of human and a 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33626-33637	If room temperature state a kind of substance and a physical state and a physical is an instance of a kind of substance and room temperature state 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
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5656-5663	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

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

Merge.kif 7022-7024

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