UnitOfTemperature - Sigma Knowledge base Browser

appearance as argument number 1

(documentation UnitOfTemperature ChineseLanguage "这个 Class 所有的实例都是可以用 MeasureFn 来组成 TemperatureMeasure 实例的 UnitOfMeasure。")	chinese_format.kif 2417-2418
(documentation UnitOfTemperature EnglishLanguage "Every instance of this Class is a UnitOfMeasure that can be used with MeasureFn to form instances of TemperatureMeasure.")	Merge.kif 6298-6300
(documentation UnitOfTemperature JapaneseLanguage "この Class のすべてのインスタンスは、 UnitOfMeasureで、MeasureFn と共に TemperatureMeasure のインスタンスを形成するのに使用できる。")	japanese_format.kif 1104-1106
(subclass UnitOfTemperature NonCompositeUnitOfMeasure)	Merge.kif 6296-6296	Unit of temperature is a subclass of non composite unit of measure

appearance as argument number 2

(instance CelsiusDegree UnitOfTemperature)	Merge.kif 7002-7002	Celsius degree is an instance of unit of temperature
(instance FahrenheitDegree UnitOfTemperature)	Merge.kif 7321-7321	Fahrenheit degree is an instance of unit of temperature
(instance KelvinDegree UnitOfTemperature)	Merge.kif 6733-6733	Kelvin degree is an instance of unit of temperature
(instance RankineDegree UnitOfTemperature)	Merge.kif 7311-7311	Rankine degree is an instance of unit of temperature
(termFormat EnglishLanguage UnitOfTemperature "unit of temperature")	domainEnglishFormat.kif 65709-65709	Rankine degree is an instance of unit of temperature

antecedent

(=> (and (boilingPoint ?TYPE (MeasureFn ?TEMP1 ?MEASURE)) (instance ?SUBSTANCE ?TYPE) (holdsDuring ?TIME (measure ?SUBSTANCE (MeasureFn ?TEMP2 ?MEASURE))) (instance ?MEASURE UnitOfTemperature) (greaterThanOrEqualTo ?TEMP2 ?TEMP1)) (or (holdsDuring ?TIME (attribute ?SUBSTANCE Gas)) (exists (?BOIL) (and (overlapsTemporally (WhenFn ?BOIL) ?TIME) (instance ?BOIL Boiling) (patient ?BOIL ?SUBSTANCE)))))	Merge.kif 13887-13900	If a real number an unit of measure(s) is a boiling point of a kind of pure substance and an entity is an instance of a kind of pure substance and the measure of the entity is another real number the unit of measure(s) holds during a time interval and the unit of measure is an instance of unit of temperature and the other real number is greater than or equal to the real number, then gas is an attribute of the entity holds during the time interval or there exists a process such that the time interval overlaps the time of existence of the process and the process is an instance of boiling and the entity is a patient of the process
(=> (and (equal (MeasureFn ?NUMBER ?UNIT) ?QUANT) (instance ?UNIT UnitOfTemperature)) (instance ?QUANT TemperatureMeasure))	Merge.kif 6383-6387	If a real number an unit of measure(s) is equal to a physical quantity and the unit of measure is an instance of unit of temperature, then the physical quantity is an instance of temperature measure
(=> (and (instance ?BOILING Boiling) (boilingPoint ?TYPE (MeasureFn ?TEMP1 ?MEASURE)) (instance ?SUBSTANCE ?TYPE) (patient ?BOILING ?SUBSTANCE) (holdsDuring (WhenFn ?BOILING) (measure ?SUBSTANCE (MeasureFn ?TEMP2 ?MEASURE))) (instance ?MEASURE UnitOfTemperature)) (greaterThanOrEqualTo ?TEMP2 ?TEMP1))	Merge.kif 13877-13885	If a process is an instance of boiling and a real number an unit of measure(s) is a boiling point of a kind of pure substance and an entity is an instance of a kind of pure substance and the entity is a patient of the process and the measure of the entity is another real number the unit of measure(s) holds during the time of existence of the process and the unit of measure is an instance of unit of temperature, then the other real number is greater than or equal to the real number
(=> (and (instance ?EVAP Evaporating) (boilingPoint ?CLASS (MeasureFn ?BOILVAL ?MEAS)) (instance ?OBJ ?CLASS) (measure ?OBJ (MeasureFn ?VAL ?MEAS)) (instance ?MEAS UnitOfTemperature) (patient ?EVAP ?OBJ)) (exists (?PART) (and (part ?PART ?OBJ) (greaterThan ?BOILVAL ?VAL) (holdsDuring (BeginFn (WhenFn ?EVAP)) (attribute ?PART Liquid)) (holdsDuring (EndFn (WhenFn ?EVAP)) (attribute ?PART Gas)))))	Merge.kif 13999-14012	If a process is an instance of evaporating and a real number an unit of measure(s) is a boiling point of a kind of pure substance and an object is an instance of a kind of pure substance and the measure of the object is another real number the unit of measure(s) and the unit of measure is an instance of unit of temperature and the object is a patient of the process, then there exists another object such that the other object is a part of the object and the real number is greater than the other real number and liquid is an attribute of the other object holds during the beginning of the time of existence of the process and gas is an attribute of the other object holds during the end of the time of existence of the process
(=> (and (instance ?SUBSTANCE ?TYPE) (boilingPoint ?TYPE (MeasureFn ?TEMP1 ?MEASURE)) (meltingPoint ?TYPE (MeasureFn ?TEMP2 ?MEASURE)) (instance ?MEASURE UnitOfTemperature) (holdsDuring ?TIME (measure ?SUBSTANCE (MeasureFn ?TEMP3 ?MEASURE))) (greaterThan ?TEMP3 ?TEMP2) (lessThan ?TEMP3 ?TEMP1)) (or (holdsDuring ?TIME (attribute ?SUBSTANCE Liquid)) (exists (?MELT) (and (overlapsTemporally (WhenFn ?MELT) ?TIME) (instance ?MELT Melting) (patient ?MELT ?SUBSTANCE)))))	Merge.kif 13909-13924	If an entity is an instance of a kind of pure substance and a real number an unit of measure(s) is a boiling point of a kind of pure substance and another real number the unit of measure(s) is a melting point of the kind of pure substance and the unit of measure is an instance of unit of temperature and the measure of the entity is a third real number the unit of measure(s) holds during a time interval and the third real number is greater than the other real number and the third real number is less than the real number, then liquid is an attribute of the entity holds during the time interval or there exists a process such that the time interval overlaps the time of existence of the process and the process is an instance of melting and the entity is a patient of the process
(=> (and (instance ?SUBSTANCE ?TYPE) (meltingPoint ?TYPE (MeasureFn ?TEMP1 ?MEASURE)) (holdsDuring ?TIME (measure ?SUBSTANCE (MeasureFn ?TEMP2 ?MEASURE))) (instance ?MEASURE UnitOfTemperature) (lessThan ?TEMP2 ?TEMP1)) (or (holdsDuring ?TIME (attribute ?SUBSTANCE Solid)) (exists (?FREEZE) (and (overlapsTemporally (WhenFn ?FREEZE) ?TIME) (instance ?FREEZE Freezing) (patient ?FREEZE ?SUBSTANCE)))))	Merge.kif 13926-13939	If an entity is an instance of a kind of pure substance and a real number an unit of measure(s) is a melting point of a kind of pure substance and the measure of the entity is another real number the unit of measure(s) holds during a time interval and the unit of measure is an instance of unit of temperature and the other real number is less than the real number, then solid is an attribute of the entity holds during the time interval or there exists a process such that the time interval overlaps the time of existence of the process and the process is an instance of freezing and the entity is a patient of the process
(=> (holdsDuring ?T (and (maxDeviceOperatingTemp ?D (MeasureFn ?T1 ?U)) (instance ?U UnitOfTemperature) (located ?D ?A) (attribute ?D DeviceOn) (airTemperature ?A (MeasureFn ?T2 ?U)) (greaterThan ?T2 ?T1))) (modalAttribute (holdsDuring (ImmediateFutureFn ?T) (attribute ?D DeviceDamaged)) Likely))	ComputingBrands.kif 3629-3642	If maximum device operating temperature of an entity is another entity a third entity(s) and the third entity is an instance of unit of temperature and the entity is located at a fourth entity and device on is an attribute of the entity and a fifth entity the third entity(s) is an air temperature of the fourth entity and the fifth entity is greater than the other entity holds during a time position, then the statement device damaged is an attribute of the entity holds during immediately after the time position has the modal force of likely
(=> (holdsDuring ?T (and (maxDeviceStorageTemp ?D (MeasureFn ?T1 ?U)) (instance ?U UnitOfTemperature) (located ?D ?A) (attribute ?D DeviceOff) (airTemperature ?A (MeasureFn ?T2 ?U)) (greaterThan ?T2 ?T1))) (modalAttribute (holdsDuring (ImmediateFutureFn ?T) (attribute ?D DeviceDamaged)) Likely))	ComputingBrands.kif 3657-3670	If maximum device storage temperature of an entity is another entity a third entity(s) and the third entity is an instance of unit of temperature and the entity is located at a fourth entity and device off is an attribute of the entity and a fifth entity the third entity(s) is an air temperature of the fourth entity and the fifth entity is greater than the other entity holds during a time position, then the statement device damaged is an attribute of the entity holds during immediately after the time position has the modal force of likely
(=> (holdsDuring ?T (and (minDeviceOperatingTemp ?D (MeasureFn ?T1 ?U)) (instance ?U UnitOfTemperature) (located ?D ?A) (attribute ?D DeviceOn) (airTemperature ?A (MeasureFn ?T2 ?U)) (lessThan ?T2 ?T1))) (modalAttribute (holdsDuring (ImmediateFutureFn ?T) (attribute ?D DeviceDamaged)) Likely))	ComputingBrands.kif 3682-3695	If minimum device operating temperature of an entity is another entity a third entity(s) and the third entity is an instance of unit of temperature and the entity is located at a fourth entity and device on is an attribute of the entity and a fifth entity the third entity(s) is an air temperature of the fourth entity and the fifth entity is less than the other entity holds during a time position, then the statement device damaged is an attribute of the entity holds during immediately after the time position has the modal force of likely
(=> (holdsDuring ?T (and (minDeviceStorageTemp ?D (MeasureFn ?T1 ?U)) (instance ?U UnitOfTemperature) (located ?D ?A) (attribute ?D DeviceOff) (airTemperature ?A (MeasureFn ?T2 ?U)) (lessThan ?T2 ?T1))) (modalAttribute (holdsDuring (ImmediateFutureFn ?T) (attribute ?D DeviceDamaged)) Likely))	ComputingBrands.kif 3708-3721	If minimum device storagqqqe temperature of an entity is another entity a third entity(s) and the third entity is an instance of unit of temperature and the entity is located at a fourth entity and device off is an attribute of the entity and a fifth entity the third entity(s) is an air temperature of the fourth entity and the fifth entity is less than the other entity holds during a time position, then the statement device damaged is an attribute of the entity holds during immediately after the time position has the modal force of likely

consequent

(=>
    (and
        (immediateInstance ?X ?CLASS)
        (immediateInstance ?Y ?CLASS)
        (attribute ?X ColdTemperature)
        (attribute ?Y HotTemperature))
    (exists (?TEMPX ?TEMPY ?UNIT)
        (and
            (measure ?X
                (MeasureFn ?TEMPX ?UNIT))
            (instance ?UNIT UnitOfTemperature)
            (instance ?TEMPX TemperatureMeasure)
            (measure ?Y
                (MeasureFn ?TEMPY ?UNIT))
            (instance ?TEMPY TemperatureMeasure)
            (greaterThan ?TEMPY ?TEMPX))))

Mid-level-ontology.kif 25986-26001

If an object is an immediate instance of a class and another object is an immediate instance of the class and cold is an attribute of the object and hot is an attribute of the other object,
then there exist a real number, another real number and an unit of measure such that the measure of the object is the real number the unit of measure(s) and the unit of measure is an instance of unit of temperature and the real number is an instance of temperature measure and the measure of the other object is the other real number the unit of measure(s) and the other real number is an instance of temperature measure and the other real number is greater than the real number

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: