Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Helium
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Helium ElementalSubstance) | Mid-level-ontology.kif 29909-29909 | Helium is a subclass of elemental substance |
| (atomicNumber Helium 2) | Mid-level-ontology.kif 29912-29912 | 2 is an atomic number of helium |
| (documentation Helium EnglishLanguage "Colourless, odourless gaseous nonmetallic element. Belongs to group 18 of the periodic table. Lowest boiling point of all elements and can only be solidified under pressure. Chemically inert, no known compounds. Discovered in the solar spectrum in 1868 by Lockyer.") | Mid-level-ontology.kif 29920-29923 | 2 is an atomic number of helium |
| (meltingPoint Helium (MeasureFn 0.95 KelvinDegree)) |
Mid-level-ontology.kif 31809-31809 | 0.95 Kelvin degree(s) is a melting point of helium |
| (boilingPoint Helium (MeasureFn 4.216 KelvinDegree)) |
Mid-level-ontology.kif 31810-31810 | 4.216 Kelvin degree(s) is a boiling point of helium |
| (roomTempState Helium Gas) | Mid-level-ontology.kif 33923-33923 | room temperature state helium and gas |
| (refractiveIndex Helium 1.000036) | Transportation.kif 5627-5627 | The RefractiveIndexFn of helium is 1.000036 |
| (externalImage Helium "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ c8/ He%2C2.jpg/ 125px_He%2C2.jpg") | pictureList.kif 1135-1135 | The RefractiveIndexFn of helium is 1.000036 |
| (externalImage Helium "http://upload.wikimedia.org/wikipedia/commons/1/1e/ He_TableImage.svg") | pictureList.kif 1800-1800 | The RefractiveIndexFn of helium is 1.000036 |
| (externalImage Helium "http://upload.wikimedia.org/wikipedia/commons/2/2a/ Goodyear_blimp.jpg") | pictureList.kif 2214-2214 | The RefractiveIndexFn of helium is 1.000036 |
| appearance as argument number 2 |
|
|
| (names "Helium" Helium) | Mid-level-ontology.kif 29910-29910 | Helium has name "Helium" |
| (conventionalShortName "He" Helium) | Mid-level-ontology.kif 29911-29911 | Helium is a conventional short name of "He" |
| (termFormat EnglishLanguage Helium "helium") | domainEnglishFormat.kif 27905-27905 | Helium is a conventional short name of "He" |
| (termFormat ChineseTraditionalLanguage Helium "氦") | domainEnglishFormat.kif 27906-27906 | Helium is a conventional short name of "He" |
| (termFormat ChineseLanguage Helium "氦") | domainEnglishFormat.kif 27907-27907 | Helium is a conventional short name of "He" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Helium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 4.0026 Amu))) |
Mid-level-ontology.kif 29914-29918 | If X is an instance of helium and X is an instance of atom, then the measure of X is 4.0026 amu(s) |
|
