TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Phosphorus ElementalSubstance)	Mid-level-ontology.kif 30134-30134	Phosphorus is a subclass of elemental substance
(atomicNumber Phosphorus 15)	Mid-level-ontology.kif 30137-30137	15 is an atomic number of phosphorus
(documentation Phosphorus EnglishLanguage "Non-metallic element belonging to group 15 of the periodic table. Has a multiple allotropic forms. Essential element for living organisms. It was discovered by Brandt in 1669.")	Mid-level-ontology.kif 30145-30147	15 is an atomic number of phosphorus
(meltingPoint Phosphorus (MeasureFn 317.3 KelvinDegree))	Mid-level-ontology.kif 31835-31835	317.3 Kelvin degree(s) is a melting point of phosphorus
(boilingPoint Phosphorus (MeasureFn 553.0 KelvinDegree))	Mid-level-ontology.kif 31836-31836	553.0 Kelvin degree(s) is a boiling point of phosphorus
(roomTempState Phosphorus Solid)	Mid-level-ontology.kif 33937-33937	room temperature state phosphorus and solid
(externalImage Phosphorus "http://upload.wikimedia.org/wikipedia/commons/ thumb/ c/ c5/ P%2C15.jpg/ 125px_P%2C15.jpg")	pictureList.kif 1214-1214	room temperature state phosphorus and solid
(externalImage Phosphorus "http://upload.wikimedia.org/wikipedia/commons/ 1/ 12/ P_TableImage.png")	pictureList.kif 1901-1901	room temperature state phosphorus and solid
(externalImage Phosphorus "http://upload.wikimedia.org/wikipedia/commons/ c/ c5/ P%2C15.jpg")	pictureList.kif 2288-2288	room temperature state phosphorus and solid

appearance as argument number 2

(names "Phosphorus" Phosphorus)	Mid-level-ontology.kif 30135-30135	Phosphorus has name "Phosphorus"
(conventionalShortName "P" Phosphorus)	Mid-level-ontology.kif 30136-30136	Phosphorus is a conventional short name of "P"
(relatedInternalConcept PhosphoricAcid Phosphorus)	Economy.kif 6406-6406	Phosphoric acid is internally related to phosphorus
(termFormat EnglishLanguage Phosphorus "phosphorus")	domainEnglishFormat.kif 45629-45629	Phosphoric acid is internally related to phosphorus
(termFormat ChineseTraditionalLanguage Phosphorus "磷")	domainEnglishFormat.kif 45630-45630	Phosphoric acid is internally related to phosphorus
(termFormat ChineseLanguage Phosphorus "磷")	domainEnglishFormat.kif 45631-45631	Phosphoric acid is internally related to phosphorus

antecedent

(=>
    (and
        (instance ?ATOM Phosphorus)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 30.9738 Amu)))

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