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


(defaultMaximumHeight Tire
    (MeasureFn 45 Inch))
DimensioningAmenities.kif 901-901
(defaultMaximumLength Tire
    (MeasureFn 110 Inch))
DimensioningAmenities.kif 905-905
(defaultMaximumMeasure Tire
    (MeasureFn 0.5 TonMass))
DimensioningAmenities.kif 907-907
(defaultMaximumWidth Tire
    (MeasureFn 110 Inch))
DimensioningAmenities.kif 903-903
(defaultMinimumHeight Tire
    (MeasureFn 0.1 Inch))
DimensioningAmenities.kif 900-900
(defaultMinimumLength Tire
    (MeasureFn 1 Inch))
DimensioningAmenities.kif 904-904
(defaultMinimumMeasure Tire
    (MeasureFn 40 Gram))
DimensioningAmenities.kif 906-906
(defaultMinimumWidth Tire
    (MeasureFn 1 Inch))
DimensioningAmenities.kif 902-902
(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