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

Formal Language: 



KB Term:  Term intersection
English Word: 

  KelvinDegree

 Sigma KEE - KelvinDegree
KelvinDegree(凯文度)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2500-2503
No TPTP formula. May not be expressible in strict first order. Merge.kif 6735-6742
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1197-1201
No TPTP formula. May not be expressible in strict first order. Merge.kif 6733-6733 凯文度 是 国际单位制 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 6732-6732 凯文度 是 UnitOfTemperature 的 instance

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32293-32293
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32292-32292
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32291-32291

antecedent
-------------------------


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 13842-13851

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 2676-2686 实体 是 地区 的 instance 和 那个 实体 有 标准状况 的 attribute 在 时间位置 holdsDuring 若且唯若 298.15 凯文度 是 那个 实体 的 air 温度 和 29.530 英寸汞 是 那个 实体 的 barometric 压力 在 那个 时间位置 holdsDuring

statement
-------------------------


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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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