Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   AlcoholicBeverage
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Sulphur ElementalSubstance) | Mid-level-ontology.kif 30149-30149 | Sulphur is a subclass of elemental substance |
| (atomicNumber Sulphur 16) | Mid-level-ontology.kif 30152-30152 | 16 is an atomic number of sulphur |
| (documentation Sulphur EnglishLanguage "Yellow, nonmetallic element belonging to group 16 of the periodic table. It is an essential element in living organisms, needed in the amino acids cysteine and methionine, and hence in many proteins. Absorbed by plants from the soil as sulphate ion.") | Mid-level-ontology.kif 30160-30163 | 16 is an atomic number of sulphur |
| (meltingPoint Sulphur (MeasureFn 386.0 KelvinDegree)) |
Mid-level-ontology.kif 31837-31837 | 386.0 Kelvin degree(s) is a melting point of sulphur |
| (boilingPoint Sulphur (MeasureFn 717.824 KelvinDegree)) |
Mid-level-ontology.kif 31838-31838 | 717.824 Kelvin degree(s) is a boiling point of sulphur |
| (roomTempState Sulphur Solid) | Mid-level-ontology.kif 33938-33938 | room temperature state sulphur and solid |
| (molecularRatio Sulphur 1 SulfuricAcid) | Cars.kif 2326-2326 | The number of molecules of sulphur in a molecule of sulfuric acid is 1 |
| (molecularRatio Sulphur 1 SulphurDioxide) | Geography.kif 8839-8839 | The number of molecules of sulphur in a molecule of sulphur dioxide is 1 |
| (externalImage Sulphur "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 2e/ Sulfur.jpg/ 125px_Sulfur.jpg") | pictureList.kif 1259-1259 | The number of molecules of sulphur in a molecule of sulphur dioxide is 1 |
| (externalImage Sulphur "http://upload.wikimedia.org/wikipedia/commons/7/ 74/ S_TableImage.png") | pictureList.kif 2009-2009 | The number of molecules of sulphur in a molecule of sulphur dioxide is 1 |
| (externalImage Sulphur "http://upload.wikimedia.org/wikipedia/commons/2/ 2e/ Sulfur.jpg") | pictureList.kif 2384-2384 | The number of molecules of sulphur in a molecule of sulphur dioxide is 1 |
| appearance as argument number 2 |
|
|
| (names "Sulphur" Sulphur) | Mid-level-ontology.kif 30150-30150 | Sulphur has name "Sulphur" |
| (conventionalShortName "S" Sulphur) | Mid-level-ontology.kif 30151-30151 | Sulphur is a conventional short name of "S" |
| (termFormat EnglishLanguage Sulphur "sulphur") | domainEnglishFormat.kif 56036-56036 | Sulphur is a conventional short name of "S" |
| (termFormat ChineseTraditionalLanguage Sulphur "硫") | domainEnglishFormat.kif 56037-56037 | Sulphur is a conventional short name of "S" |
| (termFormat ChineseLanguage Sulphur "硫") | domainEnglishFormat.kif 56038-56038 | Sulphur is a conventional short name of "S" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Sulphur) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 32.064 Amu))) |
Mid-level-ontology.kif 30154-30158 | If X is an instance of sulphur and X is an instance of atom, then the measure of X is 32.064 amu(s) |
|
