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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Unnilseptium

Sigma KEE - Unnilseptium
Unnilseptium

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


(atomicNumber Unnilseptium 107) Mid-level-ontology.kif 29175-29175 atomicNumber Unnilseptium and 107
(documentation Unnilseptium EnglishLanguage "Radioactive transition metal. Half-life of approximately 1/ 500 s. Discovered by the Joint Institute for Nuclear Research at Dubna (U.S.S.R.) in 1976. Confirmed by West German physicists at the Heavy Ion Research Laboratory at Darmstadt.") Mid-level-ontology.kif 29183-29186
(externalImage Unnilseptium "http://upload.wikimedia.org/wikipedia/commons/ 8/ 80/ Bh-TableImage.png") pictureList.kif 6949-6949
(names Unnilseptium "Unnilseptium") Mid-level-ontology.kif 29174-29174 "Unnilseptium" は Unnilseptiumname を 持って %n{ない}
(subclass Unnilseptium ElementalSubstance) Mid-level-ontology.kif 29173-29173 Unnilseptium単体subclass では %n

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


(termFormat ChineseLanguage Unnilseptium "unnilseptium") domainEnglishFormat.kif 60514-60514
(termFormat ChineseTraditionalLanguage Unnilseptium "unnilseptium") domainEnglishFormat.kif 60513-60513
(termFormat EnglishLanguage Unnilseptium "unnilseptium") domainEnglishFormat.kif 60512-60512

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


(=>
    (and
        (instance ?ATOM Unnilseptium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 262 Amu)))
Mid-level-ontology.kif 29177-29181


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