| Phosphorus
| |
| appearance as argument number 1 |
|
|
| (atomicNumber Phosphorus 15) | Mid-level-ontology.kif 27511-27511 | atomicNumber Phosphorus and 15 |
| (boilingPoint Phosphorus (MeasureFn 553.0 KelvinDegree)) |
Mid-level-ontology.kif 29210-29210 | 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 27519-27521 | |
| (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 29209-29209 | meltingPoint Phosphorus and 317.3 の KelvinDegree(s) |
| (names Phosphorus "Phosphorus") | Mid-level-ontology.kif 27509-27509 | "Phosphorus" は Phosphorus の name を 持って %n{ない} |
| (roomTempState Phosphorus Solid) | Mid-level-ontology.kif 31465-31465 | roomTempState Phosphorus and Solid |
| (subclass Phosphorus ElementalSubstance) | Mid-level-ontology.kif 27508-27508 | Phosphorus は 単体 の subclass では %n |
| appearance as argument number 2 |
|
|
| (conventionalShortName "P" Phosphorus) | Mid-level-ontology.kif 27510-27510 | conventionalShortName "P" and Phosphorus |
| (relatedInternalConcept PhosphoricAcid Phosphorus) | Economy.kif 5984-5984 | PhosphoricAcid は Phosphorus に internally 関連して %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 27513-27517 |
|
|
|