...is

All NEOCLASSIC input here is given in the syntax of the NEOCLASSIC character stream interface. For details on how to build descriptions and perform NEOCLASSIC operations in the C++ application programming interface, see the NEOCLASSIC Reference Manual.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

...restriction

A derivable restriction is one that was either stated as part of the definition, or can be deduced from other information.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

...use:

In the NEOCLASSIC character interface there is a current knowledge base and concepts are created in that knowledge base.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

...individual.

Just as for concepts, the character interface creates CLASSIC individuals in the current knowledge base.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

...guide

For the interested reader, the reason is roughly that this would make concept descriptions autoepistemic (and thus nonmonotonic).

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

...is:

As before, the character interface creates roles in the current knowledge base.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

...rule.

Again, the character interface creates roles in the current knowledge base.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.