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 29660-29660 atomicNumber Copper and 29
(boilingPoint Copper
    (MeasureFn 2868.0 KelvinDegree))
Mid-level-ontology.kif 31157-31157 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 29668-29671 boilingPoint Copper and 2868.0 の KelvinDegree(s)
(externalImage Copper "http://articulatesoftware.com/SUMOpictures/rocks_minerals/ C/ Co/ Copper_0.png") pictureList.kif 366-366 boilingPoint Copper and 2868.0 の KelvinDegree(s)
(externalImage Copper "http://upload.wikimedia.org/wikipedia/commons/7/7d/ Cu_TableImage.png") pictureList.kif 1718-1718 boilingPoint Copper and 2868.0 の KelvinDegree(s)
(externalImage Copper "http://upload.wikimedia.org/wikipedia/commons/9/98/ Cu%2C29.jpg") pictureList.kif 2143-2143 boilingPoint Copper and 2868.0 の KelvinDegree(s)
(meltingPoint Copper
    (MeasureFn 1356.6 KelvinDegree))
Mid-level-ontology.kif 31156-31156 meltingPoint Copper and 1356.6 の KelvinDegree(s)
(names Copper "Copper") Mid-level-ontology.kif 29658-29658 "Copper" は Copper の &ames$"name" を 持って
(roomTempState Copper Solid) Mid-level-ontology.kif 33424-33424 roomTempState Copper and Solid
(subclass Copper ElementalSubstance) Mid-level-ontology.kif 29657-29657 Copper単体subclass では

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


(conventionalShortName "Cu" Copper) Mid-level-ontology.kif 29659-29659 conventionalShortName "Cu" and Copper
(termFormat ChineseLanguage Copper "铜") domainEnglishFormat.kif 17241-17241 conventionalShortName "Cu" and Copper
(termFormat ChineseTraditionalLanguage Copper "銅") domainEnglishFormat.kif 17240-17240 conventionalShortName "Cu" and Copper
(termFormat EnglishLanguage Copper "copper") domainEnglishFormat.kif 17239-17239 conventionalShortName "Cu" and Copper

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


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

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


(=>
    (instance ?BRASS Brass)
    (exists (?COPPER ?ZINC)
        (and
            (instance ?COPPER Copper)
            (instance ?ZINC Zinc)
            (part ?COPPER ?BRASS)
            (part ?ZINC ?BRASS))))
Mid-level-ontology.kif 10147-10154
(=>
    (instance ?ORE CopperOre)
    (exists (?METAL)
        (and
            (instance ?METAL Copper)
            (component ?METAL ?ORE))))
Economy.kif 5989-5994


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