h, Stephen Putman, and Bob Coecke. Reasoning about meaning in natural language with compact closed categories and frobenius algebras. 2013. Kur09. Yohei Kuria. 9-intersection calculi for spatial reasoning on the topological relations between multi-domain objects. USA, June 2009. Kur12. Ray Kurzweil. How