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


(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 4789-4792
(subclass Tire Device) Cars.kif 4788-4788 子類 Tire and Device

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


(subclass ATVTire Tire) Cars.kif 4823-4823 子類 ATVTire and Tire
(subclass FourByFourTire Tire) Cars.kif 4656-4656 子類 FourByFourTire and Tire
(subclass MudTire Tire) Cars.kif 5000-5000 子類 MudTire and Tire
(termFormat EnglishLanguage Tire "tire") Cars.kif 4793-4793

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


(=>
    (instance ?T Tire)
    (attribute ?T ConvexRoundShape))
Cars.kif 4810-4812
(=>
    (instance ?T Tire)
    (attribute ?T Pliable))
Cars.kif 4806-4808
(=>
    (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 4795-4804

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 4883-4893
(=>
    (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 4895-4905


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 is open source software produced by Articulate Software and its partners