Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - boilingPoint
boilingPoint

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 数量 是 温度测量 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 13815-13815 沸点 的 1 数量 是 純物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 13814-13814 沸点 是 二元谓语 的 instance

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
No TPTP formula. May not be expressible in strict first order. Merge.kif 13853-13861
No TPTP formula. May not be expressible in strict first order. Merge.kif 13975-13988
No TPTP formula. May not be expressible in strict first order. Merge.kif 13885-13900
No TPTP formula. May not be expressible in strict first order. Merge.kif 13820-13829
No TPTP formula. May not be expressible in strict first order. Merge.kif 13831-13840
No TPTP formula. May not be expressible in strict first order. Merge.kif 13917-13921

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29346-29346 3470.0 凯文度 是 锕 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29194-29194 2740.0 凯文度 是 铝 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29358-29358 2880.0 凯文度 是 銤 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29270-29270 2023.0 凯文度 是 锑 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29204-29204 87.29 凯文度 是 氩 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29234-29234 886.0 凯文度 是 砷 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29338-29338 610.0 凯文度 是 砹 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29280-29280 1913.0 凯文度 是 钡 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29176-29176 3243.0 凯文度 是 铍 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29334-29334 1833.0 凯文度 是 铋 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29178-29178 2823.0 凯文度 是 硼 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29238-29238 331.93 凯文度 是 溴 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29264-29264 1038.0 凯文度 是 镉 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29278-29278 963.0 凯文度 是 铯 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29208-29208 1760.0 凯文度 是 钙 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29180-29180 5100.0 凯文度 是 碳 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29284-29284 3530.0 凯文度 是 铈 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29202-29202 238.55 凯文度 是 氯 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29216-29216 2755.0 凯文度 是 铬 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29222-29222 3143.0 凯文度 是 钴 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29226-29226 2868.0 凯文度 是 铜 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29300-29300 2608.0 凯文度 是 镝 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29304-29304 2783.0 凯文度 是 铒 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29294-29294 1870.0 凯文度 是 铕 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29186-29186 85.01 凯文度 是 氟 的 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