antecedent

(=>     (instance ?X Reel)     (attribute ?X ConvexRoundShape))	Cars.kif 4178-4180	If X is an instance of reel, then convex round shape is an attribute of X
(=>     (instance ?X Reel)     (hasPurpose ?X         (exists (?K ?H)             (and                 (instance ?K Keeping)                 (instance ?H CorpuscularObject)                 (attribute ?H LongAndThin)                 (attribute ?H Pliable)                 (instrument ?K ?X)                 (patient ?K ?H)))))	Cars.kif 4182-4192	If X is an instance of reel, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of keeping (3) Z is an instance of corpuscular object (4) long and thin is an attribute of Z (5) pliable is an attribute of Z (6) X is an instrument for Y (7) Z is a patient of Y
(=>     (and         (instance ?HR Reel)         (instance ?K Keeping)         (instance ?H CorpuscularObject)         (attribute ?H LongAndThin)         (attribute ?H Pliable)         (instrument ?K ?HR)         (patient ?K ?H))     (exists (?P)         (and             (part ?P ?H)             (meetsSpatially ?P ?HR))))	Cars.kif 4194-4206	If All of the following hold: (1) X is an instance of reel (2) Y is an instance of keeping (3) Z is an instance of corpuscular object (4) long and thin is an attribute of Z (5) pliable is an attribute of Z (6) X is an instrument for Y (7) Z is a patient of Y, then there exists W such that W is a part of Z and W meets X
(=>     (and         (instance ?HR Reel)         (instance ?K Keeping)         (instance ?H CorpuscularObject)         (attribute ?H LongAndThin)         (attribute ?H Pliable)         (instrument ?K ?HR)         (patient ?K ?H))     (exists (?R)         (and             (instance ?R Rotating)             (patient ?R ?HR)             (subProcess ?R ?K))))	Cars.kif 4208-4221	If All of the following hold: (1) X is an instance of reel (2) Y is an instance of keeping (3) Z is an instance of corpuscular object (4) long and thin is an attribute of Z (5) pliable is an attribute of Z (6) X is an instrument for Y (7) Z is a patient of Y, then there exists W such that W is an instance of rotating, X is a patient of W, and W is a subprocess 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