KG Logic view 3