Ockham's Theory of Terms: Part I of the Summa Logicae