consequent

(=>     (and         (instance ?LE LandMeanOfProduction)         (attribute ?LEO ?LE))     (exists (?L ?EMS)         (or             (and                 (instance ?L Region)                 (part ?LEO ?L))             (and                 (instance ?EMS ElectromagenticSpectrum)                 (equal ?LEO ?EMS)))))

Economy.kif 6159-6170

If X is an instance of natural resource and X is an attribute of Y, then there exist Z, W such that Z is an instance of region, Y is a part of Z or W is an instance of ElectromagenticSpectrum, equal Y, and W

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