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

2. Question QF7 a)NaCl b)CH3COOH c)NH3 d)Ba(OH)2 e)CH3CH2OH Which of the following is a non-electrolyte?

3. Question QF7 Given five compounds, the question requires us to determine the compound which is a non- electrolyte. Strategy 1.Determine the electrolyte status for each compound 2.Placing the five compounds into an aggregate 3.Sieve the aggregate for the compound which is a non- electrolyte

4. QF7 – Step 1 Determine the electrolyte status of each compound KM>

5. QF7 – Step 1 Determine the electrolyte status of each compound KM> (a NaCl-Substance) Create an instance Of NaCl

6. QF7 – Step 1 Determine the electrolyte status of each compound KM> (a NaCl-Substance) (_NaCl-Substance4845) KM> Create an instance Of NaCl

7. QF7 – Step 1 Determine the electrolyte status of each compound KM> (a NaCl-Substance) (_NaCl-Substance4845) KM> (NaCl-Substance4845 isa Electrolyte) Is NaCl an Electrolyte?

8. QF7 – Step 1 Determine the electrolyte status of each compound KM> (a NaCl-Substance) (_NaCl-Substance4845) KM> (NaCl-Substance4845 isa Electrolyte) (t) Is NaCl an Electrolyte?

9. QF7 – Step 1 Determine the electrolyte status of each compound KM> (a NaCl-Substance) (_NaCl-Substance4845) KM> (NaCl-Substance4845 isa Electrolyte) (t) KM> ((a NaCl-Substance) isa Electrolyte) Doing both in one step

10. QF7 – Step 1 Determine the electrolyte status of each compound KM> (a NaCl-Substance) (_NaCl-Substance4845) KM> (NaCl-Substance4845 isa Electrolyte) (t) KM> ((a NaCl-Substance) isa Electrolyte) (t) Doing both in one step

11. QF7 – Step 1 Determine the electrolyte status of each compound KM> (a NaCl-Substance) (_NaCl-Substance4845) KM> (NaCl-Substance4845 isa Electrolyte) (t) KM> ((a NaCl-Substance) isa Electrolyte) (t) KM> ((a CH3COOH-Substance) isa Electrolyte) Let’s try it for CH3COOH

12. QF7 – Step 1 Determine the electrolyte status of each compound KM> (a NaCl-Substance) (_NaCl-Substance4845) KM> (NaCl-Substance4845 isa Electrolyte) (t) KM> ((a NaCl-Substance) isa Electrolyte) (t) KM> ((a CH3COOH-Substance) isa Electrolyte) (t) Let’s try it for CH3COOH

13. QF7 – Step 1 Determine the electrolyte status of each compound KM> (a NaCl-Substance) (_NaCl-Substance4845) KM> (NaCl-Substance4845 isa Electrolyte) (t) KM> ((a NaCl-Substance) isa Electrolyte) (t) KM> ((a CH3COOH-Substance) isa Electrolyte) (t) KM> ((a NH3-Substance) isa Electrolyte) Let’s try it for NH3

14. QF7 – Step 1 Determine the electrolyte status of each compound KM> (a NaCl-Substance) (_NaCl-Substance4845) KM> (NaCl-Substance4845 isa Electrolyte) (t) KM> ((a NaCl-Substance) isa Electrolyte) (t) KM> ((a CH3COOH-Substance) isa Electrolyte) (t) KM> ((a NH3-Substance) isa Electrolyte) (t) Let’s try it for NH3

15. QF7 – Step 1 Determine the electrolyte status of each compound KM> (a NaCl-Substance) (_NaCl-Substance4845) KM> (NaCl-Substance4845 isa Electrolyte) (t) KM> ((a NaCl-Substance) isa Electrolyte) (t) KM> ((a CH3COOH-Substance) isa Electrolyte) (t) KM> ((a NH3-Substance) isa Electrolyte) (t) KM> ((a Ba_OH_2-Substance) isa Electrolyte) Let’s try it for Ba(OH)2

16. QF7 – Step 1 Determine the electrolyte status of each compound KM> (a NaCl-Substance) (_NaCl-Substance4845) KM> (NaCl-Substance4845 isa Electrolyte) (t) KM> ((a NaCl-Substance) isa Electrolyte) (t) KM> ((a CH3COOH-Substance) isa Electrolyte) (t) KM> ((a NH3-Substance) isa Electrolyte) (t) KM> ((a Ba_OH_2-Substance) isa Electrolyte) (t) Let’s try it for Ba(OH)2

17. QF7 – Step 1 Determine the electrolyte status of each compound KM> (a NaCl-Substance) (_NaCl-Substance4845) KM> (NaCl-Substance4845 isa Electrolyte) (t) KM> ((a NaCl-Substance) isa Electrolyte) (t) KM> ((a CH3COOH-Substance) isa Electrolyte) (t) KM> ((a NH3-Substance) isa Electrolyte) (t) KM> ((a Ba_OH_2-Substance) isa Electrolyte) (t) KM> ((a CH3CH2OH-Substance) isa Electrolyte) Let’s try it for CH3CH2OH

18. QF7 – Step 1 Determine the electrolyte status of each compound KM> (a NaCl-Substance) (_NaCl-Substance4845) KM> (NaCl-Substance4845 isa Electrolyte) (t) KM> ((a NaCl-Substance) isa Electrolyte) (t) KM> ((a CH3COOH-Substance) isa Electrolyte) (t) KM> ((a NH3-Substance) isa Electrolyte) (t) KM> ((a Ba_OH_2-Substance) isa Electrolyte) (t) KM> ((a CH3CH2OH-Substance) isa Electrolyte) (nil) Let’s try it for CH3CH2OH

19. QF7 – Step 2 Placing the five compounds into an aggregate KM>

20. QF7 – Step 2 Placing the five compounds into an aggregate KM> (:set (:pair "(a) NaCl" (a NaCl-Substance)) (:pair "(b) CH3COOH" (a CH3COOH-Substance)) (:pair "(c) NH3" (a NH3-Substance)) (:pair "(d) Ba(OH)2" (a Ba_OH_2-Substance)) (:pair "(e) CH3CH2OH" (a CH3CH2OH-Substance))) Associate text with coupound

21. QF7 – Step 2 Placing the five compounds into an aggregate KM> (:set (:pair "(a) NaCl" (a NaCl-Substance)) (:pair "(b) CH3COOH" (a CH3COOH-Substance)) (:pair "(c) NH3" (a NH3-Substance)) (:pair "(d) Ba(OH)2" (a Ba_OH_2-Substance)) (:pair "(e) CH3CH2OH" (a CH3CH2OH-Substance))) Putting them into an aggregate

22. QF7 – Step 2 Placing the five compounds into an aggregate KM> (:set (:pair "(a) NaCl" (a NaCl-Substance)) (:pair "(b) CH3COOH" (a CH3COOH-Substance)) (:pair "(c) NH3" (a NH3-Substance)) (:pair "(d) Ba(OH)2" (a Ba_OH_2-Substance)) (:pair "(e) CH3CH2OH" (a CH3CH2OH-Substance))) ((:pair "(a) NaCl" _NaCl-Substance4930 #|"a Strong-Electrolyte&NaCl- Substance"|#) (:pair "(b) CH3COOH" _CH3COOH-Substance4944 #|"a Weak- Electrolyte&Monoprotic-Acid&CH3COOH-Substance"|#) (:pair "(c) NH3" _NH3- Substance4966 #|"a Weak-Electrolyte&NH3-Substance"|#) (:pair "(d) Ba(OH)2" _Ba_OH_2-Substance4983 #|"a Strong-Electrolyte&Salt-Substance&Ba_OH_2- Substance"|#) (:pair "(e) CH3CH2OH" _CH3CH2OH-Substance5006)) KM> Putting them into an aggregate

23. QF7 – Step 3 Sieve the aggregate for the compound which is a non-electrolyte KM>

24. QF7 – Step 3 Sieve the aggregate for the compound which is a non-electrolyte KM> (forall (:set (:pair "(a) NaCl" (a NaCl-Substance)) (:pair "(b) CH3COOH" (a CH3COOH-Substance)) (:pair "(c) NH3" (a NH3-Substance)) (:pair "(d) Ba(OH)2" (a Ba_OH_2-Substance)) (:pair "(e) CH3CH2OH" (a CH3CH2OH-Substance))) where (not ((the2 of It) isa Electrolyte)) (the1 of It)) Sieve for the compound that is a non-electrolyte

25. QF7 – Step 3 Sieve the aggregate for the compound which is a non-electrolyte KM> (forall (:set (:pair "(a) NaCl" (a NaCl-Substance)) (:pair "(b) CH3COOH" (a CH3COOH-Substance)) (:pair "(c) NH3" (a NH3-Substance)) (:pair "(d) Ba(OH)2" (a Ba_OH_2-Substance)) (:pair "(e) CH3CH2OH" (a CH3CH2OH-Substance))) where (not ((the2 of It) isa Electrolyte)) (the1 of It)) This is the condition for testing each compound at every iteration

26. QF7 – Step 3 Sieve the aggregate for the compound which is a non-electrolyte KM> (forall (:set (:pair "(a) NaCl" (a NaCl-Substance)) (:pair "(b) CH3COOH" (a CH3COOH-Substance)) (:pair "(c) NH3" (a NH3-Substance)) (:pair "(d) Ba(OH)2" (a Ba_OH_2-Substance)) (:pair "(e) CH3CH2OH" (a CH3CH2OH-Substance))) where (not ((the2 of It) isa Electrolyte)) (the1 of It)) For every satisfying tuple, we extract the text

27. QF7 – Step 3 Sieve the aggregate for the compound which is a non-electrolyte KM> (forall (:set (:pair "(a) NaCl" (a NaCl-Substance)) (:pair "(b) CH3COOH" (a CH3COOH-Substance)) (:pair "(c) NH3" (a NH3-Substance)) (:pair "(d) Ba(OH)2" (a Ba_OH_2-Substance)) (:pair "(e) CH3CH2OH" (a CH3CH2OH-Substance))) where (not ((the2 of It) isa Electrolyte)) (the1 of It)) (“(e) CH3CH2OH”) KM> Sieve for the compound that is a non-electrolyte

28. Question Q7 a)NaCl b)CH3COOH c)NH3 d)Ba(OH)2 e)CH3CH2OH Which of the following is a non-electrolyte? Option (e) is the correct answer!