Here we attempt to give the reader the background necessary to understand the application of HG to problems in computational semantics. In particular, we present an outline of the Mikrokosmos Machine Translation project. Topics discussed include knowledge sources such as ontologies (semantic models of the world) and computational lexicons, and the principles used in extracting and using semantic (and syntactic) constraints to determine the correct meaning of an input text.