Provides the behavior and attributes of a Base Client list, typically used to represent assertions in their external (EL) form.
A Map representation of a CycList ALIST or PLIST.
This interface marks an object as being a CycL object.
DenotationalTerm is designed to...
Defines the behavior of a Epistemological Level Microtheory (ElMt), which can be a Constant, NART (Non-Atomic Reified Term) or NAUT (Non-Atomic Unrefied Term).
A FormulaSentence is a Sentences composed of a truth function and a list of arguments.
InformationSource is designed to...
NonAtomicTerm is designed to...
Provides the behavior and attributes of a Cyc GUID (Globally Unique IDentifier).
Copyright © 2013–2018 Cycorp, Inc. All rights reserved.