. Dealing with these concepts is by no means trivial. We plan to leverage the extensive work that has been done in these areas. Such work includes: ThoughtTrcasure, (16) NETL2, (19) Cyc, (7) Shanahan's formalization of time, (20) the RCC formalization of space, (21) and Kuipers's Spatial Semantic Hierarchy. (2