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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Unnilpentium
Unnilpentium

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


(atomicNumber Unnilpentium 105) Mid-level-ontology.kif 29095-29095 atomicNumber Unnilpentium and 105
(documentation Unnilpentium EnglishLanguage "Radioactive transactinide element. Half-life of 1.6s. Discovered in 1970 by Berkeley researchers. So far, seven isotopes have been discovered.") Mid-level-ontology.kif 29103-29105
(externalImage Unnilpentium "http://upload.wikimedia.org/wikipedia/commons/ 0/ 02/ Db-TableImage.png") pictureList.kif 6947-6947
(externalImage Unnilpentium "http://upload.wikimedia.org/wikipedia/commons/ 1/ 11/ 257Db_decay_scheme.png") pictureList.kif 8182-8182
(externalImage Unnilpentium "http://upload.wikimedia.org/wikipedia/commons/ 2/ 26/ Uup-TableImage.png") pictureList.kif 2051-2051
(names Unnilpentium "Unnilpentium") Mid-level-ontology.kif 29093-29093 "Unnilpentium" は Unnilpentiumname を 持って %n{ない}
(subclass Unnilpentium ElementalSubstance) Mid-level-ontology.kif 29092-29092 Unnilpentium単体subclass では %n

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


(conventionalShortName "Unp" Unnilpentium) Mid-level-ontology.kif 29094-29094 conventionalShortName "Unp" and Unnilpentium
(termFormat ChineseLanguage Unnilpentium "unnilpentium") domainEnglishFormat.kif 60500-60500
(termFormat ChineseTraditionalLanguage Unnilpentium "unnilpentium") domainEnglishFormat.kif 60499-60499
(termFormat EnglishLanguage Unnilpentium "unnilpentium") domainEnglishFormat.kif 60498-60498

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


(=>
    (and
        (instance ?ATOM Unnilpentium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 262 Amu)))
Mid-level-ontology.kif 29097-29101


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