Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - Lead

appearance as argument number 1

(atomicNumber Lead 82) Mid-level-ontology.kif 28692-28692 atomicNumber Lead and 82
(boilingPoint Lead
    (MeasureFn 2013.0 KelvinDegree))
Mid-level-ontology.kif 29344-29344 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 28700-28703
(externalImage Lead " Lead_shielding.jpg") pictureList.kif 2246-2246
(externalImage Lead " Pb-TableImage.png") pictureList.kif 1832-1832
(externalImage Lead " 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 meltingPoint Lead and 600.65 KelvinDegree(s)
(names Lead "Lead") Mid-level-ontology.kif 28690-28690 "Lead" s'appele nom Lead
(roomTempState Lead Solid) Mid-level-ontology.kif 31532-31532 roomTempState Lead and Solid
(subclass Lead ElementalSubstance) Mid-level-ontology.kif 28689-28689 Lead est une sous-classe de substance �l�mentaire

appearance as argument number 2

(conventionalShortName "Pb" Lead) Mid-level-ontology.kif 28691-28691 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


        (instance ?ATOM Lead)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 207.19 Amu)))
Mid-level-ontology.kif 28694-28698


    (instance ?LAWB LeadAcidWetBattery)
    (material Lead ?LAWB))
Cars.kif 2457-2459
    (instance ?ORE LeadOre)
    (exists (?METAL)
            (instance ?METAL Lead)
            (component ?METAL ?ORE))))
Economy.kif 5667-5672

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners