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 atomicNumber Californium and 98
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 meltingPoint Californium and 1173.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28965-28965 "Californium" s'appele nom Californium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28964-28964 Californium est une sous-classe de substance �l�mentaire

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28966-28966 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 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