Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   SodiumChloride
|
|
|
| appearance as argument number 1 |
|
|
| (subclass SodiumChloride ChemicalSalt) | Mid-level-ontology.kif 10113-10113 | Salt is a subclass of salt |
| (documentation SodiumChloride EnglishLanguage "SodiumChloride is the compound of Sodium and Chloride, which may appear in crystalline form or in solution with water or other substances. It is a compound found in solution in significant quantities in sea water.") | Mid-level-ontology.kif 10117-10119 | Salt is a subclass of salt |
| (roomTempState SodiumChloride Solid) | Mid-level-ontology.kif 34086-34086 | room temperature state salt and solid |
| (mixturePartType SodiumChloride RingersLactate) | Medicine.kif 5912-5912 | Salt is a part of the mixture Hartmann's solution |
| (refractiveIndex SodiumChloride 1.458) | Transportation.kif 5633-5633 | The RefractiveIndexFn of salt is 1.458 |
| (externalImage SodiumChloride "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9a/ Salt_crystals_in_death_valley.jpg") | pictureList.kif 7775-7775 | The RefractiveIndexFn of salt is 1.458 |
| (externalImage SodiumChloride "http://upload.wikimedia.org/wikipedia/commons/ a/ ab/ Salt_packet.jpg") | pictureList.kif 7776-7776 | The RefractiveIndexFn of salt is 1.458 |
| (externalImage SodiumChloride "http://upload.wikimedia.org/wikipedia/commons/ d/ dd/ Piles_of_Salt_Salar_de_Uyuni_Bolivia_Luca_Galuzzi_2006_a.jpg") | pictureList.kif 7779-7779 | The RefractiveIndexFn of salt is 1.458 |
| (externalImage SodiumChloride "http://upload.wikimedia.org/wikipedia/commons/ e/ e7/ Salt_ship_loading.jpg") | pictureList.kif 7780-7780 | The RefractiveIndexFn of salt is 1.458 |
| (externalImage SodiumChloride "http://upload.wikimedia.org/wikipedia/en/ 4/ 43/ Image_Zigong_Salt.jpg") | pictureList.kif 7781-7781 | The RefractiveIndexFn of salt is 1.458 |
| appearance as argument number 2 |
|
|
| (names "salt" SodiumChloride) | Mid-level-ontology.kif 10114-10114 | Salt has name "salt" |
| (names "NaCl" SodiumChloride) | Mid-level-ontology.kif 10115-10115 | Salt has name "NaCl" |
| (termFormat EnglishLanguage SodiumChloride "sodium chloride") | domainEnglishFormat.kif 53673-53673 | Salt has name "NaCl" |
| (termFormat ChineseTraditionalLanguage SodiumChloride "氯化鈉") | domainEnglishFormat.kif 53674-53674 | Salt has name "NaCl" |
| (termFormat ChineseLanguage SodiumChloride "氯化钠") | domainEnglishFormat.kif 53675-53675 | Salt has name "NaCl" |
| (termFormat EnglishLanguage SodiumChloride "salt") | domainEnglishFormat.kif 53679-53679 | Salt has name "NaCl" |
| (termFormat ChineseTraditionalLanguage SodiumChloride "鹽") | domainEnglishFormat.kif 53680-53680 | Salt has name "NaCl" |
| (termFormat ChineseLanguage SodiumChloride "盐") | domainEnglishFormat.kif 53681-53681 | Salt has name "NaCl" |
| appearance as argument number 3 |
|
|
| (molecularRatio Chlorine 1 SodiumChloride) | Medicine.kif 5897-5897 | The number of molecules of chlorine in a molecule of salt is 1 |
| (molecularRatio Sodium 1 SodiumChloride) | Medicine.kif 5898-5898 | The number of molecules of sodium in a molecule of salt is 1 |
| antecedent |
|
|
| (=> (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 |
| (=> (and (instance ?SW SeaWater) (measure ?SW (MeasureFn 1.0 Liter)) (part ?SALT ?SW) (instance ?SALT SodiumChloride) (measure ?SALT (MeasureFn ?R Gram))) (approximateValue ?R 35.0)) |
Geography.kif 4268-4277 | If X is an instance of sea water, the measure of X is 1.0 liter(s), Y is a part of X, Y is an instance of salt, and the measure of Y is Z gram(s), then the approximate value of Z is 35.0 |
| (=> (and (instance ?SW BrackishWater) (measure ?SW (MeasureFn 1.0 Liter)) (part ?SALT ?SW) (instance ?SALT SodiumChloride) (measure ?SALT (MeasureFn ?R Gram))) (and (greaterThan ?R 0.5) (lessThanOrEqualTo ?R 30.0))) |
Geography.kif 4287-4298 | If X is an instance of brackish water, the measure of X is 1.0 liter(s), Y is a part of X, Y is an instance of salt, and the measure of Y is Z gram(s), then Z is greater than 0.5 and Z is less than or equal to 30.0 |
| (=> (and (instance ?B Brine) (measure ?B (MeasureFn 1.0 Liter)) (part ?SALT ?B) (instance ?SALT SodiumChloride) (measure ?SALT (MeasureFn ?R Gram))) (and (greaterThan ?R 35.0) (lessThanOrEqualTo ?R 260.0))) |
Geography.kif 4305-4316 | If X is an instance of brine, the measure of X is 1.0 liter(s), Y is a part of X, Y is an instance of salt, and the measure of Y is Z gram(s), then Z is greater than 35.0 and Z is less than or equal to 260.0 |
| consequent |
|
|
| (=> (and (instance ?SOLUTION SalineSolution) (part ?PART ?SOLUTION)) (or (instance ?PART SodiumChloride) (instance ?PART Water))) |
Mid-level-ontology.kif 10141-10147 | If X is an instance of saline solution and Y is a part of X, then Y is an instance of salt or Y is an instance of water |
| (=> (instance ?SWEAT Sweat) (exists (?PART) (and (instance ?PART SodiumChloride) (part ?PART ?SWEAT)))) |
Mid-level-ontology.kif 10952-10957 | If X is an instance of sweat, then there exists Y such that Y is an instance of salt and Y is a part of X |
| (=> (instance ?C CuringFood) (exists (?F ?P ?S) (and (instance ?F Food) (patient ?C ?F) (instance ?P Putting) (subProcess ?P ?C) (instance ?S SodiumChloride) (patient ?P ?S) (destination ?P ?F)))) |
Food.kif 84-94 | If X is an instance of curing food, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of food (3) Y is a patient of X (4) Z is an instance of putting (5) Z is a subprocess of X (6) W is an instance of salt (7) W is a patient of Z (8) Z ends up at Y |
| (=> (instance ?B Bacon) (material SodiumChloride ?B)) |
Food.kif 2158-2160 | If X is an instance of bacon, then X is made of salt |
| (=> (instance ?PROCESS Salination) (exists (?SALT) (and (instance ?SALT SodiumChloride) (resource ?PROCESS ?SALT)))) |
Geography.kif 4332-4337 | If X is an instance of salinifying, then there exists Y such that Y is an instance of salt and Y is a resource for X |
|
