KR, a kernel knowledge representation system by  Dario Giuse