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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Iodine
Iodine(碘)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28143-28143 53 是 碘 的 atomic 数字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29286-29286 457.55 凯文度 是 碘 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28151-28156
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 29285-29285 386.65 凯文度 是 碘 的 melting 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28141-28141 "Iodine" 的名 是 碘
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31503-31503 roomTempState 碘 and 固体
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28140-28140 碘 是 元素物质 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28142-28142 碘 是 "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 28145-28149


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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