Does Cyc have a KIF interface ?
KIF stands for Knowledge Interface Format. It, as well as other standards such as Conceptual Graphs, is intended to be a means of transmitting rules and facts which are stored in an Expert System Shell, or other knowledge base system. This format is intended to be a linear form of the logical assertions stored internally using symbols and other complex data structures. Since knowledge in Cyc is stored in this assertion format and CycL is also a form of linearly expressing assertions of a knowledge base, there are no theoretical restrictions that would prevent CycL from being expressed as KIF assertions. KIF currently is not a published standard, although there is a draft standard available, under the auspices of the American National Standards Institute (ANSI). The Cyc team is interested in this is an area yet there is currently no official interface developed in Cyc to allow Cyc to generate KIF or interpret KIF as input. Subject: [A] Acknowledgements This FAQ has been based on magazin
