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 6736-6743
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 6734-6734 凯文度 是 国际单位制 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 6733-6733 凯文度 是 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 13844-13853
No TPTP formula. May not be expressible in strict first order. Merge.kif 13855-13864
No TPTP formula. May not be expressible in strict first order. Merge.kif 13866-13875

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2663-2673 实体 是 地区 的 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 29409-29409 3470.0 凯文度 是 锕 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29257-29257 2740.0 凯文度 是 铝 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29421-29421 2880.0 凯文度 是 銤 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29333-29333 2023.0 凯文度 是 锑 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29267-29267 87.29 凯文度 是 氩 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29297-29297 886.0 凯文度 是 砷 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29401-29401 610.0 凯文度 是 砹 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29343-29343 1913.0 凯文度 是 钡 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29239-29239 3243.0 凯文度 是 铍 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29397-29397 1833.0 凯文度 是 铋 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29241-29241 2823.0 凯文度 是 硼 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29301-29301 331.93 凯文度 是 溴 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29327-29327 1038.0 凯文度 是 镉 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29341-29341 963.0 凯文度 是 铯 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29271-29271 1760.0 凯文度 是 钙 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29243-29243 5100.0 凯文度 是 碳 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29347-29347 3530.0 凯文度 是 铈 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29265-29265 238.55 凯文度 是 氯 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29279-29279 2755.0 凯文度 是 铬 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29285-29285 3143.0 凯文度 是 钴 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29289-29289 2868.0 凯文度 是 铜 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29363-29363 2608.0 凯文度 是 镝 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29367-29367 2783.0 凯文度 是 铒 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29357-29357 1870.0 凯文度 是 铕 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29249-29249 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