antecedent

(=>     (instance ?PLANT MineBusiness)     (exists (?MINERAL ?MINE ?MANUFACTURE)         (and             (instance ?MINE Mine)             (instance ?MANUFACTURE Manufacture)             (eventLocated ?MANUFACTURE ?MINE)             (result ?MANUFACTURE ?MINERAL)             (instance ?MINERAL MiningArtifact))))

Society.kif 1531-1539

If X is an instance of MineBusiness, then there exist Y, Z, W such that Z is an instance of mine, W is an instance of manufacture, W is located at Z, Y is a result of W, and Y is an instance of MiningArtifact

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