Knowledge Interchange Format: the KIF of Death