Lead
|
|
appearance as argument number 1 |
(atomicNumber Lead 82) | Mid-level-ontology.kif 28743-28743 | atomicNumber Lead and 82 |
(boilingPoint Lead (MeasureFn 2013.0 KelvinDegree)) |
Mid-level-ontology.kif 29395-29395 | boilingPoint Lead and 2013.0 の KelvinDegree(s) |
(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 28751-28754 | |
(externalImage Lead "http://upload.wikimedia.org/wikipedia/commons/2/2b/ Lead_shielding.jpg") | pictureList.kif 2246-2246 | |
(externalImage Lead "http://upload.wikimedia.org/wikipedia/commons/c/cf/ Pb-TableImage.png") | pictureList.kif 1832-1832 | |
(externalImage Lead "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 2b/ Lead_shielding.jpg/ 125px-Lead_shielding.jpg") | pictureList.kif 1155-1155 | |
(meltingPoint Lead (MeasureFn 600.65 KelvinDegree)) |
Mid-level-ontology.kif 29394-29394 | meltingPoint Lead and 600.65 の KelvinDegree(s) |
(names Lead "Lead") | Mid-level-ontology.kif 28741-28741 | "Lead" は Lead の name を 持って %n{ない} |
(roomTempState Lead Solid) | Mid-level-ontology.kif 31564-31564 | roomTempState Lead and Solid |
(subclass Lead ElementalSubstance) | Mid-level-ontology.kif 28740-28740 | Lead は 単体 の subclass では %n |
appearance as argument number 2 |
(conventionalShortName "Pb" Lead) | Mid-level-ontology.kif 28742-28742 | conventionalShortName "Pb" and Lead |
(termFormat ChineseLanguage Lead "铅") | domainEnglishFormat.kif 33599-33599 | |
(termFormat ChineseTraditionalLanguage Lead "鉛") | domainEnglishFormat.kif 33598-33598 | |
(termFormat EnglishLanguage Lead "lead") | domainEnglishFormat.kif 33597-33597 |
antecedent |
(=> (and (instance ?ATOM Lead) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 207.19 Amu))) |
Mid-level-ontology.kif 28745-28749 |
consequent |
(=> (instance ?LAWB LeadAcidWetBattery) (material Lead ?LAWB)) |
Cars.kif 2440-2442 | |
(=> (instance ?ORE LeadOre) (exists (?METAL) (and (instance ?METAL Lead) (component ?METAL ?ORE)))) |
Economy.kif 5667-5672 |