# 1999/1/21

4.3 identify
============

By definition,

	knowledge is the identification of a fact of reality

i.e., it is the result of some person identifying reality.
In my KR language, this is expressed as

	knowledge := person do identify existent

There are many ways to represent knowledge, depending
on the purpose of the person.  This can be expressed as

	view := person do identify existent with purpose

If a specific person identifies a specific entity, we
can record that as

	at space=s,time=t
	John do identify book_123

This information can be retrieved using the question

	John do identify ?

These fundamental (axiomatic) concepts,

	existent, entity, relation
	action, space, time
	person, identify, view

are all included in the ultimate view, tabula_rasa.


Multiple views are described as follows

	at view=tabula_rasa
	...
	v1 := person1 do identify existent with purpose=p1
	at view=v1
	sentence1
	...
	v2 := person2 do identify existent with purpose=p2
	at view=v2
	sentence2
	...


