| Lead(lead)
| | Pb, Pbit, atomic_number_82, lead, petabit |
| appearance as argument number 1 |
|
|
| (atomicNumber Lead 82) | Mid-level-ontology.kif 29807-29807 | 82 is an atomic number of lead |
| (boilingPoint Lead (MeasureFn 2013.0 KelvinDegree)) |
Mid-level-ontology.kif 30459-30459 | 2013.0 Kelvin degree(s) is a boiling point of lead |
| (documentation Lead EnglishLanguage "Heavy dull grey ductile metallic element, belongs to group 14. Used in building construction, lead_place accumulators, bullets and shot, and is part of solder, pewter, bearing metals, type metals and fusible alloys.") | Mid-level-ontology.kif 29815-29818 | 2013.0 Kelvin degree(s) is a boiling point of lead |
| (externalImage Lead "http://upload.wikimedia.org/wikipedia/commons/2/2b/ Lead_shielding.jpg") | pictureList.kif 2245-2245 | 2013.0 Kelvin degree(s) is a boiling point of lead |
| (externalImage Lead "http://upload.wikimedia.org/wikipedia/commons/c/cf/ Pb_TableImage.png") | pictureList.kif 1831-1831 | 2013.0 Kelvin degree(s) is a boiling point of lead |
| (externalImage Lead "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 2b/ Lead_shielding.jpg/ 125px_Lead_shielding.jpg") | pictureList.kif 1155-1155 | 2013.0 Kelvin degree(s) is a boiling point of lead |
| (meltingPoint Lead (MeasureFn 600.65 KelvinDegree)) |
Mid-level-ontology.kif 30458-30458 | 600.65 Kelvin degree(s) is a melting point of lead |
| (names Lead "Lead") | Mid-level-ontology.kif 29805-29805 | "Lead" has name lead |
| (roomTempState Lead Solid) | Mid-level-ontology.kif 32655-32655 | roomTempState lead and solid |
| (subclass Lead ElementalSubstance) | Mid-level-ontology.kif 29804-29804 | Lead is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Pb" Lead) | Mid-level-ontology.kif 29806-29806 | Lead is a conventional short name of "Pb" |
| (termFormat ChineseLanguage Lead "铅") | domainEnglishFormat.kif 33627-33627 | Lead is a conventional short name of "Pb" |
| (termFormat ChineseTraditionalLanguage Lead "鉛") | domainEnglishFormat.kif 33626-33626 | Lead is a conventional short name of "Pb" |
| (termFormat EnglishLanguage Lead "lead") | domainEnglishFormat.kif 33625-33625 | Lead is a conventional short name of "Pb" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Lead) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 207.19 Amu))) |
Mid-level-ontology.kif 29809-29813 |
|
| consequent |
|
|
| (=> (instance ?LAWB LeadAcidWetBattery) (material Lead ?LAWB)) |
Cars.kif 2441-2443 |
|
| (=> (instance ?ORE LeadOre) (exists (?METAL) (and (instance ?METAL Lead) (component ?METAL ?ORE)))) |
Economy.kif 5877-5882 |
|
|
|
|