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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Holmium
Holmium(holmium)
Ho, atomic_number_67, holmium

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28409-28409 67 is an atomic number of holmium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29314-29314 2993.0 Kelvin degree(s) is a boiling point of holmium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28417-28429
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2216-2216
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1805-1805
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1138-1138
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29313-29313 1743.0 Kelvin degree(s) is a melting point of holmium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28407-28407 "Holmium" has name holmium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31517-31517 roomTempState holmium and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28406-28406 Holmium 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 28408-28408 Holmium is a conventional short name of "Ho"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28401-28401
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28400-28400
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28399-28399

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


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


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