![]() |
![]() ![]() ![]()
|
![]() |
|
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 |
![]() |
![]() |