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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Cobalt
Cobalt(cobalt)
Co, atomic_number_27, cobalt

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29629-29629 27 is an atomic number of cobalt
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31153-31153 3143.0 Kelvin degree(s) is a boiling point of cobalt
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29637-29641 3143.0 Kelvin degree(s) is a boiling point of cobalt
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2140-2140 3143.0 Kelvin degree(s) is a boiling point of cobalt
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1702-1702 3143.0 Kelvin degree(s) is a boiling point of cobalt
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1076-1076 3143.0 Kelvin degree(s) is a boiling point of cobalt
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31152-31152 1768.0 Kelvin degree(s) is a melting point of cobalt
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29627-29627 "Cobalt" has &ames$"name" Cobalt
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 33422-33422 room temperature state cobalt and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29626-29626 Cobalt 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 29628-29628 Cobalt is a conventional short name of "Co"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15429-15429 Cobalt is a conventional short name of "Co"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15428-15428 Cobalt is a conventional short name of "Co"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15427-15427 Cobalt is a conventional short name of "Co"

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


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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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