boilingPoint - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1418-1419
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13817-13818
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13816-13816	域沸點, 2 and TemperatureMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13815-13815	域子類沸點, 1 and PureSubstance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13814-13814	例沸點 and BinaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 320-320
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 319-319
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 318-318
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11507-11507
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11506-11506
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11505-11505

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13863-13876	測量 RealNumber and UnitOfMeasure 是 PureSubstance 的 boiling 點例 Entity and PureSubstance 持有期間 TimeInterval and 測量 Entity and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfTemperature 大於或等於 RealNumber and RealNumber 持有期間 TimeInterval and attribute Entity and 加油站 Process 暫時重疊何時 Process and TimeInterval 例 Process and Boiling 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13853-13861	例 Process and Boiling 測量 RealNumber and UnitOfMeasure 是 PureSubstance 的 boiling 點例 Entity and PureSubstance 患者 Process and Entity 持有期間何時 Process and 測量 Entity and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfTemperature 大於或等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13975-13988	例 Process and 蒸發測量 RealNumber and UnitOfMeasure 是 PureSubstance 的 boiling 點例 Object and PureSubstance 測量 Object and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfTemperature 患者 Process and Object Object 部分 Object and Object 比較多 RealNumber and RealNumber 持有期間開始何時 Process and attribute Object and 液體持有期間結束何時 Process and attribute Object and 加油站
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13885-13900	例 Entity and PureSubstance 測量 RealNumber and UnitOfMeasure 是 PureSubstance 的 boiling 點測量 RealNumber and UnitOfMeasure 是 PureSubstance 的 melting 點例 UnitOfMeasure and UnitOfTemperature 持有期間 TimeInterval and 測量 Entity and 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber 少於 RealNumber and RealNumber 持有期間 TimeInterval and attribute Entity and 液體 Process 暫時重疊何時 Process and TimeInterval 例 Process and Melting 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13820-13829	例 Object and PureSubstance 子類 PureSubstance and PureSubstance 測量 RealNumber and 英寸汞是 Object 的 barometric 壓力比較多 29.92 and RealNumber 測量 RealNumber and 凱文度是 PureSubstance 的 boiling 點測量 Object and 測量 RealNumber and 凱文度比較多 RealNumber and RealNumber attribute Object and 加油站
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13831-13840	例 Object and PureSubstance 子類 PureSubstance and PureSubstance 測量 RealNumber and 凱文度是 PureSubstance 的 boiling 點測量 RealNumber and 凱文度是 PureSubstance 的 melting 點測量 Object and 測量 RealNumber and 凱文度比較多 RealNumber and RealNumber 少於 RealNumber and RealNumber attribute Object and 液體
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13917-13921	測量 RealNumber and UnitOfMeasure 是 PureSubstance 的 melting 點測量 RealNumber and UnitOfMeasure 是 PureSubstance 的 boiling 點大於或等於 RealNumber and RealNumber

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29346-29346	測量 3470.0 and 凱文度是錒的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29194-29194	測量 2740.0 and 凱文度是鋁的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29358-29358	測量 2880.0 and 凱文度是銤的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29270-29270	測量 2023.0 and 凱文度是銻的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29204-29204	測量 87.29 and 凱文度是氬的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29234-29234	測量 886.0 and 凱文度是砷的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29338-29338	測量 610.0 and 凱文度是砹的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29280-29280	測量 1913.0 and 凱文度是鋇的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29176-29176	測量 3243.0 and 凱文度是鈹的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29334-29334	測量 1833.0 and 凱文度是鉍的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29178-29178	測量 2823.0 and 凱文度是硼的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29238-29238	測量 331.93 and 凱文度是溴的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29264-29264	測量 1038.0 and 凱文度是鎘的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29278-29278	測量 963.0 and 凱文度是銫的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29208-29208	測量 1760.0 and 凱文度是鈣的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29180-29180	測量 5100.0 and 凱文度是碳的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29284-29284	測量 3530.0 and 凱文度是鈰的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29202-29202	測量 238.55 and 凱文度是氯的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29216-29216	測量 2755.0 and 凱文度是鉻的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29222-29222	測量 3143.0 and 凱文度是鈷的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29226-29226	測量 2868.0 and 凱文度是銅的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29300-29300	測量 2608.0 and 凱文度是鏑的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29304-29304	測量 2783.0 and 凱文度是鉺的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29294-29294	測量 1870.0 and 凱文度是銪的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29186-29186	測量 85.01 and 凱文度是氟的 boiling 點

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: