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 28626-28626 15 is an atomic number of phosphorus
(boilingPoint Phosphorus
    (MeasureFn 553.0 KelvinDegree))
Mid-level-ontology.kif 30325-30325 553.0 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 28634-28636 553.0 Kelvin degree(s) is a boiling point of phosphorus
(externalImage Phosphorus "http://upload.wikimedia.org/wikipedia/commons/ 1/ 12/ P_TableImage.png") pictureList.kif 1901-1901 553.0 Kelvin degree(s) is a boiling point of phosphorus
(externalImage Phosphorus "http://upload.wikimedia.org/wikipedia/commons/ c/ c5/ P%2C15.jpg") pictureList.kif 2288-2288 553.0 Kelvin degree(s) is a boiling point of phosphorus
(externalImage Phosphorus "http://upload.wikimedia.org/wikipedia/commons/ thumb/ c/ c5/ P%2C15.jpg/ 125px_P%2C15.jpg") pictureList.kif 1214-1214 553.0 Kelvin degree(s) is a boiling point of phosphorus
(meltingPoint Phosphorus
    (MeasureFn 317.3 KelvinDegree))
Mid-level-ontology.kif 30324-30324 317.3 Kelvin degree(s) is a melting point of phosphorus
(names Phosphorus "Phosphorus") Mid-level-ontology.kif 28624-28624 "Phosphorus" has name phosphorus
(roomTempState Phosphorus Solid) Mid-level-ontology.kif 32588-32588 roomTempState phosphorus and solid
(subclass Phosphorus ElementalSubstance) Mid-level-ontology.kif 28623-28623 Phosphorus is a subclass of elemental substance

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


(conventionalShortName "P" Phosphorus) Mid-level-ontology.kif 28625-28625 Phosphorus is a conventional short name of "P"
(relatedInternalConcept PhosphoricAcid Phosphorus) Economy.kif 6194-6194 Phosphoric acid is internally related to phosphorus
(termFormat ChineseLanguage Phosphorus "磷") domainEnglishFormat.kif 45667-45667 Phosphoric acid is internally related to phosphorus
(termFormat ChineseTraditionalLanguage Phosphorus "磷") domainEnglishFormat.kif 45666-45666 Phosphoric acid is internally related to phosphorus
(termFormat EnglishLanguage Phosphorus "phosphorus") domainEnglishFormat.kif 45665-45665 Phosphoric acid is internally related to phosphorus

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


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


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