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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Beryllium
Beryllium(beryllium)
Be, atomic_number_4, beryllium, glucinium

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29237-29237 4 is an atomic number of beryllium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31109-31109 3243.0 Kelvin degree(s) is a boiling point of beryllium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29245-29248 3243.0 Kelvin degree(s) is a boiling point of beryllium
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1655-1655 3243.0 Kelvin degree(s) is a boiling point of beryllium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31108-31108 1551.0 Kelvin degree(s) is a melting point of beryllium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29235-29235 "Beryllium" has &ames$"name" Beryllium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 33400-33400 room temperature state beryllium and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29234-29234 Beryllium 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 29236-29236 Beryllium is a conventional short name of "Be"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10854-10854 Beryllium is a conventional short name of "Be"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10853-10853 Beryllium is a conventional short name of "Be"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10852-10852 Beryllium is a conventional short name of "Be"

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


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


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