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 atomicNumber Californium and 98
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 meltingPoint Californium and 1173.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28953-28953 "Californium" se chama nome Californium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28952-28952 Californium e' uma sub-classe de Substancia Elementar

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28954-28954 conventionalShortName "Cf" and Californium
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