Agreement to Learn KIF, Ontologies, tools    (9UA)

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

Need to read, review learn KIF and learn to write logical implementations.    (9UC)