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 27499-27499 atomicNumber Phosphorus and 15
(boilingPoint Phosphorus
    (MeasureFn 553.0 KelvinDegree))
Mid-level-ontology.kif 29198-29198 boilingPoint Phosphorus and 553.0 の KelvinDegree(s)
(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 27507-27509
(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 29197-29197 meltingPoint Phosphorus and 317.3 の KelvinDegree(s)
(names Phosphorus "Phosphorus") Mid-level-ontology.kif 27497-27497 "Phosphorus" は Phosphorusname を 持って %n{ない}
(roomTempState Phosphorus Solid) Mid-level-ontology.kif 31461-31461 roomTempState Phosphorus and Solid
(subclass Phosphorus ElementalSubstance) Mid-level-ontology.kif 27496-27496 Phosphorus単体subclass では %n

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


(conventionalShortName "P" Phosphorus) Mid-level-ontology.kif 27498-27498 conventionalShortName "P" and Phosphorus
(relatedInternalConcept PhosphoricAcid Phosphorus) Economy.kif 5984-5984 PhosphoricAcidPhosphorusinternally 関連して %n
(termFormat ChineseLanguage Phosphorus "磷") domainEnglishFormat.kif 45636-45636
(termFormat ChineseTraditionalLanguage Phosphorus "磷") domainEnglishFormat.kif 45635-45635
(termFormat EnglishLanguage Phosphorus "phosphorus") domainEnglishFormat.kif 45634-45634

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


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


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