consequent

(=>     (physicalEnd ?E ?O)     (attribute ?O LongAndThin))	Mid-level-ontology.kif 1517-1519	If one end of X is Y, then long and thin is an attribute of X
(=>     (physicalEnd ?E ?O)     (not         (attribute ?E LongAndThin)))	Mid-level-ontology.kif 1521-1524	If one end of X is Y, then long and thin is not an attribute of Y
(=>     (relativeAngle ?L1 ?L2 ?M)     (and         (instance ?L1 Object)         (attribute ?L1 LongAndThin)         (instance ?L2 Object)         (attribute ?L2 LongAndThin)         (connected ?L1 ?L2)         (not             (equal ?L1 ?L2))))	Mid-level-ontology.kif 3430-3439	If the relative angle between X and Y is Z, then All of the following hold: (1) X is an instance of object (2) long and thin is an attribute of X (3) Y is an instance of object (4) long and thin is an attribute of Y (5) X is connected to Y (6) equal X and Y
(=>     (physicalEnd ?P1 ?O)     (attribute ?O LongAndThin))	Mid-level-ontology.kif 3441-3443	If one end of X is Y, then long and thin is an attribute of X
(=>     (instance ?B Baton)     (attribute ?B LongAndThin))	Mid-level-ontology.kif 3490-3492	If X is an instance of baton, then long and thin is an attribute of X
(=>     (instance ?SPINE PlantSpinoseStructure)     (and         (attribute ?SPINE LongAndThin)         (attribute ?SPINE Rigid)))	Mid-level-ontology.kif 11072-11076	If X is an instance of plant spinose structure, then long and thin is an attribute of X and rigid is an attribute of X
(=>     (instance ?L LeafSpring)     (attribute ?L LongAndThin))	Cars.kif 835-837	If X is an instance of leaf spring, then long and thin is an attribute of X
(=>     (instance ?R Rod)     (attribute ?R LongAndThin))	Cars.kif 3996-3998	If X is an instance of rod, then long and thin 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 ?X Pasta)         (not             (exists (?Y)                 (and                     (instance ?Y Pasta)                     (part ?Y ?X)))))     (attribute ?X LongAndThin))	Food.kif 2648-2656	If X is an instance of pasta and there doesn't exist Y such that Y is an instance of pasta and Y is a part of X, then long and thin is an attribute of X
(=>     (and         (instance ?X Spaghetti)         (not             (exists (?Y)                 (and                     (instance ?Y Spaghetti)                     (part ?Y ?X)))))     (attribute ?X LongAndThin))	Food.kif 3500-3508	If X is an instance of spaghetti and there doesn't exist Y such that Y is an instance of spaghetti and Y is a part of X, then long and thin is an attribute of X
(=>     (and         (instance ?R Rotating)         (patient ?R ?TRACK)         (instance ?TRACK ContinuousTrack))     (exists (?COLL ?MEM ?I ?TREAD ?R2)         (and             (instance ?COLL CollectionOfObjects)             (member ?MEM ?COLL)             (instance ?MEM Wheel)             (memberCount ?MEM ?I)             (greaterThan ?I 2)             (part ?COLL ?TRACK)             (part ?TREAD ?TRACK)             (instance ?TREAD CorpuscularObject)             (shape ?TREAD LongAndThin)             (attribute ?TREAD Pliable)             (located ?COLL ?TREAD)             (instance ?R2 Rotating)             (causes ?R2 ?R))))	Military.kif 195-214	If X is an instance of rotating, Y is a patient of X, and Y is an instance of Continuous track, then All of the following hold: (1) there exist Z, W,, , V,, , U (2) T such that Z is an instance of collection (3) W is a member of Z (4) W is an instance of wheel (5) V is a member count of W (6) V is greater than 2 (7) Z is a part of Y (8) U is a part of Y (9) U is an instance of corpuscular object (10) U is long and thin (11) pliable is an attribute of U (12) Z is located at U (13) T is an instance of rotating (14) T causes X

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

---

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners