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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Chromium

 Sigma KEE - Chromium
Chromium(铬)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27652-27652 24 是 铬 的 atomic 数字
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 27660-27661
No TPTP formula. May not be expressible in strict first order. pictureList.kif 344-344
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1699-1699
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2138-2138
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29215-29215 2130.0 凯文度 是 铬 的 melting 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27650-27650 "Chromium" 的名 是 铬
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31470-31470 roomTempState 铬 and 固体
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27649-27649 铬 是 元素物质 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27651-27651 铬 是 "Cr" 的 conventional 简称
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14760-14760
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14759-14759
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14758-14758

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


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


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