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 30370-30370 82 is an atomic number of lead
(boilingPoint Lead
    (MeasureFn 2013.0 KelvinDegree))
Mid-level-ontology.kif 31022-31022 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 30378-30381 2013.0 Kelvin degree(s) is a boiling point of lead
(externalImage Lead "http://upload.wikimedia.org/wikipedia/commons/2/2b/ Lead_shielding.jpg") pictureList.kif 2245-2245 2013.0 Kelvin degree(s) is a boiling point of lead
(externalImage Lead "http://upload.wikimedia.org/wikipedia/commons/c/cf/ Pb_TableImage.png") pictureList.kif 1831-1831 2013.0 Kelvin degree(s) is a boiling point of lead
(externalImage Lead "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 2b/ Lead_shielding.jpg/ 125px_Lead_shielding.jpg") pictureList.kif 1155-1155 2013.0 Kelvin degree(s) is a boiling point of lead
(meltingPoint Lead
    (MeasureFn 600.65 KelvinDegree))
Mid-level-ontology.kif 31021-31021 600.65 Kelvin degree(s) is a melting point of lead
(names Lead "Lead") Mid-level-ontology.kif 30368-30368 "Lead" has name lead
(roomTempState Lead Solid) Mid-level-ontology.kif 33236-33236 room temperature state lead and solid
(subclass Lead ElementalSubstance) Mid-level-ontology.kif 30367-30367 Lead is a subclass of elemental substance

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


(conventionalShortName "Pb" Lead) Mid-level-ontology.kif 30369-30369 Lead is a conventional short name of "Pb"
(termFormat ChineseLanguage Lead "铅") domainEnglishFormat.kif 33627-33627 Lead is a conventional short name of "Pb"
(termFormat ChineseTraditionalLanguage Lead "鉛") domainEnglishFormat.kif 33626-33626 Lead is a conventional short name of "Pb"
(termFormat EnglishLanguage Lead "lead") domainEnglishFormat.kif 33625-33625 Lead is a conventional short name of "Pb"

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


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

consequent
-------------------------


(=>
    (instance ?LAWB LeadAcidWetBattery)
    (material Lead ?LAWB))
Cars.kif 2441-2443
(=>
    (instance ?ORE LeadOre)
    (exists (?METAL)
        (and
            (instance ?METAL Lead)
            (component ?METAL ?ORE))))
Economy.kif 6009-6014
(=>
    (instance ?SHOT FirearmShot)
    (exists (?C ?P ?X)
        (and
            (instance ?C Collection)
            (member ?P ?C)
            (instance ?P SphericalObject)
            (approximateDiameter ?P
                (MeasureFn ?X Millimeter))
            (modalAttribute
                (and
                    (material ?P Lead)
                    (lessThan ?X 10)) Likely))))
Mid-level-ontology.kif 1150-1162


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