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 30802-30802 107 is an atomic number of unnilseptium
(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 30810-30813 107 is an atomic number of unnilseptium
(externalImage Unnilseptium "http://upload.wikimedia.org/wikipedia/commons/ 8/ 80/ Bh_TableImage.png") pictureList.kif 6948-6948 107 is an atomic number of unnilseptium
(names Unnilseptium "Unnilseptium") Mid-level-ontology.kif 30801-30801 "Unnilseptium" has name unnilseptium
(subclass Unnilseptium ElementalSubstance) Mid-level-ontology.kif 30800-30800 Unnilseptium is a subclass of elemental substance

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


(termFormat ChineseLanguage Unnilseptium "unnilseptium") domainEnglishFormat.kif 60535-60535
(termFormat ChineseTraditionalLanguage Unnilseptium "unnilseptium") domainEnglishFormat.kif 60534-60534
(termFormat EnglishLanguage Unnilseptium "unnilseptium") domainEnglishFormat.kif 60533-60533

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


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


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