|
|
|
| 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 |
||||||||||
