| Unnilquadium(unnilquadium)
|
| appearance as argument number 1 |
|
| (atomicNumber Unnilquadium 104) | Mid-level-ontology.kif 29362-29362 | 104 is an atomic number of unnilquadium |
| (documentation Unnilquadium EnglishLanguage "Radioactive transactinide element. Expected to have similar chemical properties to those displayed by hafnium. Rf-260 was discovered by the Joint Nuclear Research Institute at Dubna (U.S.S.R.) in 1964. Researchers at Berkeley discovered Unq-257 and Unq-258 in 1964.") | Mid-level-ontology.kif 29370-29374 | 104 is an atomic number of unnilquadium |
| (externalImage Unnilquadium "http://upload.wikimedia.org/wikipedia/commons/ 2/ 22/ Rf-TableImage.png") | pictureList.kif 6948-6948 | 104 is an atomic number of unnilquadium |
| (externalImage Unnilquadium "http://upload.wikimedia.org/wikipedia/commons/ 4/ 42/ Uuq-TableImage.png") | pictureList.kif 2052-2052 | 104 is an atomic number of unnilquadium |
| (names Unnilquadium "Unnilquadium") | Mid-level-ontology.kif 29360-29360 | "Unnilquadium" has name unnilquadium |
| (subclass Unnilquadium ElementalSubstance) | Mid-level-ontology.kif 29359-29359 | Unnilquadium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Unq" Unnilquadium) | Mid-level-ontology.kif 29361-29361 | Unnilquadium is a conventional short name of "Unq" |
| (termFormat ChineseLanguage Unnilquadium "unnilquadium") | domainEnglishFormat.kif 60554-60554 | Unnilquadium is a conventional short name of "Unq" |
| (termFormat ChineseTraditionalLanguage Unnilquadium "unnilquadium") | domainEnglishFormat.kif 60553-60553 | Unnilquadium is a conventional short name of "Unq" |
| (termFormat EnglishLanguage Unnilquadium "unnilquadium") | domainEnglishFormat.kif 60552-60552 | Unnilquadium is a conventional short name of "Unq" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Unnilquadium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 261 Amu))) |
Mid-level-ontology.kif 29364-29368 |
|
|
|
|