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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Fermium

 Sigma KEE - Fermium
Fermium(鐨)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29056-29056 100 是 鐨 的 atomic 數字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29064-29067
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1755-1755
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29054-29054 名 鐨 and "Fermium"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29053-29053 子類 鐨 and ElementalSubstance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29055-29055 鐨 是 "Fm" 的 conventional 簡稱
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23510-23510
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23509-23509
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23508-23508

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


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


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