Systematic Formulation and Computation of Subjective Spatiotemporal Knowledge based on Mental Image Directed Semantic Theory: Toward a Formal System for Natural Intelligence.