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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 4781-4784
(subclass Tire Device) Cars.kif 4780-4780 Tire est une sous-classe de appareil

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


(subclass ATVTire Tire) Cars.kif 4815-4815 ATVTire est une sous-classe de Tire
(subclass FourByFourTire Tire) Cars.kif 4648-4648 FourByFourTire est une sous-classe de Tire
(subclass MudTire Tire) Cars.kif 4992-4992 MudTire est une sous-classe de Tire
(termFormat EnglishLanguage Tire "tire") Cars.kif 4785-4785

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


(=>
    (instance ?T Tire)
    (attribute ?T ConvexRoundShape))
Cars.kif 4802-4804
(=>
    (instance ?T Tire)
    (attribute ?T Pliable))
Cars.kif 4798-4800
(=>
    (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 4787-4796

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 4875-4885
(=>
    (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 4887-4897


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