Class
AGENT-NAME
Defined in theory:
Bibliographic-data
Source code:
bibliographic-data.lisp
Slots on this class:
Documentation
:
A string that is the name of some agent.
Subclass-Of
:
Biblio-name
Axioms:
(
Exact-Range
Agent.Name
Agent-Name
)
Notes:
Added the constraint that
agent-name
is a
subclass-of
biblio-name
to be clear. This could be inferred from the definition of
EXACT-RANGE
and
AGENT.NAME
-- since the
AGENT-NAME
is the
EXACT-RANGE
of the
AGENT.NAME
function, and a
RANGE
of
AGENT.NAME
is
BIBLIO-NAME
, and since the
EXACT-RANGE
of a
BINARY-RELATION
is a
SUBCLASS-OF
any of its ranges, then it follows that
AGENT-NAME
is a
SUBCLASS-OF
BIBLIO-NAME
.