consequent

(=>     (instance ?GUN ArtilleryGun)     (modalAttribute         (exists (?W)             (and                 (instance ?W Wheel)                 (part ?W ?GUN))) Likely))	Mid-level-ontology.kif 1899-1905	If X is an instance of artillery gun, then the statement there exists Y such that Y is an instance of wheel and Y is a part of X has the modal force of likely
(=>     (instance ?VEHICLE LandVehicle)     (exists (?WHEEL)         (and             (instance ?WHEEL Wheel)             (part ?WHEEL ?VEHICLE))))	Mid-level-ontology.kif 3989-3994	If X is an instance of land vehicle, then there exists Y such that Y is an instance of wheel and Y is a part of X
(=>     (instance ?X RollawayBed)     (exists (?WHEEL)         (and             (instance ?WHEEL Wheel)             (part ?WHEEL ?X))))	Mid-level-ontology.kif 4560-4565	If X is an instance of rollaway bed, then there exists Y such that Y is an instance of wheel and Y is a part of X
(=>     (instance ?X Wheelchair)     (exists (?WHEEL ?SEAT)         (and             (instance ?SEAT Seat)             (instance ?WHEEL Wheel)             (part ?SEAT ?X)             (part ?WHEEL ?X))))	Mid-level-ontology.kif 28699-28706	If X is an instance of wheelchair, then there exist Y, Z such that Z is an instance of seat, Y is an instance of wheel, Z is a part of X, and Y is a part of X
(=>     (instance ?D Driveshaft)     (hasPurpose ?D         (exists (?R1 ?R2 ?W ?A)             (and                 (instance ?A Automobile)                 (instance ?W Wheel)                 (part ?D ?A)                 (part ?W ?A)                 (instance ?R1 Rotating)                 (patient ?R1 ?D)                 (patient ?R2 ?W)                 (causes ?R1 ?R2)))))	Cars.kif 2174-2186	If X is an instance of driveshaft, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that V is an instance of automobile (3) W is an instance of wheel (4) X is a part of V (5) W is a part of V (6) Y is an instance of rotating (7) X is a patient of Y (8) W is a patient of Z (9) Y causes Z
(=>     (instance ?WC WheelChock)     (hasPurpose ?WC         (exists (?W ?T)             (and                 (instance ?W Wheel)                 (holdsDuring ?T                     (and                         (meetsSpatially ?WC ?W)                         (not                             (exists (?R)                                 (and                                     (instance ?R Rotating)                                     (patient ?R ?W))))))))))	Cars.kif 4228-4241	If X is an instance of wheel chock, then X has the purpose there exist Y, Z such that Y is an instance of wheel, X meets Y, there doesn't exist W such that W is an instance of rotating, and Y is a patient of W holds during Z
(=>     (instance ?TC TireChain)     (hasPurpose ?TC         (exists (?V ?W ?F)             (and                 (instance ?V RoadVehicle)                 (instance ?W Wheel)                 (part ?W ?V)                 (instance ?F Friction)                 (covers ?TC ?W)                 (instrument ?F ?TC)))))	Cars.kif 4345-4355	If X is an instance of snow chain, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of road vehicle (3) Z is an instance of wheel (4) Z is a part of Y (5) W is an instance of friction (6) X covers Z (7) X is an instrument for W
(=>     (instance ?T Tire)     (hasPurpose ?T         (exists (?W ?R)             (and                 (instance ?W Wheel)                 (instance ?R WheelRim)                 (part ?T ?W)                 (part ?R ?W)                 (covers ?T ?R)))))	Cars.kif 4679-4688	If X is an instance of tire, then X has the purpose there exist Y, Z such that Y is an instance of wheel, Z is an instance of rim, X is a part of Y, Z is a part of Y, and X covers Z
(=>     (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