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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Nickel

Sigma KEE - Nickel
Nickel

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


(atomicNumber Nickel 28) Mid-level-ontology.kif 27727-27727
(boilingPoint Nickel
    (MeasureFn 3005.0 KelvinDegree))
Mid-level-ontology.kif 29236-29236
(documentation Nickel EnglishLanguage "Malleable ductile silvery metallic transition element. Discovered by A.F. Cronstedt in 1751.") Mid-level-ontology.kif 27735-27736
(externalImage Nickel "http://upload.wikimedia.org/wikipedia/commons/0/08/ Ni%2C28.jpg") pictureList.kif 2266-2266
(externalImage Nickel "http://upload.wikimedia.org/wikipedia/commons/1/10/ Ni-TableImage.png") pictureList.kif 1866-1866
(externalImage Nickel "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 08/ Ni%2C28.jpg/ 125px-Ni%2C28.jpg") pictureList.kif 1197-1197
(meltingPoint Nickel
    (MeasureFn 1726.0 KelvinDegree))
Mid-level-ontology.kif 29235-29235
(names Nickel "Nickel") Mid-level-ontology.kif 27725-27725
(roomTempState Nickel Solid) Mid-level-ontology.kif 31478-31478
(subclass Nickel ElementalSubstance) Mid-level-ontology.kif 27724-27724

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


(conventionalShortName "Ni" Nickel) Mid-level-ontology.kif 27726-27726
(termFormat ChineseLanguage Nickel "镍") domainEnglishFormat.kif 40485-40485
(termFormat ChineseTraditionalLanguage Nickel "鎳") domainEnglishFormat.kif 40484-40484
(termFormat EnglishLanguage Nickel "nickel") domainEnglishFormat.kif 40483-40483

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


(=>
    (and
        (instance ?ATOM Nickel)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 58.71 Amu)))
Mid-level-ontology.kif 27729-27733

consequent
-------------------------


(=>
    (instance ?ORE NickelOre)
    (exists (?METAL)
        (and
            (instance ?METAL Nickel)
            (component ?METAL ?ORE))))
Economy.kif 5657-5662


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