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 28955-28955 98 是 锎 的 atomic 数字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28963-28968
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 29362-29362 1173.0 凯文度 是 锎 的 melting 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28953-28953 "Californium" 的名 是 锎
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28952-28952 锎 是 元素物质 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28954-28954 锎 是 "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 28957-28961


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