TreeView Knowledge Base Browser

appearance as argument number 1

(atomicNumber Phosphorus 15)	Mid-level-ontology.kif 27562-27562	15 是磷的 atomic 數字
(boilingPoint Phosphorus (MeasureFn 553.0 KelvinDegree))	Mid-level-ontology.kif 29261-29261	測量 553.0 and 凱文度是磷的 boiling 點
(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 27570-27572
(externalImage Phosphorus "http://upload.wikimedia.org/wikipedia/commons/ 1/ 12/ P-TableImage.png")	pictureList.kif 1902-1902
(externalImage Phosphorus "http://upload.wikimedia.org/wikipedia/commons/ c/ c5/ P%2C15.jpg")	pictureList.kif 2289-2289
(externalImage Phosphorus "http://upload.wikimedia.org/wikipedia/commons/ thumb/ c/ c5/ P%2C15.jpg/ 125px-P%2C15.jpg")	pictureList.kif 1214-1214
(meltingPoint Phosphorus (MeasureFn 317.3 KelvinDegree))	Mid-level-ontology.kif 29260-29260	測量 317.3 and 凱文度是磷的 melting 點
(names Phosphorus "Phosphorus")	Mid-level-ontology.kif 27560-27560	名磷 and "Phosphorus"
(roomTempState Phosphorus Solid)	Mid-level-ontology.kif 31497-31497	roomTempState 磷 and 固體
(subclass Phosphorus ElementalSubstance)	Mid-level-ontology.kif 27559-27559	子類磷 and ElementalSubstance

appearance as argument number 2

(conventionalShortName "P" Phosphorus)	Mid-level-ontology.kif 27561-27561	磷是 "P" 的 conventional 簡稱
(relatedInternalConcept PhosphoricAcid Phosphorus)	Economy.kif 5984-5984	相關的內部概念磷酸 and 磷
(termFormat ChineseLanguage Phosphorus "磷")	domainEnglishFormat.kif 45638-45638
(termFormat ChineseTraditionalLanguage Phosphorus "磷")	domainEnglishFormat.kif 45637-45637
(termFormat EnglishLanguage Phosphorus "phosphorus")	domainEnglishFormat.kif 45636-45636

antecedent

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

Mid-level-ontology.kif 27564-27568