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 29430-29430 15 is an atomic number of phosphorus
(boilingPoint Phosphorus
    (MeasureFn 553.0 KelvinDegree))
Mid-level-ontology.kif 31129-31129 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 29438-29440 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 31128-31128 317.3 Kelvin degree(s) is a melting point of phosphorus
(names Phosphorus "Phosphorus") Mid-level-ontology.kif 29428-29428 "Phosphorus" has &ames$"name" Phosphorus
(roomTempState Phosphorus Solid) Mid-level-ontology.kif 33410-33410 room temperature state phosphorus and solid
(subclass Phosphorus ElementalSubstance) Mid-level-ontology.kif 29427-29427 Phosphorus is a subclass of elemental substance

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


(conventionalShortName "P" Phosphorus) Mid-level-ontology.kif 29429-29429 Phosphorus is a conventional short name of "P"
(relatedInternalConcept PhosphoricAcid Phosphorus) Economy.kif 6382-6382 Phosphoric acid is internally related to phosphorus
(termFormat ChineseLanguage Phosphorus "磷") domainEnglishFormat.kif 45638-45638 Phosphoric acid is internally related to phosphorus
(termFormat ChineseTraditionalLanguage Phosphorus "磷") domainEnglishFormat.kif 45637-45637 Phosphoric acid is internally related to phosphorus
(termFormat EnglishLanguage Phosphorus "phosphorus") domainEnglishFormat.kif 45636-45636 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 29432-29436


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