A Computational Theory for Life-Long Learning of Semantics