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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Unnilquadium
Unnilquadium

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


(atomicNumber Unnilquadium 104) Mid-level-ontology.kif 29078-29078 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 29086-29090
(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 29076-29076 "Unnilquadium" は Unnilquadiumname を 持って %n{ない}
(subclass Unnilquadium ElementalSubstance) Mid-level-ontology.kif 29075-29075 Unnilquadium単体subclass では %n

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


(conventionalShortName "Unq" Unnilquadium) Mid-level-ontology.kif 29077-29077 conventionalShortName "Unq" and Unnilquadium
(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 29080-29084


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