Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Tire

 Sigma KEE - Tire
Tire(tire)auto_tire, automobile_tire, car_tire, pneumatic_tire, pneumatic_tyre, rubber_tire, tire, tyre, wagon_tire

appearance as argument number 1
-------------------------


(subclass Tire Device) Cars.kif 4672-4672 Tire is a subclass of device
(documentation Tire EnglishLanguage "Any Pliable object with a ConvexRoundShape that is designed to cover the WheelRim, and provide a WearingFrictionSurface that can be replaced more cheaply and/ or easily than the rim. It may also increase traction, and provide some shock absorbtion or act as a Damper, thus smoothing the ride of a Vehicle.") Cars.kif 4673-4676 Tire is a subclass of device
(defaultMinimumHeight Tire
    (MeasureFn 0.1 Inch))		 DimensioningAmenities.kif 902-902 The minimum expected height of tire is 0.1 inch(s)
(defaultMaximumHeight Tire
    (MeasureFn 45 Inch))		 DimensioningAmenities.kif 903-903 The maximum expected height of tire is 45 inch(s)
(defaultMinimumWidth Tire
    (MeasureFn 1 Inch))		 DimensioningAmenities.kif 904-904 The minimum expected width of tire is 1 inch(s)
(defaultMaximumWidth Tire
    (MeasureFn 110 Inch))		 DimensioningAmenities.kif 905-905 The maximum expected width of tire is 110 inch(s)
(defaultMinimumLength Tire
    (MeasureFn 1 Inch))		 DimensioningAmenities.kif 906-906 The minimum expected length of tire is 1 inch(s)
(defaultMaximumLength Tire
    (MeasureFn 110 Inch))		 DimensioningAmenities.kif 907-907 The maximum expected length of tire is 110 inch(s)
(defaultMinimumMeasure Tire
    (MeasureFn 40 Gram))		 DimensioningAmenities.kif 908-908 The minimum expected value of tire is 40 gram(s)
(defaultMaximumMeasure Tire
    (MeasureFn 0.5 TonMass))		 DimensioningAmenities.kif 909-909 The maximum expected value of tire is 0.5 ton mass(s)

appearance as argument number 2
-------------------------


(subclass FourByFourTire Tire) Cars.kif 4540-4540 Four wheel drive tire is a subclass of tire
(termFormat EnglishLanguage Tire "tire") Cars.kif 4677-4677 Four wheel drive tire is a subclass of tire
(subclass ATVTire Tire) Cars.kif 4707-4707 Atv tire is a subclass of tire
(subclass MudTire Tire) Cars.kif 4884-4884 Mud tyre is a subclass of tire

antecedent
-------------------------


(=>
    (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
(=>
    (instance ?T Tire)
    (attribute ?T Pliable))		 Cars.kif 4690-4692 If X is an instance of tire, then pliable is an attribute of X
(=>
    (instance ?T Tire)
    (attribute ?T ConvexRoundShape))		 Cars.kif 4694-4696 If X is an instance of tire, then convex round shape is an attribute of X

consequent
-------------------------


(=>
    (instance ?TC TireChanger)
    (hasPurpose ?TC
        (exists (?P ?T ?R)
            (and
                (instance ?P Putting)
                (instance ?T Tire)
                (instance ?R WheelRim)
                (destination ?P ?R)
                (objectTransferred ?P ?T)
                (instrument ?P ?TC)))))		 Cars.kif 4767-4777 If X is an instance of tire changer, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of putting (3) Z is an instance of tire (4) W is an instance of rim (5) Y ends up at W (6) the object transferred in Y is Z (7) X is an instrument for Y
(=>
    (instance ?TC TireChanger)
    (hasPurpose ?TC
        (exists (?RE ?T ?R)
            (and
                (instance ?RE Removing)
                (instance ?T Tire)
                (instance ?R WheelRim)
                (origin ?RE ?R)
                (objectTransferred ?RE ?T)
                (instrument ?RE ?TC)))))		 Cars.kif 4779-4789 If X is an instance of tire changer, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of removing (3) Z is an instance of tire (4) W is an instance of rim (5) Y originates at W (6) the object transferred in Y is Z (7) X is an instrument for Y


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