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 27741-27741 atomicNumber Copper and 29
(boilingPoint Copper
    (MeasureFn 2868.0 KelvinDegree))
Mid-level-ontology.kif 29238-29238 boilingPoint Copper and 2868.0 KelvinDegree(s)
(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 27749-27752
(externalImage Copper "http://articulatesoftware.com/SUMOpictures/rocks_minerals/ C/ Co/ Copper_0.png") pictureList.kif 366-366
(externalImage Copper "http://upload.wikimedia.org/wikipedia/commons/7/7d/ Cu-TableImage.png") pictureList.kif 1719-1719
(externalImage Copper "http://upload.wikimedia.org/wikipedia/commons/9/98/ Cu%2C29.jpg") pictureList.kif 2144-2144
(meltingPoint Copper
    (MeasureFn 1356.6 KelvinDegree))
Mid-level-ontology.kif 29237-29237 meltingPoint Copper and 1356.6 KelvinDegree(s)
(names Copper "Copper") Mid-level-ontology.kif 27739-27739 "Copper" s'appele nom Copper
(roomTempState Copper Solid) Mid-level-ontology.kif 31479-31479 roomTempState Copper and Solid
(subclass Copper ElementalSubstance) Mid-level-ontology.kif 27738-27738 Copper est une sous-classe de substance �l�mentaire

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


(conventionalShortName "Cu" Copper) Mid-level-ontology.kif 27740-27740 conventionalShortName "Cu" and Copper
(termFormat ChineseLanguage Copper "铜") domainEnglishFormat.kif 17232-17232
(termFormat ChineseTraditionalLanguage Copper "銅") domainEnglishFormat.kif 17231-17231
(termFormat EnglishLanguage Copper "copper") domainEnglishFormat.kif 17230-17230

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


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

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


(=>
    (instance ?BRASS Brass)
    (exists (?COPPER ?ZINC)
        (and
            (instance ?COPPER Copper)
            (instance ?ZINC Zinc)
            (part ?COPPER ?BRASS)
            (part ?ZINC ?BRASS))))
Mid-level-ontology.kif 8941-8948
(=>
    (instance ?ORE CopperOre)
    (exists (?METAL)
        (and
            (instance ?METAL Copper)
            (component ?METAL ?ORE))))
Economy.kif 5647-5652


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