Cycorp, Inc.
3721 Executive Center Drive #100
Austin, TX 78731 USA
Tel: +1 512- 342-4000
Fax: +1 512-342-4040

About:
Large-scale “ontology of the universe”; multi-contextual knowledge base / inference engine; FOPC extended with contexts, equality, default reasoning, skolemization, quantification over predicates. (Basic ontology editing via KB Browser Create Term tool.) Common sense knowledge base, and associated reasoning system enables development of knowledge-intensive applications. Provides a deep layer of understanding that can be used by other programs to make them more flexible. Cyc KB is divided into many (currently thousands of) "microtheories", each of which is essentially a bundle of assertions that share a common set of assumptions; some microtheories are focused on a particular domain of knowledge, a particular level of detail, a particular interval in time, etc.