| Argon
| | Ar, argon, atomic_number_18 |
| appearance as argument number 1 |
|
|
| (atomicNumber Argon 18) | Mid-level-ontology.kif 29464-29464 | atomicNumber Argon and 18 |
| (boilingPoint Argon (MeasureFn 87.29 KelvinDegree)) |
Mid-level-ontology.kif 31121-31121 | boilingPoint Argon and 87.29 KelvinDegree(s) |
| (documentation Argon EnglishLanguage "Monatomic noble gas. Makes up 0.93 percent of the air. Colourless, odorless. Is inert and has no true compounds. Lord Rayleigh and Sir william Ramsey identified argon in 1894.") | Mid-level-ontology.kif 29472-29474 | boilingPoint Argon and 87.29 KelvinDegree(s) |
| (externalImage Argon "http://upload.wikimedia.org/wikipedia/commons/6/65/ Ar_TableImage.png") | pictureList.kif 1643-1643 | boilingPoint Argon and 87.29 KelvinDegree(s) |
| (externalImage Argon "http://upload.wikimedia.org/wikipedia/commons/c/c5/ Ar%2C18.jpg") | pictureList.kif 1034-1034 | boilingPoint Argon and 87.29 KelvinDegree(s) |
| (meltingPoint Argon (MeasureFn 83.78 KelvinDegree)) |
Mid-level-ontology.kif 31120-31120 | meltingPoint Argon and 83.78 KelvinDegree(s) |
| (names Argon "Argon") | Mid-level-ontology.kif 29462-29462 | "Argon" has &ames$"name" Argon |
| (roomTempState Argon Gas) | Mid-level-ontology.kif 33399-33399 | roomTempState Argon and Gas |
| (subclass Argon ElementalSubstance) | Mid-level-ontology.kif 29461-29461 | Argon is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Ar" Argon) | Mid-level-ontology.kif 29463-29463 | conventionalShortName "Ar" and Argon |
| (termFormat ChineseLanguage Argon "氩") | domainEnglishFormat.kif 8328-8328 | conventionalShortName "Ar" and Argon |
| (termFormat ChineseTraditionalLanguage Argon "氬") | domainEnglishFormat.kif 8327-8327 | conventionalShortName "Ar" and Argon |
| (termFormat EnglishLanguage Argon "argon") | domainEnglishFormat.kif 8326-8326 | conventionalShortName "Ar" and Argon |
| antecedent |
|
|
| (=> (and (instance ?ATOM Argon) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 39.948 Amu))) |
Mid-level-ontology.kif 29466-29470 |
|
|
|
|