In the right column are the 306 built-in Common Lisp symbols used in the code (along with the number of times each is used). You can follow a link to the definition of each one in the ANSI Common Lisp Documentation (based on the ANSI standard document). You can also go directly to the overview or the code directory.
SWCLOS Symbols Common Lisp Symbols
========================== ===================
%
%%typep (2) f f &body (2)
%%uri2symbol (1) f &key (8)
%addform (1) f &optional (50)
%clos-subtype-p (1) f &rest (65)
%collect-used-packaged-from (1) f * (4)
%complement-refining-p (1) f *default-pathname-defaults* (1)
%complemently-equal (1) f *load-pathname* (2)
%compute-effective-slot-definition-initargs (1) f *package* (1)
%description-form (1) f *print-escape* (1)
%disjoint-p (2) f f *print-length* (2)
%domain-value (1) f *print-level* (2)
%equivalent-classes-of (1) f *query-io* (2)
%get-domain (1) f *readtable* (1)
%get-hasfiller-inherited (1) f *standard-output* (8)
%get-inverse-prop (2) f f + (10)
%get-range (1) f 1+ (34)
%get-value (1) f 1- (12)
%instance-p (1) f < (17)
%intersection-disjoint-p (1) f <= (54)
%intersection-equivalent (1) f = (120)
%intersection-refining-p (1) f > (9)
%intersection-restriction-subsumed-p (1) f >= (7)
%intersection-subsumed-p (1) f
%intersection1-subsumed-p (1) f
%intersection12-subsumed-p (1) f
%iri-escape (1) f
%iri-escape-for-delimiter (1) f
%iri-value (1) m
%language-p (1) f
%list-all-resources (1) f
%oneof-equivalent (1) f
%oneof-refining-p (1) f
%oneof1-subsumed-p (1) f
%oneof2-subsumed-p (1) f
%owl-class-subtype-p (1) f
%owl-complement-p (1) f
%owl-different-p (1) f
%owl-disjoint-p (1) f
%owl-equivalent-p (1) f
%owl-equivalent-p-without-complements (1) f
%owl-equivalent-p-without-equivalents (1) f
%owl-equivalent-p-without-type-equivalents (1) f
%owl-restriction-equal (1) f
%owl-same-p (2) f f
%owl-subtypep (1) f
%owl-thing-subclass-p (1) f
%peep-xmldecl-code (1) f
%range-value (1) f
%rdf-class-subtype-p (1) f
%rdf-equalp (1) f
%rdf-property-subtype-p (1) f
%rdf-subtypep (1) f
%read-encname (1) f
%read-name (1) f
%read-ncname (1) f
%read-nmtoken (1) f
%read-uri (1) f
%resource-subtype-p (1) f
%restriction-disjoint-p (1) f
%same-as-of (1) f
%satisfy-model (1) f
%setfvalue (1) f
%slot-value-range-check (1) f
%symbols2values (1) f
%typep (1) f
%typep-for-mscs (1) f
%typep-without-type-equivalents (1) f
%union-equivalent (1) f
%union-refining-p (1) f
%union-subsumed-p (1) f
%uri2symbol (1) f
*all-quiet* (1) v
*autoepistemic-local-closed-world* (2) v v
*base-uri* (1) v
*default-namespace* (1) v
*default-slot-definition-class* (2) v v
*defined-resources* (1) v
*entity-decls* (1) v
*force-recursive-p* (1) v
*line-number* (1) v
*line-pos* (1) v
*meta* (1) v
*namespaces* (1) v
*new-variable-counter* (1) v
*nonuna* (1) v
*pos* (1) v
*referenced-resources* (1) v
*reify-p* (1) v
*saved-warnings* (1) v
*standard-readtable* (2) v v
*subjects-defined* (1) v
*system-properties* (1) v
*system-resources* (1) v
*top* (1) v
*undo* (1) v
*undo-stack* (1) v
*undoed-operations* (1) v
*uri2symbol-name-mapping-fun* (1) v
*uri2symbol-package-mapping-fun* (1) v
+fail+ (1) v
+logical-connectives+ (1) v
+logical-quantifiers+ (1) v
+no-bindings+ (1) v
-> (1) f
->cnf (1) f
->inf (1) f
->nnf (1) f
./ (1) m
.rdf-type-error (1) f
/. (1) m
@ (1) f
A
accumulate-defined-name (1) f abs (6)
add-conjunct-existentially (1) f acons (12)
add-direct-slots-to-domain (1) f adjoin (4)
addclass (1) f alpha-char-p (4)
addform (1) f and (1088)
addinstance (1) f append (108)
addobject (1) f apply (97)
addrdfxml (1) f assert (78)
addtriple (58) f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f f fassoc (55)
addtriple-from-file (1) f atom (55)
aggregate-args (1) f
aggregate-slots (1) f
all-concept-names (1) f
all-extensions-of-generator (2) f f
all-individuals (1) f
all-instances-generator (3) f f f
all-role-names (1) f
anonymous-p (1) f
anysimpletype (2) v t
anyuri (2) v t
arg1 (1) f
arg2 (1) f
args (1) f
ask-user-cl-file (1) f
ask-user-for-string (1) f
ask-user-nt-file (1) f
ask-user-rdf-file (1) f
assert-pattern (1) f
associated-p (1) f
atomic-clause? (1) f
B
binding-val (1) f bignum (1)
binding-var (1) f boolean (1)
bnode-p (1) f boundp (42)
book-keeping-for-reification (1) f butlast (2)
book-keeping-super/sub-property (1) f
boolean (2) v t
byte (2) v t
C
cardinality-ok-p (2) f f caar (4)
cdstart-p (1) f cadr (18)
change-class (12) f f f f f f f f f f f f call-next-method (61)
character-p (1) f car (244)
check-instance-sharing (1) f case (66)
check-intersection-refining-for-subclasses (1) f catch (2)
check-ordinal-properties (1) f cdar (1)
check-shadowed-class-and-propagate-to-subs (1) f cddr (18)
check-simple-disjoint-pair-p-in-slot-types (1) f cdr (155)
check-simple-disjoint-pair-p-in-supers (1) f cerror (6)
check-superclasses-order (1) f change-class (72)
check-union-refining-for-subclasses (1) f char (148)
clash-p (1) f char-code (21)
class (1) v char= (155)
class-of+ (1) f character (6)
class? (1) f class (523)
clos-strict-supertype-p (1) f class-name (55)
cnf1->inf1 (1) f class-of (177)
collect-all-extensions-of (2) f f code-char (8)
collect-all-extensions-of-1 (1) f coerce (29)
collect-all-instances-of (3) f f f complement (17)
collect-all-subproperties (1) f concatenate (23)
collect-all-subs (1) f cond (774)
collect-all-subsumed-types (3) f f f condition (95)
collect-all-subtypes (2) f f cons (209)
collect-all-superproperties (1) f consp (140)
collect-all-supers (1) f copy-list (5)
collect-container-members (1) f copy-readtable (3)
collect-direct-instances-of (2) f f
collect-direct-subtypes (2) f f
collect-domain-properties (1) f
collect-domaind (1) f
collect-domains (1) f
collect-domains-from-initargs (1) f
collect-instance-slots (1) f
collect-most-specific-concepts (1) f
collect-owl-role-name-if (1) f
collect-prop-names-from (1) f
collect-props-from-initargs (1) f
collect-range-properties (1) f
collect-ranges (1) f
collect-superclasses* (1) f
collect-used-packaged-from (1) f
collection-p (1) f
comment (2) v t
comment? (1) f
complement-of (1) f
compute-effective-slot-definition-initargs (2) f f
compute-slot-value (1) f
concat-symbol (1) f
concept-parents (1) f
conjunction (1) f
conjuncts (1) f
constraint-filter (1) f
container (1) v
containermembershipproperty (1) v
create-models-for-subsumer-from-restrictions (1) f
create-slot (1) f
D
dah (1) f decf (3)
datatype (1) v declaim (8)
datatype-p (1) f declare (235)
datatype? (1) f defclass (40)
datatypestring-p (1) f defconstant (6)
decimal (2) v t defgeneric (3)
declsep? (1) f define-condition (32)
default-direct-superclasses (4) f f f f defmacro (12)
default-uri2symbol-name-mapping-fun (1) f defmethod (199)
default-uri2symbol-package-mapping-fun (1) f defpackage (40)
defconcept (1) m defparameter (61)
defindividual (1) m defsetf (2)
definitely-%%owl-different-p (1) f defstruct (7)
definitely-%disjoint-p (1) f deftype (21)
definitely-%owl-different-p (1) f defun (657)
definitely-%owl-same-p (2) f f defvar (24)
definitely-owl-different-p (1) f delete (1)
definitely-owl-equivalent-p (1) f destructuring-bind (11)
definitely-owl-same-p (1) f digit-char-p (3)
defproperty (1) m directory (7)
defresource (1) m do (169)
deftriple (1) m documentation (34)
delay (2) m t dolist (2)
delay-role-p (1) f double-float (2)
delete-slot (1) f dynamic-extent (14)
description (1) t
description-form (1) f
destroy (1) f
different-from-of (1) f
different-p+ (1) f
direct-slot-definition-class (1) f
disjoint-class-p+ (1) f
disjoint-p (2) f f
disjoint-pairs-p (1) f
disjunction (1) f
disjuncts (1) f
do-all-entity-uris (1) f
do-all-uri-namedspaces (1) f
doctypedecl (1) t
domain (1) v
domain-check-for-class (1) f
domain-check-for-instance (1) f
domain-value (3) f f f
domainp (1) f
domains-satisfied-p (1) f
dont-expand-p (1) f
double (2) v t
double-angle-bracket-reader (1) f
duplicate-p (1) f
duration (1) v
E
effective-slot-definition-class (2) f f ecase (7)
eliminate-implications (1) f elt (2)
encname-p (1) f eq (425)
encodingdecl? (1) f eql (111)
ensure-class-slotds (1) f equal (81)
ensure-class-using-class (1) f equalp (17)
ensure-meta-absts (1) f error (435)
ensure-meta-absts-using-class (4) f f f f etypecase (25)
ensure-object-with-minimal-constraint (1) f eval (6)
entitydecl? (1) f eval-when (43)
eoln-p (1) f every (48)
equals (1) f exp (13)
equivalent-classes-of (1) f export (18)
equivalent-property-of (1) f
equivalent-property-p (2) f f
equivalentproperty-maintain (2) f f
escaped-p (1) f
etag-p-with-eat-up (1) f
export-as-qname (1) f
extend-bindings (1) f
externalid? (1) f
F
false (1) v fboundp (2)
finalize-inheritance (1) f fill (2)
find-anywhere-if (1) f find (24)
find-package-from-documentation (1) f find-class (57)
find-package-from-uri (1) f find-if (3)
find-with-escape (1) f find-package (44)
first (1) v find-restart (1)
float (2) v t find-symbol (9)
force (1) f first (28)
form2slot (1) f fixnum (3)
functional-property-equal-p (1) f flet (36)
functional-property-p (1) f float (5)
functional-property? (1) f format (175)
funcall (37)
function (792)
G
generate-models-for-existential (1) f gensym (2)
generate-models-for-susumee-from-slot (1) f gentemp (6)
generate-subsumee-models (1) f get (7)
generate-subsumer-models (1) f getf (87)
get-about-slot (2) f f gethash (7)
get-binding (1) f
get-domain (1) f
get-filler (1) f
get-form (1) f
get-intersect-siblings (1) f
get-mclasses-from (1) f
get-range (1) f
get-range-constraint-from (2) f f
get-slots (5) f f f f f
get-subclasses-siblings (1) f
get-superclasses-siblings (1) f
get-triple (1) f
get-triple-uri (1) f
get-union-spouses (1) f
get-uri-namedspace (1) f
get-value (1) f
ground? (1) f
H
has-variable? (1) f handler-bind (2)
I
id-p (1) f if (147)
impose-conjunct-existentially (1) f ignore (72)
initarg-include-p (1) f in-package (32)
initarg= (1) f incf (19)
int (2) v t inline (34)
integer (2) v t integer (4)
intern-datatypestring (1) f integerp (1)
intern-from-nodeid (1) f intern (26)
intern-from-qname (1) f intersection (11)
intern-langstring (1) f invoke-restart (1)
intern-literal (1) f
intern-object (1) f
intern-predicate (1) f
intern-subject (1) f
intersection-of (1) f
intersection-p (1) f
intersection-subsumed-p (1) f
intsubset? (1) f
inverse-functional-property-equal-p (1) f
inverse-functional-property-p (1) f
iri (4) f f f f
iri-boundp (1) f
iri-de-escape (1) f
iri-delimiter-p (1) f
iri-escape (1) f
iri-marked-char-p (1) f
iri-p (1) f
iri-reserved-char-p (1) f
iri-unwise-p (1) f
iri-value (1) f
irregular-name&pkg (1) f
isdefinedby (1) v
K
keywordp (12)
L
label (1) v labels (24)
label-localpart (1) f lambda (341)
label-prefix (1) f last (4)
label-uri (1) f length (61)
lang-env (1) v let (558)
lang-tag-char-p (1) f let* (44)
lang? (1) f list (255)
langstring-p (1) f list* (2)
language-p (1) f list-all-packages (2)
last1 (1) f listp (30)
last2 (1) f load-time-value (82)
lasyaddrdfxml (1) f loop (291)
length=1 (1) f lower-case-p (3)
length=2 (1) f
length>1 (1) f
line-count (1) f
lisp2rdf (1) f
lisp2rdf* (1) f
list (1) v
list-all-entities-in (5) f f f f f
list-all-entity-uris (1) f
list-all-properties (1) f
list-all-resources (1) f
list-all-statements (1) f
list-all-uri-namedspaces (1) f
list2alt (1) f
list2bag (1) f
list2seq (1) f
literal (1) v
literal-clause? (1) f
literal-p (1) f
local-precedence-ordering (1) f
logic (1) f
long (2) v t
lookup (1) f
lower-name-char-p (1) f
M
make-accepter-for-rdf (1) f make-hash-table (3)
make-anonymous-label (1) f make-instance (68)
make-binding (1) f make-package (6)
make-coined-name (1) f make-pathname (1)
make-exp (1) f make-symbol (2)
make-form (1) f map (2)
make-initarg-from-slotd (1) f mapc (45)
make-initargs-from-slotds (1) f mapcan (6)
make-instance (6) f f f f f f mapcar (57)
make-object-with-minimal-contraint (1) f max (4)
make-ordinal-property (1) f member (125)
make-ordinal-property-from-number (1) f member-if (6)
make-proxy (1) f merge-pathnames (2)
make-rdf/xml-parser (1) f min (4)
make-rdfxml-reader (1) f minusp (4)
make-shadow (1) f mismatch (2)
make-this-supers (2) f f most-negative-fixnum (2)
make-unique-nodeid (1) f most-positive-fixnum (2)
mappend (1) f muffle-warning (1)
markupdecl? (1) f multiple-value-bind (94)
match (1) f multiple-value-setq (18)
member (1) v
memo (1) f
memo2 (1) f
memoize (1) f
memoize2 (1) f
merge-disjuncts (1) f
metaclass? (1) f
mkatom (1) f
mklist (1) f
mop-specs (1) f
more-specific-domain (1) f
more-specific-range (1) f
most-abstract-concepts (1) f
most-specific-concepts (1) f
most-specific-concepts-by-clos-supers (1) f
most-specific-concepts-by-superclasses (1) f
most-specific-concepts-for-refining (1) f
most-specific-concepts-for-restrictions (1) f
most-specific-concepts-for-slotd-type (1) f
most-specific-inherited-domain (1) f
most-specific-inherited-range (1) f
most-specific-properties (1) f
most-specific-property (1) f
most-specific-transitives (1) f
move-not-inwards (1) f
N
name (6) f f f f f f namestring (2)
name&space (1) f not (267)
name+ (1) f notany (3)
name-char-p (1) f nreverse (9)
name-ontology (1) f nth (1)
name-p (1) f null (260)
namechar-p (1) f number (9)
named-p (1) f numberp (28)
namestartchar-p (1) f
ncnamechar-p (1) f
ncnamestartchar-p (1) f
negative-clause? (1) f
negativeinteger (2) v t
new-variable (1) f
nil (1) v
no-twin-p (1) f
node-p (1) f
nodeid2symbol (1) f
nodeid? (1) f
nonnegativeinteger (2) v t
nonpositiveinteger (2) v t
nothing (1) v
nt-comment-p (1) f
null-iri-p (1) f
null-string-p (1) f
O
object (1) v optimize (120)
object-p (1) f or (324)
object? (1) f otherwise (82)
occurs-in? (1) f
oneof-subsumed-p (1) f
onproperty-of (1) f
op (1) f
owl-cardinality-p (1) f
owl-class-p (1) f
owl-class? (1) f
owl-complement-p (1) f
owl-complement-type-p (1) f
owl-different-p (1) f
owl-equalp (2) f f
owl-equalp-for-refining (1) f
owl-equivalent-p (2) f f
owl-equivalent-p+ (1) f
owl-intersection-type-p (1) f
owl-oneof-p (2) f f
owl-property-direct-slotd-p (1) f
owl-property-effective-slotd-p (1) f
owl-restriction-p (2) f f
owl-same-p (1) f
owl-same-p+ (1) f
owl-same-p-in-satisfy (1) f
owl-thing-p (2) f f
owl-union-type-p (1) f
P
parse-as-duration (1) f package (21)
parse-comment (1) f package-name (9)
parse-datatypestring (1) f package-nicknames (2)
parse-description (1) f packagep (3)
parse-doctypedecl (1) f parse-integer (7)
parse-duration (1) f parse-namestring (1)
parse-element (1) f pathname (4)
parse-entitydecl (1) f pathname-directory (2)
parse-externalid (1) f pathname-name (3)
parse-intsubset (1) f pathname-type (2)
parse-iri (1) f pathnamep (1)
parse-iriref (1) f peek-char (12)
parse-langstring (1) f plusp (5)
parse-language (1) f pop (7)
parse-literal (1) f position (7)
parse-markupdecl (1) f position-if (3)
parse-name (1) f position-if-not (4)
parse-nodeid (1) f pprint (1)
parse-nt-comment (1) f pprint-exit-if-list-exhausted (9)
parse-object (1) f pprint-indent (15)
parse-pattern-delimited-string (1) f pprint-logical-block (11)
parse-predicate (1) f pprint-newline (26)
parse-property (1) f pprint-pop (10)
parse-qname (1) f prin1 (20)
parse-rdf (1) f princ (44)
parse-rdfdecl (1) f print (1)
parse-subject (1) f print-object (1)
parse-triple (1) f print-unreadable-object (17)
parse-triple-line (1) f proclaim (3)
parse-versioninfo (1) f prog1 (13)
parse-xmldecl (1) f progn (17)
path-filler (1) f provide (31)
peep-qnamestring (1) f push (27)
peep-xmldecl-code-from-file (1) f pushnew (33)
peep-xmldecl-code-from-string (1) f
position-with-escape (1) f
positiveinteger (2) v t
predicate (1) v
predicate-p (1) f
print-all-entity-uris (1) f
print-comment (1) f
print-description (1) f
print-doctypedecl (1) f
print-object (15) f f f f f f f f f f f f f f f
print-prop (1) f
print-rdf (1) f
print-uri-form (1) f
print-xmldecl (1) f
prop (1) t
prop-form (1) f
property (1) v
property-direct-slotd-p (1) f
property-effective-slotd-p (1) f
property-p (1) f
property? (1) f
pubidchar-p (1) f
put-value (7) f f f f f f f
Q
qname-p (1) f quote (1986)
qname2prefixedname (1) f
qname2unprefixedname (1) f
qnamestring2symbol (1) f
quiet-warning-handler (1) f
R
range (1) v rassoc (2)
range-value (3) f f f rational (5)
rangep (1) f read (2)
rdf (1) t read-char (18)
rdf-check-type (1) m read-from-string (10)
rdf-check-type-1 (1) f read-line (1)
rdf-class-p (1) f reduce (2)
rdf-db-open-p (1) f reinitialize-instance (93)
rdf-db-register (1) f remf (15)
rdf-equalp (1) f remove (39)
rdf-graph-different-p (1) f remove-duplicates (45)
rdf-graph-equalp (1) f remove-if (40)
rdf-instance-p (1) f remove-if-not (38)
rdf-metaclass-p (1) f require (51)
rdf-parser-test (1) f rest (13)
rdf-resolve (1) f restart-case (2)
rdf-subtypep (1) f return (27)
rdfdecl? (1) f return-from (148)
rdfdeclendp? (1) f reverse (10)
rdfs:resource (1) v rplaca (14)
read-as-datatype (1) f rplacd (4)
read-attribute-in-description (1) f
read-attribute-in-property (1) f
read-attribute-in-rdf (1) f
read-attvalue (1) f
read-cdata-to-cdend (1) f
read-charref (1) f
read-comment (1) f
read-data (1) f
read-description (1) f
read-doctypedecl (1) f
read-encname (1) f
read-encodingdecl (1) f
read-entity (1) f
read-entity-decls (1) f
read-entityref (1) f
read-eq (1) f
read-evaluated-form (1) f
read-in-lang-env (1) f
read-lang-tag (1) f
read-name (1) f
read-ncname (1) f
read-nmtoken (1) f
read-ntriple-file (1) f
read-ntripledoc (1) f
read-pereference (1) f
read-plane-text (1) f
read-property (1) f
read-pubidliteral (1) f
read-qname (1) f
read-qnamestring (1) f
read-quoted-ncname (1) f
read-quoted-string (1) f
read-rdf-file (1) f
read-rdf-from-string (1) f
read-reference (1) f
read-sddecl (1) f
read-stag-or-emptyelemtag-in-description (1) f
read-stag-or-emptyelemtag-in-property (1) f
read-string (1) f
read-string-until-etag-with-eat-up (1) f
read-systemliteral (1) f
read-type-tag (1) f
read-uri (1) f
read-xmldecl (1) f
reduce-atoms (1) f
reduce-models (1) f
refine-concept-by-intersection (2) f f
reify (1) f
reinitialize-instance (1) f
rename-variables (1) f
repair-inconsistent-ordering (1) f
resource (1) v
resource? (1) f
rest (1) v
restriction-subtypep (1) f
reuse-cons (1) f
role-p (1) f
role? (1) f
rsc-object-p (1) f
S
s2rdf (1) f safety (120)
same-as-of (2) f f satisfies (23)
satisfy-filler (2) f f second (33)
satisfy-max-cardinality (1) f sequence (8)
sddecl? (1) f set (2)
seealso (1) v set-difference (23)
set-delay-role (1) f set-macro-character (3)
set-eq (1) f setf (258)
set-equalp (1) f setq (577)
set-uri-namedspace (1) f shadow (30)
set-uri-namedspace-from-pkg (1) f shared-initialize (1)
setf (2) f f signed-byte (4)
shadow-name (1) f simple-condition-format-arguments (31)
shadowed-class-p (1) f simple-condition-format-control (31)
shared-initialize (22) f f f f f f f f f f f f f f f f f f f f f f simple-string (2)
shared-initialize-after-for-complementof (1) f single-float (2)
shared-initialize-after-for-differentfrom (1) f slot-boundp (158)
shared-initialize-after-for-disjointwith (1) f slot-exists-p (64)
shared-initialize-after-for-equivalentclass (1) f slot-makunbound (1)
shared-initialize-after-for-intersectionof (1) f slot-value (483)
shared-initialize-after-for-sameas (1) f some (84)
shared-initialize-after-for-unionof (1) f space (5)
shared-initialize-before-in-owl (2) f f special (1)
shared-initialize-before-in-rdf (1) f speed (120)
short (2) v t standard-class (10)
simple-disjoint-p-in-slot-types (1) f standard-object (1)
simple-disjoint-pair-p-in-supers (1) f store-value (1)
single-underscore-reader (1) f stream (739)
skip-pattern-delimited-string (1) f streamp (2)
skip-ws (1) f string (112)
skolem-constant (1) f string-downcase (2)
skolem-constant-p (1) f string-equal (6)
skolem-p (1) f string-trim (3)
skolemize (1) f string= (47)
slot-filler (1) f stringp (23)
slot-forms (1) f sublis (3)
slot-role (1) f subseq (33)
slot-value-range-check (1) f subsetp (36)
slots-of (1) f substitute (18)
specs->list (1) f subtypep (69)
squash (1) f symbol (135)
starts-with (1) f symbol-function (5)
statement (1) v symbol-name (9)
std-compute-class-precedence-list (1) f symbol-package (32)
std-tie-breaker-rule (1) f symbol-value (509)
strict-abst-property-p (1) f symbolp (113)
strict-abstp (1) f
strict-class-p (1) f
strict-include-p (1) f
strict-specp (1) f
strict-subproperty-p (1) f
strict-subsumed-p (1) f
strict-transitive-subp (1) f
strict-transitive-superp (1) f
string (2) v t
sub-tag-char-p (1) f
subclasses-of (1) f
subclassof (2) f v
subject (1) v
subject-p (1) f
subproperty-p (1) f
subpropertyof (2) f v
subst-bindings (1) f
substitute-pattern (1) f
subsumed-p (2) f f
subsumed-p-in-satisfy (1) f
subsumed-p-successors (1) f
subsumed-p-without-equivalency (1) f
subtypep (1) f
subtypep+ (1) f
subtypep-for-refining (1) f
superclasses-of (1) f
symbol-value+ (1) f
symbol2qnamestring (1) f
symbol2uri (1) f
symmetric-property-p (1) f
T
topological-sort (1) f t (1481)
transitive-p (1) f the (2)
transitive-property-p (1) f third (7)
transitive-property-subsumed-p (1) f throw (1)
transitive-subp (1) f type (322)
tree->list (1) f type-error (1)
true (1) v type-of (31)
ttunify (1) f typecase (61)
ttunify-var (1) f typep (206)
tunify (1) f
tunify-var (1) f
type (1) v
type-of (1) f
type-option-check-with-cardinality (2) f f
typep (1) f
typep-in-satisfy (1) f
typep-without-sames-and-equivalents-in-owl (1) f
U
undoable-by-domain-condition-handler (1) f union (20)
unfold-intersection (1) f unless (109)
unforced (1) v unread-char (3)
unifier (1) f unsigned-byte (4)
unify (1) f upper-case-p (1)
unify-class (1) f
unify-object (1) f
unify-skolem (1) f
unify-var (1) f
unify-xskolem (1) f
unify-yskolem (1) f
union-of (1) f
unique-find-anywhere-if (1) f
unsignedbyte (2) v t
unsignedint (2) v t
unsignedlong (2) v t
unsignedshort (2) v t
unskolemize (1) f
update-instance-for-different-class (3) f f f
update-instance-for-unshadowing (1) f
uri2env (1) f
uri2package (1) f
uri2symbol (1) f
uriref-p (1) f
V
value (1) v values (565)
value-of (2) f f
variable? (1) f
variables-in (1) f
W
white-space-p (1) f warn (136)
with-quiet-warnings (1) m warning (2)
with-undoable (1) m when (448)
write-about= (1) f with-input-from-string (2)
write-datatype= (1) f with-open-file (8)
write-it (1) f with-slots (7)
write-nt (1) f write (31)
write-rdf-all-entities-in (1) f write-char (60)
write-resource (1) f
write-resource= (1) f
write-slot (1) f
write-slot-subclassof (1) f
write-triple (1) f
write-xml (1) f
write-xml-all-entities-in (1) f
ws-p (1) f
X
xmldecl (1) t
xmlliteral (1) v
^
^^ (1) f
Y
y-or-n-p (10)
Z
zerop (7)