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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Lead
Lead

appearance as argument number 1
-------------------------


(atomicNumber Lead 82) Mid-level-ontology.kif 28976-28976
(boilingPoint Lead
    (MeasureFn 2013.0 KelvinDegree))
Mid-level-ontology.kif 29628-29628
(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 28984-28987
(externalImage Lead "http://upload.wikimedia.org/wikipedia/commons/2/2b/ Lead_shielding.jpg") pictureList.kif 2245-2245
(externalImage Lead "http://upload.wikimedia.org/wikipedia/commons/c/cf/ Pb-TableImage.png") pictureList.kif 1831-1831
(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 29627-29627
(names Lead "Lead") Mid-level-ontology.kif 28974-28974
(roomTempState Lead Solid) Mid-level-ontology.kif 31797-31797
(subclass Lead ElementalSubstance) Mid-level-ontology.kif 28973-28973

appearance as argument number 2
-------------------------


(conventionalShortName "Pb" Lead) Mid-level-ontology.kif 28975-28975
(termFormat ChineseLanguage Lead "铅") domainEnglishFormat.kif 33628-33628
(termFormat ChineseTraditionalLanguage Lead "鉛") domainEnglishFormat.kif 33627-33627
(termFormat EnglishLanguage Lead "lead") domainEnglishFormat.kif 33626-33626

antecedent
-------------------------


(=>
    (and
        (instance ?ATOM Lead)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 207.19 Amu)))
Mid-level-ontology.kif 28978-28982

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 5782-5787


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



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