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 28993-28993 100 是 鐨 的 atomic 數字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29001-29004
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 28991-28991 名 鐨 and "Fermium"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28990-28990 子類 鐨 and ElementalSubstance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28992-28992 鐨 是 "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 28995-28999


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