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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Unnilseptium
Unnilseptium(unnilseptium)

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


(atomicNumber Unnilseptium 107) Mid-level-ontology.kif 29124-29124 107 是 Unnilseptiumatomic 數字
(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 29132-29135
(externalImage Unnilseptium "http://upload.wikimedia.org/wikipedia/commons/ 8/ 80/ Bh-TableImage.png") pictureList.kif 6949-6949
(names Unnilseptium "Unnilseptium") Mid-level-ontology.kif 29123-29123 unnilseptium and "Unnilseptium"
(subclass Unnilseptium ElementalSubstance) Mid-level-ontology.kif 29122-29122 子類 unnilseptium and ElementalSubstance

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


(termFormat ChineseLanguage Unnilseptium "unnilseptium") domainEnglishFormat.kif 60512-60512
(termFormat ChineseTraditionalLanguage Unnilseptium "unnilseptium") domainEnglishFormat.kif 60511-60511
(termFormat EnglishLanguage Unnilseptium "unnilseptium") domainEnglishFormat.kif 60510-60510

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


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


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