Knowledge Interchange Format (KIF). Draft proposed American National Standard (1998)

by M R Genesereth, R E Fikes