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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Actinium
Actinium(錒)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28810-28810 89 是 錒 的 atomic 數字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29358-29358 測量 3470.0 and 凱文度 是 錒 的 boiling 點
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28818-28823
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1617-1617
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29357-29357 測量 1320.0 and 凱文度 是 錒 的 melting 點
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28808-28808 名 錒 and "Actinium"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31539-31539 roomTempState 錒 and 固體
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28807-28807 子類 錒 and ElementalSubstance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28809-28809 錒 是 "Ac" 的 conventional 簡稱
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5358-5358
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5357-5357
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5356-5356

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


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


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