  We explore using the Suggested Upper Merged Ontology (SUMO) to develop a
semantic simulation. We provide two proof-of-concept demonstrations modeling
transitions in a simulated gasoline engine using a general-purpose programming
language. Rather than focusing on computationally highly intensive techniques,
we explore a less computationally intensive approach related to familiar
software engineering testing procedures. In addition, we propose structured
representations of terms based on linguistic approaches to lexicography.
