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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WheelRim
WheelRim(rim)felloe, felly, rim

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 4788-4789
(subclass WheelRim Device) Cars.kif 4787-4787 Rim is a subclass of device

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


(subclass FordWheelRim WheelRim) Cars.kif 4884-4884 Ford wheel is a subclass of rim
(subclass SimmonsWheelRim WheelRim) Cars.kif 4820-4820 Simmons wheel is a subclass of rim
(termFormat EnglishLanguage WheelRim "rim") Cars.kif 4790-4790

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


(=>
    (instance ?WR WheelRim)
    (attribute ?WR Rigid))
Cars.kif 4792-4794

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 4768-4777
(=>
    (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 4856-4866
(=>
    (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 4868-4878


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