© 2000 Todd Neller.
A.I.M.A. t
ext
figures
© 1995 Prentice Hall.
Used by
permission.
Building Atomic Sentences: Constant
Symbols (cont.)
•
function constants
- mappings between
tuples and things in the DOD
–
0-ary function - an object constant
–
n-ary function (n>0) - special case of n+1-ary
relation where n arguments uniquely determine
n+1st argument
