1. Walk-Through for QF20.km Halo Pilot Knowledge-Base Jason Chaw jchaw@cs.utexas.edu

2. Question QF20 The pH of a 1.0M solution of HCl is: a)1.0 b)0.1 c)0.0 d)less than 0.0 e)between 0.0 and 1.0

3. Question QF20 Basically question requires us to calculate the pH for some aqueous solution given its concentration and base Strategy 1.Represent 1.0M of HCl solution as an instance of an aqueous solution concept 2.Query the pH slot of our aqueous solution instance 3.Use a conditional to determine appropriate option having calculated pH value

4. QF20 – Step 1 Represent 1.0M of HCl solution as an instance of an aqueous solution concept KM>

5. QF20 – Step 1 Represent 1.0M of HCl solution as an instance of an aqueous solution concept KM> (a Aqueous-Solution with (base ((a HCl-Substance with (ka ((a Equilibrium-Constant-Value))) (concentration ((a Concentration-Value with (value ((:pair 1.0 * molar))) ))) ) Create an instance Of HCl Solution

6. QF20 – Step 1 Represent 1.0M of HCl solution as an instance of an aqueous solution concept KM> (a Aqueous-Solution with (base ((a HCl-Substance with (ka ((a Equilibrium-Constant-Value))) (concentration ((a Concentration-Value with (value ((:pair 1.0 * molar))) ))) ) (_Aqueous-Solution5021 #|”a Strong-Electrolyte-Solution”|#) KM> Create an instance Of HCl Solution

7. QF20 – Step 2 Query the pH slot of our aqueous solution instance KM> (a Aqueous-Solution with (base ((a HCl-Substance with (ka ((a Equilibrium-Constant-Value))) (concentration ((a Concentration-Value with (value ((:pair 1.0 * molar))) ))) ) (_Aqueous-Solution5021 #|”a Strong-Electrolyte-Solution”|#) KM>

8. QF20 – Step 2 Query the pH slot of our aqueous solution instance KM> (a Aqueous-Solution with (base ((a HCl-Substance with (ka ((a Equilibrium-Constant-Value))) (concentration ((a Concentration-Value with (value ((:pair 1.0 * molar))) ))) ) (_Aqueous-Solution5021 #|”a Strong-Electrolyte-Solution”|#) KM> (the pH of _Aqueous-Solution5021) Query pH slot of HCl Solution

9. QF20 – Step 2 Query the pH slot of our aqueous solution instance KM> (a Aqueous-Solution with (base ((a HCl-Substance with (ka ((a Equilibrium-Constant-Value))) (concentration ((a Concentration-Value with (value ((:pair 1.0 * molar))) ))) ) (_Aqueous-Solution5021 #|”a Strong-Electrolyte-Solution”|#) KM> (the pH of _Aqueous-Solution5021) (_PH-Value5239) KM> Query pH slot of HCl Solution

10. QF20 – Step 2 Query the pH slot of our aqueous solution instance KM> (a Aqueous-Solution with (base ((a HCl-Substance with (ka ((a Equilibrium-Constant-Value))) (concentration ((a Concentration-Value with (value ((:pair 1.0 * molar))) ))) ) (_Aqueous-Solution5021 #|”a Strong-Electrolyte-Solution”|#) KM> (the pH of _Aqueous-Solution5021) (_PH-Value5239) KM> (the value of _PH-Value5239) Extract value from PH-Value instance

11. QF20 – Step 2 Query the pH slot of our aqueous solution instance KM> (a Aqueous-Solution with (base ((a HCl-Substance with (ka ((a Equilibrium-Constant-Value))) (concentration ((a Concentration-Value with (value ((:pair 1.0 * molar))) ))) ) (_Aqueous-Solution5021 #|”a Strong-Electrolyte-Solution”|#) KM> (the pH of _Aqueous-Solution5021) (_PH-Value5239) KM> (the value of _PH-Value5239) ((:pair 0.0 NIL)) KM> Extract value from PH-Value instance

12. QF20 – Step 2 Query the pH slot of our aqueous solution instance KM> (a Aqueous-Solution with (base ((a HCl-Substance with (ka ((a Equilibrium-Constant-Value))) (concentration ((a Concentration-Value with (value ((:pair 1.0 * molar))) ))) ) (_Aqueous-Solution5021 #|”a Strong-Electrolyte-Solution”|#) KM> (the pH of _Aqueous-Solution5021) (_PH-Value5239) KM> (the value of _PH-Value5239) ((:pair 0.0 NIL)) KM> (the1 of (the value of _PH-Value5239)) Extract 1st value from pair

13. QF20 – Step 2 Query the pH slot of our aqueous solution instance KM> (a Aqueous-Solution with (base ((a HCl-Substance with (ka ((a Equilibrium-Constant-Value))) (concentration ((a Concentration-Value with (value ((:pair 1.0 * molar))) ))) ) (_Aqueous-Solution5021 #|”a Strong-Electrolyte-Solution”|#) KM> (the pH of _Aqueous-Solution5021) (_PH-Value5239) KM> (the value of _PH-Value5239) ((:pair 0.0 NIL)) KM> (the1 of (the value of _PH-Value5239)) (0.0) KM> Extract 1st value from pair

14. QF20 – Step 3 Use a conditional to determine appropriate option having calculated pH value KM> (a Aqueous-Solution with (base ((a HCl-Substance with (ka ((a Equilibrium-Constant-Value))) (concentration ((a Concentration-Value with (value ((:pair 1.0 * molar))) ))) ) (_Aqueous-Solution5021 #|”a Strong-Electrolyte-Solution”|#) KM> (the pH of _Aqueous-Solution5021) (_PH-Value5239) KM> (the value of _PH-Value5239) ((:pair 0.0 NIL)) KM> (the1 of (the value of _PH-Value5239)) (0.0) KM>

15. QF20 – Step 3 Use a conditional to determine appropriate option having calculated pH value KM> (a Aqueous-Solution with (base ((a HCl-Substance with (ka ((a Equilibrium-Constant-Value))) (concentration ((a Concentration-Value with (value ((:pair 1.0 * molar))) ))) ) (_Aqueous-Solution5021 #|”a Strong-Electrolyte-Solution”|#) KM> (the pH of _Aqueous-Solution5021) (_PH-Value5239) KM> (the value of _PH-Value5239) ((:pair 0.0 NIL)) KM> (the1 of (the value of _PH-Value5239)) (0.0) KM> (if ((the1 of (the value of _PH-Value5239)) = 1.0) then “(a) 1.0”) Conditional test For Option (a)

16. QF20 – Step 3 Use a conditional to determine appropriate option having calculated pH value KM> (a Aqueous-Solution with (base ((a HCl-Substance with (ka ((a Equilibrium-Constant-Value))) (concentration ((a Concentration-Value with (value ((:pair 1.0 * molar))) ))) ) (_Aqueous-Solution5021 #|”a Strong-Electrolyte-Solution”|#) KM> (the pH of _Aqueous-Solution5021) (_PH-Value5239) KM> (the value of _PH-Value5239) ((:pair 0.0 NIL)) KM> (the1 of (the value of _PH-Value5239)) (0.0) KM> (if ((the1 of (the value of _PH-Value5239)) = 1.0) then “(a) 1.0”) nil KM> Conditional test For Option (a)

17. QF20 – Step 3 Use a conditional to determine appropriate option having calculated pH value KM> (a Aqueous-Solution with (base ((a HCl-Substance with (ka ((a Equilibrium-Constant-Value))) (concentration ((a Concentration-Value with (value ((:pair 1.0 * molar))) ))) ) (_Aqueous-Solution5021 #|”a Strong-Electrolyte-Solution”|#) KM> (the pH of _Aqueous-Solution5021) (_PH-Value5239) KM> (the value of _PH-Value5239) ((:pair 0.0 NIL)) KM> (the1 of (the value of _PH-Value5239)) (0.0) KM> (if ((the1 of (the value of _PH-Value5239)) = 1.0) then “(a) 1.0”) nil KM> (if ((the1 of (the value of _PH-Value5239)) = 0.1) then “(b) 0.1”) Conditional test For Option (b)

18. QF20 – Step 3 Use a conditional to determine appropriate option having calculated pH value KM> (a Aqueous-Solution with (base ((a HCl-Substance with (ka ((a Equilibrium-Constant-Value))) (concentration ((a Concentration-Value with (value ((:pair 1.0 * molar))) ))) ) (_Aqueous-Solution5021 #|”a Strong-Electrolyte-Solution”|#) KM> (the pH of _Aqueous-Solution5021) (_PH-Value5239) KM> (the value of _PH-Value5239) ((:pair 0.0 NIL)) KM> (the1 of (the value of _PH-Value5239)) (0.0) KM> (if ((the1 of (the value of _PH-Value5239)) = 1.0) then “(a) 1.0”) nil KM> (if ((the1 of (the value of _PH-Value5239)) = 0.1) then “(b) 0.1”) nil Conditional test For Option (b)

19. QF20 – Step 3 Use a conditional to determine appropriate option having calculated pH value KM> (if ((the1 of (the value of _PH-Value5239)) = 1.0) then “(a) 1.0”) nil KM> (if ((the1 of (the value of _PH-Value5239)) = 0.1) then “(b) 0.1”) nil KM> (if ((the1 of (the value of _PH-Value5239)) = 0.0) then “(c) 0.0”) Conditional test For Option (c)

20. QF20 – Step 3 Use a conditional to determine appropriate option having calculated pH value KM> (if ((the1 of (the value of _PH-Value5239)) = 1.0) then “(a) 1.0”) nil KM> (if ((the1 of (the value of _PH-Value5239)) = 0.1) then “(b) 0.1”) nil KM> (if ((the1 of (the value of _PH-Value5239)) = 0.0) then “(c) 0.0”) (“(c) 0.0”) Conditional test For Option (c)

21. QF20 – Step 3 Use a conditional to determine appropriate option having calculated pH value KM> (if ((the1 of (the value of _PH-Value5239)) = 1.0) then “(a) 1.0”) nil KM> (if ((the1 of (the value of _PH-Value5239)) = 0.1) then “(b) 0.1”) nil KM> (if ((the1 of (the value of _PH-Value5239)) = 0.0) then “(c) 0.0”) (“(c) 0.0”) KM> (if ((the1 of (the value of _PH-Value5239)) < 0.0) then “(d) less than 0.0”) Conditional test For Option (d)

22. QF20 – Step 3 Use a conditional to determine appropriate option having calculated pH value KM> (if ((the1 of (the value of _PH-Value5239)) = 1.0) then “(a) 1.0”) nil KM> (if ((the1 of (the value of _PH-Value5239)) = 0.1) then “(b) 0.1”) nil KM> (if ((the1 of (the value of _PH-Value5239)) = 0.0) then “(c) 0.0”) (“(c) 0.0”) KM> (if ((the1 of (the value of _PH-Value5239)) < 0.0) then “(d) less than 0.0”) nil Conditional test For Option (d)

23. QF20 – Step 3 Use a conditional to determine appropriate option having calculated pH value KM> (if ((the1 of (the value of _PH-Value5239)) = 1.0) then “(a) 1.0”) nil KM> (if ((the1 of (the value of _PH-Value5239)) = 0.1) then “(b) 0.1”) nil KM> (if ((the1 of (the value of _PH-Value5239)) = 0.0) then “(c) 0.0”) (“(c) 0.0”) KM> (if ((the1 of (the value of _PH-Value5239)) < 0.0) then “(d) less than 0.0”) nil KM> (if ((the1 of (the value of _PH-Value5239)) < 1.0) then “(e) between 0.0 and 1.0”) Conditional test For Option (e)

24. QF20 – Step 3 Use a conditional to determine appropriate option having calculated pH value KM> (if ((the1 of (the value of _PH-Value5239)) = 1.0) then “(a) 1.0”) nil KM> (if ((the1 of (the value of _PH-Value5239)) = 0.1) then “(b) 0.1”) nil KM> (if ((the1 of (the value of _PH-Value5239)) = 0.0) then “(c) 0.0”) (“(c) 0.0”) KM> (if ((the1 of (the value of _PH-Value5239)) < 0.0) then “(d) less than 0.0”) nil KM> (if ((the1 of (the value of _PH-Value5239)) < 1.0) then “(e) between 0.0 and 1.0”) (“(e) between 0.0 and 1.0”) Conditional test For Option (e)

25. Question QF20 The pH of a 1.0M solution of HCl is: a)1.0 b)0.1 c)0.0 d)less than 0.0 e)between 0.0 and 1 Options (c) and (e) are the correct answers!