Articulate Software is a firm based in the San Francisco California area, that supports charitable and open source research in ontology, formal reasoning and natural language understanding, conducted by Adam Pease. Efforts are centered on the Suggested Upper Merged Ontology (SUMO).

See an introductory tutorial on KIF and SUMO