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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Iodine

Sigma KEE - Iodine
Iodine(碘)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28131-28131 53 是 atomic 數字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29274-29274 測量 457.55 and 凱文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28139-28144
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1819-1819
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2237-2237
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1147-1147
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29273-29273 測量 386.65 and 凱文度melting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28129-28129 and "Iodine"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31499-31499 roomTempState and 固體
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28128-28128 子類 and ElementalSubstance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28130-28130 是 "I" 的 conventional 簡稱
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30913-30913
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30912-30912
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30911-30911

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


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


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