Axiomatizing Qualitative Process Theory | Desertcart Kyrgyzstan