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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Francium

 Sigma KEE - Francium
Francium(鈁)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28766-28766 87 是 鈁 的 atomic 數字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29342-29342 測量 950.0 and 凱文度 是 鈁 的 boiling 點
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28774-28777
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1766-1766
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29341-29341 測量 300.0 and 凱文度 是 鈁 的 melting 點
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28764-28764 名 鈁 and "Francium"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31533-31533 roomTempState 鈁 and 固體
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28763-28763 子類 鈁 and ElementalSubstance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28765-28765 鈁 是 "Fr" 的 conventional 簡稱
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24872-24872
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24871-24871
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24870-24870

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


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


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