by cycorpinc | Apr 12, 2021
A non-atomic term or NAT, represented in the Cyc Knowledge Base by #$CycLNonAtomicTerm, is a type of represented term and a type of formula that is not atomic, i.e., that is neither a variable, a constant, nor a SubL atomic term. NATs are terms formed by applying...
by cycorpinc | Apr 12, 2021
A non-atomic unreified term or NAUT (pronounced “nowt”) is a non-atomic term that has not been reified, possibly (but not necessarily) because it is unreifiable.
by cycorpinc | Apr 12, 2021
Ontological engineering (OE) is what ontologists do (or the product of that activity). Ontologists are sometimes informally referred to as “OEs” or “OEers”, though they are not officially engineers in the legal sense.
by cycorpinc | Apr 12, 2021
An ontologist (in Cyc-speak) is a Cyclist who focuses primarily on developing the Cyc Knowledge Base, aka the Cyc Ontology. Such individuals understand the structure of the Cyc KB and know how to express knowledge and queries in CycL. Thus, they know how to add new...
by cycorpinc | Apr 12, 2021
In philosophy, ontology is the study of being. In knowledge-based systems, an ontology is that part of the system which specifies what things exist and what is true about them. Cyc’s ontology is the framework around which its knowledge base — consisting of...
