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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Unnildecium

Sigma KEE - Unnildecium
Unnildecium

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


(atomicNumber Unnildecium 110) Mid-level-ontology.kif 29221-29221
(documentation Unnildecium EnglishLanguage "Half-life of approximately 10ms. Reported in 1994 by German researchers at Darmstadt, Germany.") Mid-level-ontology.kif 29229-29230
(names Unnildecium "Unnildecium") Mid-level-ontology.kif 29219-29219
(subclass Unnildecium ElementalSubstance) Mid-level-ontology.kif 29218-29218

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


(conventionalShortName "Unn" Unnildecium) Mid-level-ontology.kif 29220-29220
(termFormat ChineseLanguage Unnildecium "unnildecium") domainEnglishFormat.kif 60484-60484
(termFormat ChineseTraditionalLanguage Unnildecium "unnildecium") domainEnglishFormat.kif 60483-60483
(termFormat EnglishLanguage Unnildecium "unnildecium") domainEnglishFormat.kif 60482-60482

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


(=>
    (and
        (instance ?ATOM Unnildecium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 272 Amu)))
Mid-level-ontology.kif 29223-29227


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