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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Phosphorus
Phosphorus

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


(atomicNumber Phosphorus 15) Mid-level-ontology.kif 29189-29189
(boilingPoint Phosphorus
    (MeasureFn 553.0 KelvinDegree))
Mid-level-ontology.kif 30888-30888
(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 29197-29199
(externalImage Phosphorus "http://upload.wikimedia.org/wikipedia/commons/ 1/ 12/ P_TableImage.png") pictureList.kif 1901-1901
(externalImage Phosphorus "http://upload.wikimedia.org/wikipedia/commons/ c/ c5/ P%2C15.jpg") pictureList.kif 2288-2288
(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 30887-30887
(names Phosphorus "Phosphorus") Mid-level-ontology.kif 29187-29187
(roomTempState Phosphorus Solid) Mid-level-ontology.kif 33169-33169
(subclass Phosphorus ElementalSubstance) Mid-level-ontology.kif 29186-29186

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


(conventionalShortName "P" Phosphorus) Mid-level-ontology.kif 29188-29188
(relatedInternalConcept PhosphoricAcid Phosphorus) Economy.kif 6382-6382
(termFormat ChineseLanguage Phosphorus "磷") domainEnglishFormat.kif 45667-45667
(termFormat ChineseTraditionalLanguage Phosphorus "磷") domainEnglishFormat.kif 45666-45666
(termFormat EnglishLanguage Phosphorus "phosphorus") domainEnglishFormat.kif 45665-45665

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


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


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