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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Unniloctium
Unniloctium

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


(atomicNumber Unniloctium 108) Mid-level-ontology.kif 29140-29140 atomicNumber Unniloctium and 108
(documentation Unniloctium EnglishLanguage "Radioactive transition metal.") Mid-level-ontology.kif 29148-29148
(externalImage Unniloctium "http://upload.wikimedia.org/wikipedia/commons/ 6/ 67/ Hs-TableImage.png") pictureList.kif 6946-6946
(names Unniloctium "Unniloctium") Mid-level-ontology.kif 29138-29138 "Unniloctium" は Unniloctiumname を 持って %n{ない}
(subclass Unniloctium ElementalSubstance) Mid-level-ontology.kif 29137-29137 Unniloctium単体subclass では %n

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


(conventionalShortName "Uno" Unniloctium) Mid-level-ontology.kif 29139-29139 conventionalShortName "Uno" and Unniloctium
(termFormat ChineseLanguage Unniloctium "unniloctium") domainEnglishFormat.kif 60494-60494
(termFormat ChineseTraditionalLanguage Unniloctium "unniloctium") domainEnglishFormat.kif 60493-60493
(termFormat EnglishLanguage Unniloctium "unniloctium") domainEnglishFormat.kif 60492-60492

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


(=>
    (and
        (instance ?ATOM Unniloctium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 265 Amu)))
Mid-level-ontology.kif 29142-29146


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