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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Unniloctium

Sigma KEE - Unniloctium
Unniloctium(unniloctium)

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


(atomicNumber Unniloctium 108) Mid-level-ontology.kif 29191-29191 108 是 Unniloctiumatomic 數字
(documentation Unniloctium EnglishLanguage "Radioactive transition metal.") Mid-level-ontology.kif 29199-29199
(externalImage Unniloctium "http://upload.wikimedia.org/wikipedia/commons/ 6/ 67/ Hs-TableImage.png") pictureList.kif 6946-6946
(names Unniloctium "Unniloctium") Mid-level-ontology.kif 29189-29189 unniloctium and "Unniloctium"
(subclass Unniloctium ElementalSubstance) Mid-level-ontology.kif 29188-29188 子類 unniloctium and ElementalSubstance

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


(conventionalShortName "Uno" Unniloctium) Mid-level-ontology.kif 29190-29190 Unniloctium 是 "Uno" 的 conventional 簡稱
(termFormat ChineseLanguage Unniloctium "unniloctium") domainEnglishFormat.kif 60496-60496
(termFormat ChineseTraditionalLanguage Unniloctium "unniloctium") domainEnglishFormat.kif 60495-60495
(termFormat EnglishLanguage Unniloctium "unniloctium") domainEnglishFormat.kif 60494-60494

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


(=>
    (and
        (instance ?ATOM Unniloctium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 265 Amu)))
Mid-level-ontology.kif 29193-29197


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