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 25977-25977 27 is an atomic number of cobalt
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27417-27417 3143 Kelvin degree(s) is a boiling point of cobalt
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25984-25988
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2142-2142
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1704-1704
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1077-1077
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27416-27416 1768 Kelvin degree(s) is a melting point of cobalt
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25975-25975 "Cobalt" has name cobalt
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25974-25974 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 25976-25976 Cobalt is a conventional short name of "Co"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15355-15355
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15354-15354
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15353-15353

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


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


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