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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Lead
Lead(lead)
Pb, Pbit, atomic_number_82, lead, petabit

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


(atomicNumber Lead 82) Mid-level-ontology.kif 28608-28608 82 is an atomic number of lead
(boilingPoint Lead
    (MeasureFn 2013.0 KelvinDegree))
Mid-level-ontology.kif 29260-29260 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 28616-28619
(externalImage Lead "http://upload.wikimedia.org/wikipedia/commons/2/2b/ Lead_shielding.jpg") pictureList.kif 2247-2247
(externalImage Lead "http://upload.wikimedia.org/wikipedia/commons/c/cf/ Pb-TableImage.png") pictureList.kif 1833-1833
(externalImage Lead "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 2b/ Lead_shielding.jpg/ 125px-Lead_shielding.jpg") pictureList.kif 1156-1156
(meltingPoint Lead
    (MeasureFn 600.65 KelvinDegree))
Mid-level-ontology.kif 29259-29259 600.65 Kelvin degree(s) is a melting point of lead
(names Lead "Lead") Mid-level-ontology.kif 28606-28606 "Lead" has name lead
(roomTempState Lead Solid) Mid-level-ontology.kif 31443-31443 roomTempState lead and solid
(subclass Lead ElementalSubstance) Mid-level-ontology.kif 28605-28605 Lead is a subclass of elemental substance

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


(conventionalShortName "Pb" Lead) Mid-level-ontology.kif 28607-28607 Lead is a conventional short name of "Pb"
(termFormat ChineseLanguage Lead "铅") domainEnglishFormat.kif 33577-33577
(termFormat ChineseTraditionalLanguage Lead "鉛") domainEnglishFormat.kif 33576-33576
(termFormat EnglishLanguage Lead "lead") domainEnglishFormat.kif 33575-33575

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


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

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 4716-4721


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