Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
-------------------------


(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 4804-4807
(subclass Tire Device) Cars.kif 4803-4803 Tire is a subclass of device

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


(subclass ATVTire Tire) Cars.kif 4838-4838 Atv tire is a subclass of tire
(subclass FourByFourTire Tire) Cars.kif 4671-4671 Four wheel drive tire is a subclass of tire
(subclass MudTire Tire) Cars.kif 5015-5015 Mud tyre is a subclass of tire
(termFormat EnglishLanguage Tire "tire") Cars.kif 4808-4808

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


(=>
    (instance ?T Tire)
    (attribute ?T Pliable))
Cars.kif 4821-4823
(=>
    (instance ?T Tire)
    (attribute ?T RoundShape))
Cars.kif 4825-4827
(=>
    (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 4810-4819

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 4898-4908
(=>
    (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 4910-4920


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