Metadata
Author: WikiMatrix
Data
English[en]
The Cyc project has its own ontology language called CycL, based on first-order predicate calculus with some higher-order extensions.
Spanish[es]
El proyecto Cyc tiene su propio lenguaje llamado CycL, basado en cálculo de predicados de primer orden con otros de un orden más alto.