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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WheelRim
WheelRimขอบล้อ,

appearance as argument number 1
-------------------------


(documentation WheelRim EnglishLanguage "The rigid portion of a Wheel on a RoadVehicle that is designed to have a Tire that covers it.") Cars.kif 4778-4779
(subclass WheelRim Device) Cars.kif 4777-4777

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


(subclass FordWheelRim WheelRim) Cars.kif 4874-4874
(subclass SimmonsWheelRim WheelRim) Cars.kif 4810-4810
(termFormat EnglishLanguage WheelRim "rim") Cars.kif 4780-4780

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


(=>
    (instance ?WR WheelRim)
    (attribute ?WR Rigid))
Cars.kif 4782-4784

consequent
-------------------------


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