UnitOfTemperature - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language: Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - UnitOfTemperature

UnitOfTemperature

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 6347-6349
(documentation UnitOfTemperature JapaneseLanguage "この Class のすべてのインスタンスは、 UnitOfMeasureで、MeasureFn と共に TemperatureMeasure のインスタンスを形成するのに使用できる。")	japanese_format.kif 1104-1106
(subclass UnitOfTemperature NonCompositeUnitOfMeasure)	Merge.kif 6345-6345	UnitOfTemperature is a subclass of NonCompositeUnitOfMeasure

appearance as argument number 2

(instance CelsiusDegree UnitOfTemperature)	Merge.kif 7051-7051	CelsiusDegree is an instance of UnitOfTemperature
(instance FahrenheitDegree UnitOfTemperature)	Merge.kif 7389-7389	FahrenheitDegree is an instance of UnitOfTemperature
(instance KelvinDegree UnitOfTemperature)	Merge.kif 6782-6782	KelvinDegree is an instance of UnitOfTemperature
(instance RankineDegree UnitOfTemperature)	Merge.kif 7379-7379	RankineDegree is an instance of UnitOfTemperature
(termFormat EnglishLanguage UnitOfTemperature "unit of temperature")	domainEnglishFormat.kif 65654-65654	RankineDegree is an instance of UnitOfTemperature

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 14016-14029	If boilingPoint a kind of pure substance and a real number an unit of measure(s) 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 UnitOfTemperature 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 6432-6436	If equal a real number an unit of measure(s) and a time duration and the unit of measure is an instance of UnitOfTemperature, then the time duration is an instance of temperature measure
(=> (and (equal ?TEMP (ThirtyYearAverageSSTForMonthFn ?W ?M ?Y)) (instance ?Y (YearFn ?I)) (equal ?YEAR (SubtractionFn ?I ?N)) (greaterThanOrEqualTo ?N 0) (lessThan ?N 30) (instance ?U UnitOfTemperature) (equal (MeasureFn ?X ?U) (MeanMonthSSTFn ?W ?M ?YEAR)) (inList ?X ?L)) (equal ?TEMP (MeasureFn (AverageFn ?L) ?U)))	Weather.kif 838-855	If equal a temperature measure and ThirtyYearAverageSSTForMonthFn a water area, a kind of month and a year and the year is an instance of the year an integer and equal the yearEAR and (the integer and another real number) and the other real number is greater than or equal to 0 and the other real number is less than 30 and an unit of measure is an instance of UnitOfTemperature and equal a third real number the unit of measure(s) and MeanMonthSSTFn the water area, a kind of month and the yearEAR and the third real number is a member of a list, then equal the temperature measure and AverageFn the list the unit of measure(s)
(=> (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 14006-14014	If a process is an instance of boiling and boilingPoint a kind of pure substance and a real number an unit of measure(s) 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 UnitOfTemperature, 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 14128-14141	If a process is an instance of Evaporating and boilingPoint a kind of pure substance and a real number an unit of measure(s) 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 UnitOfTemperature 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 14038-14053	If an entity is an instance of a kind of pure substance and boilingPoint a kind of pure substance and a real number an unit of measure(s) and meltingPoint the kind of pure substance and another real number the unit of measure(s) and the unit of measure is an instance of UnitOfTemperature 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 14055-14068	If an entity is an instance of a kind of pure substance and meltingPoint a kind of pure substance and a real number an unit of measure(s) 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 UnitOfTemperature 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 3624-3637	If maxDeviceOperatingTemp an entity and another entity a third entity(s) and the third entity is an instance of UnitOfTemperature and the entity is located at a fourth entity and DeviceOn is an attribute of the entity and airTemperature the fourth entity and a fifth entity the third entity(s) and the fifth entity is greater than the other entity holds during a time position, then the statement DeviceDamaged 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 3652-3665	If maxDeviceStorageTemp an entity and another entity a third entity(s) and the third entity is an instance of UnitOfTemperature and the entity is located at a fourth entity and DeviceOff is an attribute of the entity and airTemperature the fourth entity and a fifth entity the third entity(s) and the fifth entity is greater than the other entity holds during a time position, then the statement DeviceDamaged 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 3677-3690	If minDeviceOperatingTemp an entity and another entity a third entity(s) and the third entity is an instance of UnitOfTemperature and the entity is located at a fourth entity and DeviceOn is an attribute of the entity and airTemperature the fourth entity and a fifth entity the third entity(s) and the fifth entity is less than the other entity holds during a time position, then the statement DeviceDamaged 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 3703-3716	If minDeviceStorageTemp an entity and another entity a third entity(s) and the third entity is an instance of UnitOfTemperature and the entity is located at a fourth entity and DeviceOff is an attribute of the entity and airTemperature the fourth entity and a fifth entity the third entity(s) and the fifth entity is less than the other entity holds during a time position, then the statement DeviceDamaged is an attribute of the entity holds during immediately after the time position has the modal force of Likely

consequent

(=> (and (equal ?MEAN (ThreeMonthsRunningMeanSSTFn ?W ?M ?Y)) (equal ?T (MeanMonthSSTFn ?W ?M ?Y)) (previousMonthYear ?M1 ?Y1 ?M ?Y) (equal ?T1 (MeanMonthSSTFn ?W ?M1 ?Y1)) (previousMonthYear ?M2 ?Y2 ?M1 ?Y1) (equal ?T2 (MeanMonthSSTFn ?W ?M2 ?Y2))) (exists (?N ?U) (and (equal ?N (AverageFn (PhysicalQuantityToNumberFn (ListFn ?T2 ?T1 ?T)))) (instance ?U UnitOfTemperature) (equal ?MEAN (MeasureFn ?N ?U)))))	Weather.kif 805-823	If equal a temperature measure and ThreeMonthsRunningMeanSSTFn a water area, a kind of month and a year and equal another temperature measure and MeanMonthSSTFn the water area, a kind of month and the year and previousMonthYear the kind of month, the year, the kind of month and the year and equal the other temperature measure1 and MeanMonthSSTFn the water area, the kind of month and the year and previousMonthYear the kind of month, the year, the kind of month and the year and equal the other temperature measure2 and MeanMonthSSTFn the water area, the kind of month and the year, then there exist a real number and an unit of measure such that equal the real number and AverageFn PhysicalQuantityToNumberFn (the other temperature measure2, the other temperature measure1, and the other temperature measure) and the unit of measure is an instance of UnitOfTemperature and equal the temperature measure and the real number the unit of measure(s)
(=> (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 27611-27626	If an object is an immediate instance of a class and another object is an immediate instance of the class and ColdTemperature is an attribute of the object and HotTemperature 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 UnitOfTemperature 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