Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Boron
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Boron ElementalSubstance) | Mid-level-ontology.kif 29955-29955 | Boron is a subclass of elemental substance |
| (atomicNumber Boron 5) | Mid-level-ontology.kif 29958-29958 | 5 is an atomic number of boron |
| (documentation Boron EnglishLanguage "An element of group 13 of the periodic table. There are two allotropes, amorphous boron is a brown power, but metallic boron is black. The metallic form is hard (9.3 on Mohs' scale) and a bad conductor in room temperatures. It is never found free in nature. Boron-10 is used in nuclear reactor control rods and shields. It was discovered in 1808 by Sir Humphry Davy and by J.L. Gay-Lussac and L.J. Thenard.") | Mid-level-ontology.kif 29966-29972 | 5 is an atomic number of boron |
| (meltingPoint Boron (MeasureFn 2573.0 KelvinDegree)) |
Mid-level-ontology.kif 31815-31815 | 2573.0 Kelvin degree(s) is a melting point of boron |
| (boilingPoint Boron (MeasureFn 2823.0 KelvinDegree)) |
Mid-level-ontology.kif 31816-31816 | 2823.0 Kelvin degree(s) is a boiling point of boron |
| (roomTempState Boron Liquid) | Mid-level-ontology.kif 33926-33926 | room temperature state boron and liquid |
| (externalImage Boron "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 20/ B%2C5.jpg/ 125px_B%2C5.jpg") | pictureList.kif 1053-1053 | room temperature state boron and liquid |
| (externalImage Boron "http://upload.wikimedia.org/wikipedia/commons/8/87/ B_TableImage.svg") | pictureList.kif 1671-1671 | room temperature state boron and liquid |
| appearance as argument number 2 |
|
|
| (names "Boron" Boron) | Mid-level-ontology.kif 29956-29956 | Boron has name "Boron" |
| (conventionalShortName "B" Boron) | Mid-level-ontology.kif 29957-29957 | Boron is a conventional short name of "B" |
| (termFormat EnglishLanguage Boron "boron") | domainEnglishFormat.kif 11675-11675 | Boron is a conventional short name of "B" |
| (termFormat ChineseTraditionalLanguage Boron "硼") | domainEnglishFormat.kif 11676-11676 | Boron is a conventional short name of "B" |
| (termFormat ChineseLanguage Boron "硼") | domainEnglishFormat.kif 11677-11677 | Boron is a conventional short name of "B" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Boron) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 10.811 Amu))) |
Mid-level-ontology.kif 29960-29964 | If X is an instance of boron and X is an instance of atom, then the measure of X is 10.811 amu(s) |
|
