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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Unniloctium

Sigma KEE - Unniloctium
Unniloctium

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


(atomicNumber Unniloctium 108) Mid-level-ontology.kif 29191-29191
(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
(subclass Unniloctium ElementalSubstance) Mid-level-ontology.kif 29188-29188

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


(conventionalShortName "Uno" Unniloctium) Mid-level-ontology.kif 29190-29190
(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