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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Copper
Copper(铜)

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


(atomicNumber Copper 29) Mid-level-ontology.kif 27227-27227 29 是 atomic 数字
(boilingPoint Copper
    (MeasureFn 2868.0 KelvinDegree))
Mid-level-ontology.kif 28724-28724 2868.0 凯文度boiling
(documentation Copper EnglishLanguage "Red-brown transition element. Known by the Romans as 'cuprum.' Extracted and used for thousands of years. Malleable, ductile and an excellent conductor of heat and electricity. When in moist conditions, a greenish layer forms on the outside.") Mid-level-ontology.kif 27235-27238
(externalImage Copper "http://upload.wikimedia.org/wikipedia/commons/7/7d/ Cu-TableImage.png") pictureList.kif 1720-1720
(externalImage Copper "http://upload.wikimedia.org/wikipedia/commons/9/98/ Cu%2C29.jpg") pictureList.kif 2145-2145
(externalImage Copper "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ rocks_minerals/ C/ Co/ Copper_0.png") pictureList.kif 366-366
(meltingPoint Copper
    (MeasureFn 1356.6 KelvinDegree))
Mid-level-ontology.kif 28723-28723 1356.6 凯文度melting
(names Copper "Copper") Mid-level-ontology.kif 27225-27225 "Copper" 的名 是
(subclass Copper ElementalSubstance) Mid-level-ontology.kif 27224-27224 元素物质subclass

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


(conventionalShortName "Cu" Copper) Mid-level-ontology.kif 27226-27226 是 "Cu" 的 conventional 简称
(termFormat ChineseLanguage Copper "铜") domainEnglishFormat.kif 17223-17223
(termFormat ChineseTraditionalLanguage Copper "銅") domainEnglishFormat.kif 17222-17222
(termFormat EnglishLanguage Copper "copper") domainEnglishFormat.kif 17221-17221

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


(=>
    (and
        (instance ?ATOM Copper)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 63.54 Amu)))
Mid-level-ontology.kif 27229-27233

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


(=>
    (instance ?BRASS Brass)
    (exists (?COPPER ?ZINC)
        (and
            (instance ?COPPER Copper)
            (instance ?ZINC Zinc)
            (part ?COPPER ?BRASS)
            (part ?ZINC ?BRASS))))
Mid-level-ontology.kif 8590-8597
(=>
    (instance ?ORE CopperOre)
    (exists (?METAL)
        (and
            (instance ?METAL Copper)
            (component ?METAL ?ORE))))
Economy.kif 4690-4695


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