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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Unnilquadium

Sigma KEE - Unnilquadium
Unnilquadium

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


(atomicNumber Unnilquadium 104) Mid-level-ontology.kif 29129-29129 atomicNumber Unnilquadium and 104
(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 29137-29141
(externalImage Unnilquadium "http://upload.wikimedia.org/wikipedia/commons/ 2/ 22/ Rf-TableImage.png") pictureList.kif 6948-6948
(externalImage Unnilquadium "http://upload.wikimedia.org/wikipedia/commons/ 4/ 42/ Uuq-TableImage.png") pictureList.kif 2052-2052
(names Unnilquadium "Unnilquadium") Mid-level-ontology.kif 29127-29127 names Unnilquadium and "Unnilquadium"
(subclass Unnilquadium ElementalSubstance) Mid-level-ontology.kif 29126-29126 Unnilquadium è una sottoclasse di SostanzaElementare

appearance as argument number 2
-------------------------


(conventionalShortName "Unq" Unnilquadium) Mid-level-ontology.kif 29128-29128 conventionalShortName "Unq" and Unnilquadium
(termFormat ChineseLanguage Unnilquadium "unnilquadium") domainEnglishFormat.kif 60508-60508
(termFormat ChineseTraditionalLanguage Unnilquadium "unnilquadium") domainEnglishFormat.kif 60507-60507
(termFormat EnglishLanguage Unnilquadium "unnilquadium") domainEnglishFormat.kif 60506-60506

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


(=>
    (and
        (instance ?ATOM Unnilquadium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 261 Amu)))
Mid-level-ontology.kif 29131-29135


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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