consequent

(=>     (instance ?S Spear)     (hasPurpose ?S         (exists (?P ?A)             (and                 (instance ?A CognitiveAgent)                 (or                     (instance ?P Poking)                     (instance ?P Hunting)                     (instance ?P Attacking))                 (instrument ?P ?S)                 (agent ?P ?A)))))

Mid-level-ontology.kif 1235-1246

If X is an instance of spear, then X has the purpose there exist Y, Z such that Z is an instance of cognitive agent, Y is an instance of poking, Y is an instance of hunting, or Y is an instance of Attacking, X is an instrument for Y, and Z is an agent of Y

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

---

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners