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 4766-4769
(subclass Tire Device) Cars.kif 4765-4765 Tire ist eine teilkategorie von Device

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


(subclass ATVTire Tire) Cars.kif 4800-4800 ATVTire ist eine teilkategorie von Tire
(subclass FourByFourTire Tire) Cars.kif 4633-4633 FourByFourTire ist eine teilkategorie von Tire
(subclass MudTire Tire) Cars.kif 4977-4977 MudTire ist eine teilkategorie von Tire
(termFormat EnglishLanguage Tire "tire") Cars.kif 4770-4770

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


(=>
    (instance ?T Tire)
    (attribute ?T ConvexRoundShape))
Cars.kif 4787-4789
(=>
    (instance ?T Tire)
    (attribute ?T Pliable))
Cars.kif 4783-4785
(=>
    (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 4772-4781

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 4860-4870
(=>
    (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 4872-4882


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