Ginsberg, M. L. Knowledge Interchange Format: The KIF of Death. AIMag 1991, 12, 57.