consequent

(=>     (instance ?R Ruler)     (hasPurpose ?R         (exists (?D ?M)             (and                 (instance ?D LinearExtent)                 (instance ?M Measuring)                 (result ?M ?D)                 (instrument ?M ?R)))))

Mid-level-ontology.kif 34297-34305

If X is an instance of ruler, then X has the purpose there exist Y, Z such that Y is an instance of LinearExtent, Z is an instance of measuring, Y is a result of Z, and X is an instrument for Z

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