TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Copper ElementalSubstance)	Mid-level-ontology.kif 30364-30364	Copper is a subclass of elemental substance
(atomicNumber Copper 29)	Mid-level-ontology.kif 30367-30367	29 is an atomic number 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 30375-30378	29 is an atomic number of copper
(meltingPoint Copper (MeasureFn 1356.6 KelvinDegree))	Mid-level-ontology.kif 31863-31863	1356.6 Kelvin degree(s) is a melting point of copper
(boilingPoint Copper (MeasureFn 2868.0 KelvinDegree))	Mid-level-ontology.kif 31864-31864	2868.0 Kelvin degree(s) is a boiling point of copper
(roomTempState Copper Solid)	Mid-level-ontology.kif 33951-33951	room temperature state copper and solid
(externalImage Copper "http://articulatesoftware.com/SUMOpictures/rocks_minerals/ C/ Co/ Copper_0.png")	pictureList.kif 366-366	room temperature state copper and solid
(externalImage Copper "http://upload.wikimedia.org/wikipedia/commons/7/7d/ Cu_TableImage.png")	pictureList.kif 1718-1718	room temperature state copper and solid
(externalImage Copper "http://upload.wikimedia.org/wikipedia/commons/9/98/ Cu%2C29.jpg")	pictureList.kif 2143-2143	room temperature state copper and solid

appearance as argument number 2

(names "Copper" Copper)	Mid-level-ontology.kif 30365-30365	Copper has name "Copper"
(conventionalShortName "Cu" Copper)	Mid-level-ontology.kif 30366-30366	Copper is a conventional short name of "Cu"
(termFormat EnglishLanguage Copper "copper")	domainEnglishFormat.kif 17232-17232	Copper is a conventional short name of "Cu"
(termFormat ChineseTraditionalLanguage Copper "銅")	domainEnglishFormat.kif 17233-17233	Copper is a conventional short name of "Cu"
(termFormat ChineseLanguage Copper "铜")	domainEnglishFormat.kif 17234-17234	Copper is a conventional short name of "Cu"

antecedent

(=>
    (and
        (instance ?ATOM Copper)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 63.54 Amu)))

If X is an instance of copper and X is an instance of atom, then the measure of X is 63.54 amu(s)

consequent

(=> (instance ?BRASS Brass) (exists (?COPPER ?ZINC) (and (instance ?COPPER Copper) (instance ?ZINC Zinc) (part ?COPPER ?BRASS) (part ?ZINC ?BRASS))))	Mid-level-ontology.kif 10308-10315	If X is an instance of brass, then there exist Y, Z such that Y is an instance of copper, Z is an instance of zinc, Y is a part of X, and Z is a part of X
(=> (instance ?ORE CopperOre) (exists (?METAL) (and (instance ?METAL Copper) (component ?METAL ?ORE))))	Economy.kif 6003-6008	If X is an instance of copper ore, then there exists Y such that Y is an instance of copper and Y is a component of X