TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Lead ElementalSubstance)	Mid-level-ontology.kif 31315-31315	Lead is a subclass of elemental substance
(atomicNumber Lead 82)	Mid-level-ontology.kif 31318-31318	82 is an atomic number 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 31326-31329	82 is an atomic number of lead
(meltingPoint Lead (MeasureFn 600.65 KelvinDegree))	Mid-level-ontology.kif 31969-31969	600.65 Kelvin degree(s) is a melting point of lead
(boilingPoint Lead (MeasureFn 2013.0 KelvinDegree))	Mid-level-ontology.kif 31970-31970	2013.0 Kelvin degree(s) is a boiling point of lead
(roomTempState Lead Solid)	Mid-level-ontology.kif 34004-34004	room temperature state lead and solid
(externalImage Lead "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 2b/ Lead_shielding.jpg/ 125px_Lead_shielding.jpg")	pictureList.kif 1155-1155	room temperature state lead and solid
(externalImage Lead "http://upload.wikimedia.org/wikipedia/commons/c/cf/ Pb_TableImage.png")	pictureList.kif 1831-1831	room temperature state lead and solid
(externalImage Lead "http://upload.wikimedia.org/wikipedia/commons/2/2b/ Lead_shielding.jpg")	pictureList.kif 2245-2245	room temperature state lead and solid

appearance as argument number 2

(names "Lead" Lead)	Mid-level-ontology.kif 31316-31316	Lead has name "Lead"
(conventionalShortName "Pb" Lead)	Mid-level-ontology.kif 31317-31317	Lead is a conventional short name of "Pb"
(subclass LeadArtifact Lead)	Society.kif 575-575	LeadArtifact is a subclass of lead
(termFormat EnglishLanguage Lead "lead")	domainEnglishFormat.kif 33601-33601	LeadArtifact is a subclass of lead
(termFormat ChineseTraditionalLanguage Lead "鉛")	domainEnglishFormat.kif 33602-33602	LeadArtifact is a subclass of lead
(termFormat ChineseLanguage Lead "铅")	domainEnglishFormat.kif 33603-33603	LeadArtifact is a subclass of lead

antecedent

(=>
    (and
        (instance ?ATOM Lead)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 207.19 Amu)))

If X is an instance of lead and X is an instance of atom, then the measure of X is 207.19 amu(s)

consequent

(=> (instance ?SHOT FirearmShot) (exists (?C ?P ?CLASS ?X) (and (instance ?C CollectionOfObjects) (member ?P ?C) (instance ?P ?CLASS) (subclass ?CLASS SphericalObject) (approximateDiameter ?P (MeasureFn ?X Millimeter)) (modalAttribute (and (material ?CLASS Lead) (lessThan ?X 10)) Likely))))	Mid-level-ontology.kif 1147-1160	If X is an instance of firearm shot, then there exist Y, Z,, , W and V such that Y is an instance of collection and Z is a member of Y and Z is an instance of W and W is a subclass of spherical object and the approximate diameter of Z is V millimeter(s) and the statement lead is made of W and V is less than 10 has the modal force of likely
(=> (instance ?LAWB LeadAcidWetBattery) (material Lead ?LAWB))	Cars.kif 2298-2300	If X is an instance of lead acid battery, then X is made of lead
(=> (instance ?ORE LeadOre) (exists (?METAL) (and (instance ?METAL Lead) (component ?METAL ?ORE))))	Economy.kif 6026-6031	If X is an instance of lead ore, then there exists Y such that Y is an instance of lead and Y is a component of X