KG Logic view 1