Articulate Software is a consulting firm based in the San Francisco California area, specializing in ontology, formal reasoning and natural language understanding. We provide development of custom ontologies based on open standards, including the Suggested Upper Merged Ontology (SUMO). Adam Pease is the principal consultant.

See an introductory tutorial on KIF and SUMO with slides and audio