would have been identical except that the second truck would have been given a name such as
OBJECT345
rather than
TRUCK123
(as def-named-kb-class overrides the inherited
initform
for th
e
kb-name
slot
(gentemp "OBJECT")
with a more specific one
(gentemp <class-name>)
).