TreeView Knowledge Base Browser - Californium

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Californium

Californium(californium)

Cf, atomic_number_98, californium

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28967-28967	98 is an atomic number of californium
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 Kelvin degree(s) is a melting point of californium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28965-28965	"Californium" has name californium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28964-28964	Californium is a subclass of elemental substance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28966-28966	Californium is a conventional short name of "Cf"
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

If a physical is an instance of californium and the physical is an instance of atom,
then the measure of the physical is 249 amu(s)

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