TemperatureMeasure - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2415-2416
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6291-6293
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1102-1103
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6289-6289	子類 TemperatureMeasure and ConstantQuantity

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1307-1307
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1831-1831
No TPTP formula. May not be expressible in strict first order.	french_format.kif 985-985
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 520-520
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 524-524
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2669-2669
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 937-937
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 526-526
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 560-560
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 1006-1006
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 525-525

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25674-25674	域氣溫, 2 and TemperatureMeasure
No TPTP formula. May not be expressible in strict first order.	Weather.kif 987-987	域期間平均溫度, 3 and TemperatureMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13794-13794	域沸點, 2 and TemperatureMeasure
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 507-507	域 coreBodyTemp, 2 and TemperatureMeasure
No TPTP formula. May not be expressible in strict first order.	Weather.kif 999-999	域期間最高溫度, 3 and TemperatureMeasure
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1011-1011	域期間最低溫度, 3 and TemperatureMeasure
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3621-3621	域 maxDeviceOperatingTemp, 2 and TemperatureMeasure
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3649-3649	域 maxDeviceStorageTemp, 2 and TemperatureMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13858-13858	域熔點, 2 and TemperatureMeasure
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3674-3674	域 minDeviceOperatingTemp, 2 and TemperatureMeasure
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3699-3699	域 minDeviceStorageTemp, 2 and TemperatureMeasure

antecedent

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

Cars.kif 4081-4113

例 Object and BimetalTemperatureSensor 例 Object and Metal 例 Object and Metal 等於 Object and Object 部分 Object and Object 部分 Object and Object 例 Entity and TemperatureMeasure 例 Entity and TemperatureMeasure 例 RealNumber and LengthMeasure 例 RealNumber and LengthMeasure 例 RealNumber and LengthMeasure 例 RealNumber and LengthMeasure 等於 Entity and Entity 等於 TimePosition and TimePosition 持有期間 TimePosition and 測量 Object and Entity 測量 Object and RealNumber 測量 Object and RealNumber 持有期間 TimePosition and 測量 Object and Entity 測量 Object and RealNumber 測量 Object and RealNumber
等於部 RealNumber and RealNumber and 部 RealNumber and RealNumber

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25687-25696	attribute Object and Attribute 例 Attribute and TemperatureAttribute 例 Object and Object Object 測量 Object and Object 例 Object and TemperatureMeasure attribute Object and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6382-6386	等於測量 RealNumber and UnitOfMeasure and PhysicalQuantity 例 UnitOfMeasure and UnitOfTemperature 例 PhysicalQuantity and TemperatureMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25722-25737	立即實例 Object and Class 立即實例 Object and Class attribute Object and ColdTemperature attribute Object and HotTemperature RealNumber RealNumber and UnitOfMeasure 測量 Object and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfTemperature 例 RealNumber and TemperatureMeasure 測量 Object and 測量 RealNumber and UnitOfMeasure 例 RealNumber and TemperatureMeasure 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10961-10974	例 Process and Cooling 患者 Process and Entity Entity RealNumber and RealNumber 例 Entity and TemperatureMeasure 持有期間開始何時 Process and 等於測量 Entity and Entity and RealNumber 持有期間結束何時 Process and 等於測量 Entity and Entity and RealNumber 少於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10920-10933	例 Process and Heating 患者 Process and Entity Entity RealNumber and RealNumber 例 Entity and TemperatureMeasure 持有期間開始何時 Process and 等於測量 Entity and Entity and RealNumber 持有期間結束何時 Process and 等於測量 Entity and Entity and RealNumber 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2922-2928	例 Process and Measuring 結果 Process and Entity 儀器 Process and Object 例 Object and 溫度計例 Entity and TemperatureMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2910-2916	例 Process and Measuring 結果 Process and Entity 儀器 Process and Object 例 Object and 溫度計例 Entity and TemperatureMeasure

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: