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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Actinium

 Sigma KEE - Actinium
Actinium(錒)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28798-28798 89 是 錒 的 atomic 數字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29346-29346 測量 3470.0 and 凱文度 是 錒 的 boiling 點
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28806-28811
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 29345-29345 測量 1320.0 and 凱文度 是 錒 的 melting 點
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28796-28796 名 錒 and "Actinium"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31535-31535 roomTempState 錒 and 固體
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28795-28795 子類 錒 and ElementalSubstance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28797-28797 錒 是 "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 28800-28804


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