| Lead(鉛)
| |
| appearance as argument number 1 |
|
|
| (atomicNumber Lead 82) | Mid-level-ontology.kif 28692-28692 | 82 是 鉛 的 atomic 數字 |
| (boilingPoint Lead (MeasureFn 2013.0 KelvinDegree)) |
Mid-level-ontology.kif 29344-29344 | 測量 2013.0 and 凱文度 是 鉛 的 boiling 點 |
| (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 28700-28703 | |
| (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 29343-29343 | 測量 600.65 and 凱文度 是 鉛 的 melting 點 |
| (names Lead "Lead") | Mid-level-ontology.kif 28690-28690 | 名 鉛 and "Lead" |
| (roomTempState Lead Solid) | Mid-level-ontology.kif 31532-31532 | roomTempState 鉛 and 固體 |
| (subclass Lead ElementalSubstance) | Mid-level-ontology.kif 28689-28689 | 子類 鉛 and ElementalSubstance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Pb" Lead) | Mid-level-ontology.kif 28691-28691 | 鉛 是 "Pb" 的 conventional 簡稱 |
| (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 28694-28698 |
| consequent |
|
|
| (=> (instance ?LAWB LeadAcidWetBattery) (material Lead ?LAWB)) |
Cars.kif 2457-2459 | |
| (=> (instance ?ORE LeadOre) (exists (?METAL) (and (instance ?METAL Lead) (component ?METAL ?ORE)))) |
Economy.kif 5667-5672 |
|
|
|