OpenCyc is the open source version of the Cyc technology, the world's largest and most complete general knowledge base and commonsense reasoning engine.
S. Abney, R. Schapire, and Y. Singer. Proceedings of the 1999 Joint SIGDAT Conference on Empirical
Methods in Natural Language Processing and Very Large Corpora
(EMNLP/VLC-99), page 38--45. College Park, MD, ACL, (1999)
K. Adjukiewicz. Studia Philosophica, (1935)English translation ``Syntactic Connexion" by H. Weber in McCall, S.
(Ed.) Polish Logic, pp. 207--231, Oxford University Press, Oxford,
1967.