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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Californium

 Sigma KEE - Californium
Californium(锎)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28967-28967 98 是 锎 的 atomic 數字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28975-28980
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1686-1686
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1061-1061
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29374-29374 測量 1173.0 and 凱文度 是 锎 的 melting 點
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28965-28965 名 锎 and "Californium"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28964-28964 子類 锎 and ElementalSubstance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28966-28966 锎 是 "Cf" 的 conventional 簡稱
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12739-12739
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12738-12738
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12737-12737

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


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


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