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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Strontium
Strontium(鍶)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27879-27879 38 是 鍶 的 atomic 數字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29244-29244 測量 1657.0 and 凱文度 是 鍶 的 boiling 點
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27887-27891
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2007-2007
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2380-2380
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1257-1257
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29243-29243 測量 1042.0 and 凱文度 是 鍶 的 melting 點
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27877-27877 名 鍶 and "Strontium"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31484-31484 roomTempState 鍶 and 固體
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27876-27876 子類 鍶 and ElementalSubstance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27878-27878 鍶 是 "Sr" 的 conventional 簡稱
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55668-55668
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55667-55667
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55666-55666

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


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


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