Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  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 4858-4858 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 4859-4862 Tire is a subclass of device
(defaultMinimumHeight Tire
    (MeasureFn 0.1 Inch))		 DimensioningAmenities.kif 900-900 The minimum expected height of tire is 0.1 inch(s)
(defaultMaximumHeight Tire
    (MeasureFn 45 Inch))		 DimensioningAmenities.kif 901-901 The maximum expected height of tire is 45 inch(s)
(defaultMinimumWidth Tire
    (MeasureFn 1 Inch))		 DimensioningAmenities.kif 902-902 The minimum expected width of tire is 1 inch(s)
(defaultMaximumWidth Tire
    (MeasureFn 110 Inch))		 DimensioningAmenities.kif 903-903 The maximum expected width of tire is 110 inch(s)
(defaultMinimumLength Tire
    (MeasureFn 1 Inch))		 DimensioningAmenities.kif 904-904 The minimum expected length of tire is 1 inch(s)
(defaultMaximumLength Tire
    (MeasureFn 110 Inch))		 DimensioningAmenities.kif 905-905 The maximum expected length of tire is 110 inch(s)
(defaultMinimumMeasure Tire
    (MeasureFn 40 Gram))		 DimensioningAmenities.kif 906-906 The minimum expected value of tire is 40 gram(s)
(defaultMaximumMeasure Tire
    (MeasureFn 0.5 TonMass))		 DimensioningAmenities.kif 907-907 The maximum expected value of tire is 0.5 ton mass(s)

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


(subclass FourByFourTire Tire) Cars.kif 4726-4726 Four wheel drive tire is a subclass of tire
(termFormat EnglishLanguage Tire "tire") Cars.kif 4863-4863 Four wheel drive tire is a subclass of tire
(subclass ATVTire Tire) Cars.kif 4893-4893 Atv tire is a subclass of tire
(subclass MudTire Tire) Cars.kif 5070-5070 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 4865-4874 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 4876-4878 If X is an instance of tire, then pliable is an attribute of X
(=>
    (instance ?T Tire)
    (attribute ?T ConvexRoundShape))		 Cars.kif 4880-4882 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 4953-4963 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 4965-4975 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 is open source software produced by Articulate Software and its partners