Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Chlorine
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Chlorine ElementalSubstance) | Mid-level-ontology.kif 30165-30165 | Chlorine is a subclass of elemental substance |
| (atomicNumber Chlorine 17) | Mid-level-ontology.kif 30168-30168 | 17 is an atomic number of chlorine |
| (documentation Chlorine EnglishLanguage "Halogen element. Poisonous greenish-yellow gas. Occurs widely in nature as sodium chloride in seawater. Reacts directly with many elements and compounds, strong oxidizing agent. Discovered by Karl Scheele in 1774. Humphrey David confirmed it as an element in 1810.") | Mid-level-ontology.kif 30176-30180 | 17 is an atomic number of chlorine |
| (meltingPoint Chlorine (MeasureFn 172.17 KelvinDegree)) |
Mid-level-ontology.kif 31839-31839 | 172.17 Kelvin degree(s) is a melting point of chlorine |
| (boilingPoint Chlorine (MeasureFn 238.55 KelvinDegree)) |
Mid-level-ontology.kif 31840-31840 | 238.55 Kelvin degree(s) is a boiling point of chlorine |
| (roomTempState Chlorine Liquid) | Mid-level-ontology.kif 33939-33939 | room temperature state chlorine and liquid |
| (molecularRatio Chlorine 2 Freon12) | Cars.kif 1668-1668 | The number of molecules of chlorine in a molecule of freon-12 is 2 |
| (molecularRatio Chlorine 2 CalciumChloride) | Medicine.kif 5894-5894 | The number of molecules of chlorine in a molecule of calcium chloride is 2 |
| (molecularRatio Chlorine 1 SodiumChloride) | Medicine.kif 5897-5897 | The number of molecules of chlorine in a molecule of salt is 1 |
| (molecularRatio Chlorine 1 PotassiumChloride) | Medicine.kif 5902-5902 | The number of molecules of chlorine in a molecule of potassium chloride is 1 |
| (externalImage Chlorine "http://upload.wikimedia.org/wikipedia/commons/thumb/ f/ f6/ Chlorine_sample.jpg/ 125px_Chlorine_sample.jpg") | pictureList.kif 1073-1073 | The number of molecules of chlorine in a molecule of potassium chloride is 1 |
| (externalImage Chlorine "http://upload.wikimedia.org/wikipedia/commons/2/ 2a/ Cl_TableImage.png") | pictureList.kif 1697-1697 | The number of molecules of chlorine in a molecule of potassium chloride is 1 |
| (externalImage Chlorine "http://upload.wikimedia.org/wikipedia/commons/f/ f6/ Chlorine_sample.jpg") | pictureList.kif 2136-2136 | The number of molecules of chlorine in a molecule of potassium chloride is 1 |
| appearance as argument number 2 |
|
|
| (names "Chlorine" Chlorine) | Mid-level-ontology.kif 30166-30166 | Chlorine has name "Chlorine" |
| (conventionalShortName "Cl" Chlorine) | Mid-level-ontology.kif 30167-30167 | Chlorine is a conventional short name of "Cl" |
| (termFormat EnglishLanguage Chlorine "chlorine") | domainEnglishFormat.kif 14616-14616 | Chlorine is a conventional short name of "Cl" |
| (termFormat ChineseTraditionalLanguage Chlorine "氯") | domainEnglishFormat.kif 14617-14617 | Chlorine is a conventional short name of "Cl" |
| (termFormat ChineseLanguage Chlorine "氯") | domainEnglishFormat.kif 14618-14618 | Chlorine is a conventional short name of "Cl" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Chlorine) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 35.453 Amu))) |
Mid-level-ontology.kif 30170-30174 | If X is an instance of chlorine and X is an instance of atom, then the measure of X is 35.453 amu(s) |
| consequent |
|
|
| (=> (instance ?SALT SodiumChloride) (exists (?SYNTHESIS ?SODIUM ?CHLORINE) (and (instance ?SYNTHESIS ChemicalSynthesis) (resource ?SYNTHESIS ?SODIUM) (instance ?SODIUM Sodium) (resource ?SYNTHESIS ?CHLORINE) (instance ?CHLORINE Chlorine) (result ?SYNTHESIS ?SALT)))) |
Mid-level-ontology.kif 10121-10130 | If X is an instance of salt, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of chemical synthesis (3) Z is a resource for Y (4) Z is an instance of sodium (5) W is a resource for Y (6) W is an instance of chlorine (7) X is a result of Y |
| (=> (instance ?C CSGas) (exists (?CHLOR ?N) (and (instance ?CHLOR Chlorine) (part ?CHLOR ?C) (instance ?N Nitrogen) (part ?N ?C)))) |
MilitaryDevices.kif 1491-1498 | If X is an instance of CS gas, then there exist Y, Z such that Y is an instance of chlorine, Y is a part of X, Z is an instance of nitrogen, and Z is a part of X |
|
