consequent

(=>     (and         (instance ?A Aileron)         (member ?A ?P)         (instance ?P Pair)         (member ?B ?P)         (not             (equal ?A ?B)))     (exists (?W)         (and             (instance ?W Flightwing)             (located ?A ?W)             (located ?B ?W)             (orientation ?A ?B Left)             (orientation ?B ?A Right))))

Transportation.kif 3400-3414

If X is an instance of aileron, X is a member of Y, Y is an instance of pair, Z is a member of Y, and equal X and Z, then there exists W such that W is an instance of Flightwing, X is located at W, Z is located at W, X is left of to Z, and Z is right of to X

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