Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Tire

Sigma KEE - Tire
Tire

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


(defaultMaximumHeight Tire
    (MeasureFn 45 Inch))
DimensioningAmenities.kif 1148-1148
(defaultMaximumLength Tire
    (MeasureFn 110 Inch))
DimensioningAmenities.kif 1152-1152
(defaultMaximumMeasure Tire
    (MeasureFn 0.5 TonMass))
DimensioningAmenities.kif 1154-1154
(defaultMaximumWidth Tire
    (MeasureFn 110 Inch))
DimensioningAmenities.kif 1150-1150
(defaultMinimumHeight Tire
    (MeasureFn 0.1 Inch))
DimensioningAmenities.kif 1147-1147
(defaultMinimumLength Tire
    (MeasureFn 1 Inch))
DimensioningAmenities.kif 1151-1151
(defaultMinimumMeasure Tire
    (MeasureFn 40 Gram))
DimensioningAmenities.kif 1153-1153
(defaultMinimumWidth Tire
    (MeasureFn 1 Inch))
DimensioningAmenities.kif 1149-1149
(documentation Tire EnglishLanguage "Any Pliable object with a RoundShape 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 4793-4796
(subclass Tire Device) Cars.kif 4792-4792

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


(subclass ATVTire Tire) Cars.kif 4827-4827
(subclass FourByFourTire Tire) Cars.kif 4660-4660
(subclass MudTire Tire) Cars.kif 5004-5004
(termFormat EnglishLanguage Tire "tire") Cars.kif 4797-4797

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


(=>
    (instance ?T Tire)
    (attribute ?T Pliable))
Cars.kif 4810-4812
(=>
    (instance ?T Tire)
    (attribute ?T RoundShape))
Cars.kif 4814-4816
(=>
    (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 4799-4808

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 4887-4897
(=>
    (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 4899-4909


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners