objectdef: definition
A KIF objectdef.
TO BE COMPLETED.