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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Copper

Sigma KEE - Copper
Copper

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


(atomicNumber Copper 29) Mid-level-ontology.kif 27657-27657
(boilingPoint Copper
    (MeasureFn 2868.0 KelvinDegree))
Mid-level-ontology.kif 29154-29154
(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 27665-27668
(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 29153-29153
(names Copper "Copper") Mid-level-ontology.kif 27655-27655
(roomTempState Copper Solid) Mid-level-ontology.kif 31390-31390
(subclass Copper ElementalSubstance) Mid-level-ontology.kif 27654-27654

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


(conventionalShortName "Cu" Copper) Mid-level-ontology.kif 27656-27656
(termFormat ChineseLanguage Copper "铜") domainEnglishFormat.kif 17218-17218
(termFormat ChineseTraditionalLanguage Copper "銅") domainEnglishFormat.kif 17217-17217
(termFormat EnglishLanguage Copper "copper") domainEnglishFormat.kif 17216-17216

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


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

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


(=>
    (instance ?BRASS Brass)
    (exists (?COPPER ?ZINC)
        (and
            (instance ?COPPER Copper)
            (instance ?ZINC Zinc)
            (part ?COPPER ?BRASS)
            (part ?ZINC ?BRASS))))
Mid-level-ontology.kif 8901-8908
(=>
    (instance ?ORE CopperOre)
    (exists (?METAL)
        (and
            (instance ?METAL Copper)
            (component ?METAL ?ORE))))
Economy.kif 4696-4701


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