TemperatureMeasure - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 6404-6405
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6401-6403
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6400-6400	Temperature measure is a subclass of constant quantity

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1307-1307	"温度测量" is the printable form of temperature measure in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	english_format.kif 994-994	"temperature measure" is the printable form of temperature measure in english language
No TPTP formula. May not be expressible in strict first order.	french_format.kif 985-985	"mesure de temperature" is the printable form of temperature measure in french language
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 520-520	"taapa maapa" is the printable form of temperature measure in Hindi
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 522-522	"MisuraDiTemperatura" is the printable form of temperature measure in italian language
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 937-937	"Medida de Temperatura" is the printable form of temperature measure in portuguese language
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 526-526	"kainiton-kabugnawon sukod sa panahon" is the printable form of temperature measure in cb
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 560-560	"temperature measure" is the printable form of temperature measure in cz
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 525-525	"sukat ng temperatura" is the printable form of temperature measure in tg

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23151-23151	The number 2 argument of air temperature is an instance of temperature measure
No TPTP formula. May not be expressible in strict first order.	Weather.kif 599-599	The number 3 argument of average temperature for period is an instance of temperature measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13644-13644	The number 2 argument of boiling point is an instance of temperature measure
No TPTP formula. May not be expressible in strict first order.	Weather.kif 611-611	The number 3 argument of highest temperature for period is an instance of temperature measure
No TPTP formula. May not be expressible in strict first order.	Weather.kif 623-623	The number 3 argument of lowest temperature for period is an instance of temperature measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13710-13710	The number 2 argument of melting point is an instance of temperature measure

antecedent

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

Cars.kif 4088-4118

If an object is an instance of bi-metal temperature sensor and another object is an instance of metal and a third object is an instance of metal and the other object is not equal to the third object and the other object is a part of the object and the third object is a part of the object and a physical quantity is an instance of temperature measure and another physical quantity is an instance of temperature measure and a third physical quantity is an instance of length measure and a fourth physical quantity is an instance of length measure and a fifth physical quantity is an instance of length measure and a sixth physical quantity is an instance of length measure and the physical quantity is not equal to the other physical quantity and the measure of the object is the physical quantity and the measure of the other object is the third physical quantity and the measure of the third object is the fourth physical quantity holds during an entity and the measure of the object is the other physical quantity and the measure of the other object is the fifth physical quantity and the measure of the third object is the sixth physical quantity holds during another entity,
then the third physical quantity and the fourth physical quantity is not equal to the fifth physical quantity and the sixth physical quantity

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23165-23174	If an entity is an attribute of an object and the entity is an instance of temperature attribute and the object is an instance of object, then there exists another object such that the measure of the object is the other object and the other object is an instance of temperature measure and the entity is an attribute of the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6505-6509	If a real number an unit of measure(s) is equal to a physical quantity and the unit of measure is an instance of UnitOfTemperature, then the physical quantity is an instance of temperature measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23200-23212	If an object is an immediate instance of an entity and another object is an immediate instance of the entity and cold is an attribute of the object and hot is an attribute of the other object, then there exist a physical quantity and another physical quantity such that the measure of the object is the physical quantity and the physical quantity is an instance of temperature measure and the measure of the other object is the other physical quantity and the other physical quantity is an instance of temperature measure and the other physical quantity is greater than the physical quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10782-10795	If a process is an instance of cooling and a real number is a patient of the process, then there exist an unit of measure, a physical quantity and another physical quantity such that the unit of measure is an instance of temperature measure and the real number the unit of measure(s) is equal to the physical quantity holds during the beginning of the time of existence of the process and the real number the unit of measure(s) is equal to the other physical quantity holds during the end of the time of existence of the process and the other physical quantity is less than the physical quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10739-10752	If a process is an instance of heating and a real number is a patient of the process, then there exist an unit of measure, a physical quantity and another physical quantity such that the unit of measure is an instance of temperature measure and the real number the unit of measure(s) is equal to the physical quantity holds during the beginning of the time of existence of the process and the real number the unit of measure(s) is equal to the other physical quantity holds during the end of the time of existence of the process and the other physical quantity is greater than the physical quantity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3402-3408	If a process is an instance of measuring and an entity is a result of the process and an object is an instrument for the process and the object is an instance of thermometer, then the entity is an instance of temperature measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3390-3396	If a process is an instance of measuring and an entity is a result of the process and an object is an instrument for the process and the object is an instance of thermometer, then the entity is an instance of temperature measure

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

KB Term:			Term intersection

English Word: