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
(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
(subclass Unnilquadium ElementalSubstance) Mid-level-ontology.kif 29126-29126

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


(conventionalShortName "Unq" Unnilquadium) Mid-level-ontology.kif 29128-29128
(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