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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Phosphorus
Phosphorus(phosphorus)
P, atomic_number_15, phosphorus

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


(atomicNumber Phosphorus 15) Mid-level-ontology.kif 25871-25871 15 is an atomic number of phosphorus
(boilingPoint Phosphorus
    (MeasureFn 553 KelvinDegree))
Mid-level-ontology.kif 27474-27474 553 Kelvin degree(s) is a boiling point 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 25878-25880
(externalImage Phosphorus "http://upload.wikimedia.org/wikipedia/commons/ 1/ 12/ P-TableImage.png") pictureList.kif 1903-1903
(externalImage Phosphorus "http://upload.wikimedia.org/wikipedia/commons/ c/ c5/ P%2C15.jpg") pictureList.kif 2290-2290
(externalImage Phosphorus "http://upload.wikimedia.org/wikipedia/commons/ thumb/ c/ c5/ P%2C15.jpg/ 125px-P%2C15.jpg") pictureList.kif 1215-1215
(meltingPoint Phosphorus
    (MeasureFn 317.3 KelvinDegree))
Mid-level-ontology.kif 27473-27473 317.3 Kelvin degree(s) is a melting point of phosphorus
(names Phosphorus "Phosphorus") Mid-level-ontology.kif 25869-25869 "Phosphorus" has name phosphorus
(subclass Phosphorus ElementalSubstance) Mid-level-ontology.kif 25868-25868 Phosphorus is a subclass of elemental substance

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


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

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


(=>
    (and
        (instance ?ATOM Phosphorus)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 30.9738 Amu)))
Mid-level-ontology.kif 25872-25876


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