Hi Does anyone know of an expert system shell that can read SUMO-style assertions and rules, SUO-KIF that is? Scott Farrar