| Copper(copper)
| | Cu, atomic_number_29, copper |
| appearance as argument number 1 |
|
|
| (atomicNumber Copper 29) | Mid-level-ontology.kif 29662-29662 | 29 is an atomic number of copper |
| (boilingPoint Copper (MeasureFn 2868.0 KelvinDegree)) |
Mid-level-ontology.kif 31159-31159 | 2868.0 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 29670-29673 | 2868.0 Kelvin degree(s) is a boiling point of copper |
| (externalImage Copper "http://articulatesoftware.com/SUMOpictures/rocks_minerals/ C/ Co/ Copper_0.png") | pictureList.kif 366-366 | 2868.0 Kelvin degree(s) is a boiling point of copper |
| (externalImage Copper "http://upload.wikimedia.org/wikipedia/commons/7/7d/ Cu_TableImage.png") | pictureList.kif 1718-1718 | 2868.0 Kelvin degree(s) is a boiling point of copper |
| (externalImage Copper "http://upload.wikimedia.org/wikipedia/commons/9/98/ Cu%2C29.jpg") | pictureList.kif 2143-2143 | 2868.0 Kelvin degree(s) is a boiling point of copper |
| (meltingPoint Copper (MeasureFn 1356.6 KelvinDegree)) |
Mid-level-ontology.kif 31158-31158 | 1356.6 Kelvin degree(s) is a melting point of copper |
| (names Copper "Copper") | Mid-level-ontology.kif 29660-29660 | "Copper" has &ames$"name" Copper |
| (roomTempState Copper Solid) | Mid-level-ontology.kif 33426-33426 | room temperature state copper and solid |
| (subclass Copper ElementalSubstance) | Mid-level-ontology.kif 29659-29659 | Copper is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Cu" Copper) | Mid-level-ontology.kif 29661-29661 | Copper is a conventional short name of "Cu" |
| (termFormat ChineseLanguage Copper "铜") | domainEnglishFormat.kif 17241-17241 | Copper is a conventional short name of "Cu" |
| (termFormat ChineseTraditionalLanguage Copper "銅") | domainEnglishFormat.kif 17240-17240 | Copper is a conventional short name of "Cu" |
| (termFormat EnglishLanguage Copper "copper") | domainEnglishFormat.kif 17239-17239 | Copper is a conventional short name of "Cu" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Copper) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 63.54 Amu))) |
Mid-level-ontology.kif 29664-29668 |
|
| 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 |
|
|
|
|