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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Unnilquadium
Unnilquadium(unnilquadium)

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


(atomicNumber Unnilquadium 104) Mid-level-ontology.kif 29066-29066 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 29074-29078
(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 29064-29064 "Unnilquadium" has name unnilquadium
(subclass Unnilquadium ElementalSubstance) Mid-level-ontology.kif 29063-29063 Unnilquadium is a subclass of elemental substance

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


(conventionalShortName "Unq" Unnilquadium) Mid-level-ontology.kif 29065-29065 Unnilquadium is a conventional short name of "Unq"
(termFormat ChineseLanguage Unnilquadium "unnilquadium") domainEnglishFormat.kif 60506-60506
(termFormat ChineseTraditionalLanguage Unnilquadium "unnilquadium") domainEnglishFormat.kif 60505-60505
(termFormat EnglishLanguage Unnilquadium "unnilquadium") domainEnglishFormat.kif 60504-60504

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


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


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



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