What are the details of the functional interface to CycL ?
The Functional Interface (FI) of Cyc is a set of procedures that can be used by external programs to query Cyc for conclusions or general information. It currently consists of twenty-seven operations, with the following having the most general utility: FI-FIND given a name string return the Cyc constant having that name FI-CREATE given a name string create and return a Cyc constant having that name FI-KILL given a term return a modified knowledge base in which the term no longer exists and any assertions of which it was a component are no longer true FI-RENAME given a constant given a string (new constant name) change the constant’s name to the new name and return the new constant FI- ASSERT given a logical formula, given a knowledge base subset produce a modified knowledge base with the formula as an axiom and return a status notification FI-UNASSERT given a logical formula, given a knowledge base subset produce a modified knowledge base with the formula not an axiom (the formula may
