19 Reasoning

Exercises

The exercises in this group are:


Prev: A larger ontology
Up: Part V: Exercises
Next: Encoding a Darii Syllogism