Displaying axioms using examples

Rules as applied to an example

New concept: Virus-Invasion (a type of event)

SME adds a Penetrate subevent

Previous slide

Next slide

Back to first slide

View graphic version