Knowledge Systems Laboratory, Stanford
University
4
Conceptualization
uSet of objects about which knowledge is being expressed
8Universe of discourse
8Objects can be –
>Concrete Clyde,
my car
>Abstract Justice,
2
>Primitive Resister
>Composite Electric
circuit
>Fictional Sherlock
Holmes
8Objects always in the KIF
conceptualization (i.e., in the ontology)
>Real and complex numbers
>All finite lists of objects
>Words
>ASCII characters
>Finite strings of ASCII characters
> ^
(bottom)
uSet of relations and functions on the objects
uTruth values