doing something (perhaps something in the physical world, or perhaps an abstract mental action). The key SMEPH Edge types, using language drawn from Probabilistic Logic Networks (PLN) and elaborated in Chapter 34 below, are as follows: e ExtensionalInheritanceEdge (ExtInhEdge for short: an edge which, linking one Vertex or E