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 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 4752-4755
(subclass Tire Device) Cars.kif 4751-4751

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


(subclass ATVTire Tire) Cars.kif 4786-4786
(subclass FourByFourTire Tire) Cars.kif 4619-4619
(subclass MudTire Tire) Cars.kif 4963-4963
(termFormat EnglishLanguage Tire "tire") Cars.kif 4756-4756

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


(=>
    (instance ?T Tire)
    (attribute ?T Pliable))
Cars.kif 4769-4771
(=>
    (instance ?T Tire)
    (attribute ?T RoundShape))
Cars.kif 4773-4775
(=>
    (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 4758-4767

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 4846-4856
(=>
    (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 4858-4868


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