Slide 1 Formalization and Implementation of Cognitive Semantics Joseph A Goguen Computer Science & Engineering University of California at San Diego Thanks to Fox Harrell…