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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Copper
Copper(copper)
Cu, atomic_number_29, copper

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


(atomicNumber Copper 29) Mid-level-ontology.kif 26033-26033 29 is an atomic number of copper
(boilingPoint Copper
    (MeasureFn 2868 KelvinDegree))
Mid-level-ontology.kif 27448-27448 2868 Kelvin degree(s) is a boiling point of copper
(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 26040-26043
(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 27447-27447 1356.6 Kelvin degree(s) is a melting point of copper
(names Copper "Copper") Mid-level-ontology.kif 26031-26031 "Copper" has name copper
(subclass Copper ElementalSubstance) Mid-level-ontology.kif 26030-26030 Copper is a subclass of elemental substance

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


(conventionalShortName "Cu" Copper) Mid-level-ontology.kif 26032-26032 Copper is a conventional short name of "Cu"
(termFormat ChineseLanguage Copper "铜") domainEnglishFormat.kif 17155-17155
(termFormat ChineseTraditionalLanguage Copper "銅") domainEnglishFormat.kif 17154-17154
(termFormat EnglishLanguage Copper "copper") domainEnglishFormat.kif 17153-17153

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


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

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


(=>
    (instance ?BRASS Brass)
    (exists (?COPPER ?ZINC)
        (and
            (instance ?COPPER Copper)
            (instance ?ZINC Zinc)
            (part ?COPPER ?BRASS)
            (part ?ZINC ?BRASS))))
Mid-level-ontology.kif 8623-8630
(=>
    (instance ?ORE CopperOre)
    (exists (?METAL)
        (and
            (instance ?METAL Copper)
            (component ?METAL ?ORE))))
Economy.kif 4532-4537


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners