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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Calcium

Sigma KEE - Calcium
Calcium(钙)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27578-27578 20 是 atomic 数字
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 27586-27588
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2130-2130
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1685-1685
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1060-1060
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29207-29207 1112.0 凯文度melting
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5866-5866 molecularRatio , 1 and CalciumChloride
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27576-27576 "Calcium" 的名 是
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31466-31466 roomTempState and 固体
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27575-27575 元素物质subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27577-27577 是 "Ca" 的 conventional 简称
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12703-12703
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12702-12702
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12701-12701

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27580-27584


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