opencyc

Here are 4 public repositories matching this topic...

logicmoo / CYC_JRTL_with_CommonLisp

Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)

natural-language-processing common-lisp artificial-intelligence lisp-interpreter artificial-general-intelligence logic-programming prolog-programming-language cyc opencyc abcl cyc-jrtl

Updated Apr 17, 2023
Java

therohk / opencyc-kb

Star

OpenCyc Ontology or Knowledge Base Data Files

xml owl ontology knowledge-base opencyc

Updated Jan 14, 2022

khrome / cycada

Sponsor

Star

CYC 4 queries in node locally

nodejs javascript cyc opencyc

Updated Dec 5, 2017
JavaScript

Extensible Cognitive Hybrid Intelligence for Deductive Neural Assistance. A neurosymbolic theorem proving platform that transforms Quill (Agda-only neural solver) into a universal multi-prover system with aspect tagging, OpenCyc integration, and DeepProbLog probabilistic logic.

automation integration tooling reliability mathematics systems operations proofs solvers echidna deductive-reasoning opencyc neurosymbolic deepproblog rhodium-standard echidnabot my-coolest-projects

Updated Jan 10, 2026
Rust

Improve this page

Add a description, image, and links to the opencyc topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the opencyc topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly