TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Aluminum ElementalSubstance)	Mid-level-ontology.kif 30099-30099	Aluminum is a subclass of elemental substance
(atomicNumber Aluminum 13)	Mid-level-ontology.kif 30102-30102	13 is an atomic number of aluminum
(documentation Aluminum EnglishLanguage "Silvery-white lustrous metallic element of group 3 of the periodic table. Highly reactive but protected by a thin transparent layer of the oxide which quickly forms in air. There are many alloys of aluminum, as well as a good number of industrial uses. Makes up 8.1 percent of the Earth's crust, by weight. Isolated in 1825 by H.C. Oersted.")	Mid-level-ontology.kif 30110-30115	13 is an atomic number of aluminum
(meltingPoint Aluminum (MeasureFn 933.52 KelvinDegree))	Mid-level-ontology.kif 31831-31831	933.52 Kelvin degree(s) is a melting point of aluminum
(boilingPoint Aluminum (MeasureFn 2740.0 KelvinDegree))	Mid-level-ontology.kif 31832-31832	2740.0 Kelvin degree(s) is a boiling point of aluminum
(roomTempState Aluminum Solid)	Mid-level-ontology.kif 33935-33935	room temperature state aluminum and solid
(externalImage Aluminum "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 19/ Aluminum_Metal_coinless.jpg/ 180px_Aluminum_Metal_coinless.jpg")	pictureList.kif 1025-1025	room temperature state aluminum and solid
(externalImage Aluminum "http://upload.wikimedia.org/wikipedia/commons/1/ 19/ Aluminum_Metal_coinless.jpg")	pictureList.kif 2098-2098	room temperature state aluminum and solid

appearance as argument number 2

(names "Aluminum" Aluminum)	Mid-level-ontology.kif 30100-30100	Aluminum has name "Aluminum"
(conventionalShortName "Al" Aluminum)	Mid-level-ontology.kif 30101-30101	Aluminum is a conventional short name of "Al"
(termFormat EnglishLanguage Aluminum "aluminum")	domainEnglishFormat.kif 7031-7031	Aluminum is a conventional short name of "Al"
(termFormat ChineseTraditionalLanguage Aluminum "鋁")	domainEnglishFormat.kif 7032-7032	Aluminum is a conventional short name of "Al"
(termFormat ChineseLanguage Aluminum "铝")	domainEnglishFormat.kif 7033-7033	Aluminum is a conventional short name of "Al"

antecedent

(=>
    (and
        (instance ?ATOM Aluminum)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 26.9815 Amu)))

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

consequent

(=> (instance ?RV8 RoverV8Engine) (material Aluminum ?RV8))	Cars.kif 4614-4616	If X is an instance of Rover v8, then X is made of aluminum
(=> (instance ?OBJ OpticalDisc) (or (material Gold ?OBJ) (material Aluminum ?OBJ)))	Media.kif 1088-1092	If X is an instance of optical disc, then X is made of gold or X is made of aluminum