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

KB Term:  Term intersection
English Word: 

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 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