KR & Quads (context)

KR specifies the context of a statement as follows

    at space=s,time=t,view=v { statement }

Space, time are the "where", "when" for actions.
View gives the name of the context, which KR records
in the form of an entity-characteristic-proposition
hierarchy.

View is analogous to the "situation" in Situation Theory.
============ 
Dick McCullough 
knowledge := man do identify od existent done
knowledge haspart list of proposition