Agreement to Learn KIF, Ontologies, tools

Don't know how to write axioms, learning requirements... no one qualified to do this effort (write kif codes)

Need to read, review learn KIF and learn to write logical implementations.