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 4786-4787
(subclass WheelRim Device) Cars.kif 4785-4785

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


(subclass FordWheelRim WheelRim) Cars.kif 4882-4882
(subclass SimmonsWheelRim WheelRim) Cars.kif 4818-4818
(termFormat EnglishLanguage WheelRim "rim") Cars.kif 4788-4788

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


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

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 4766-4775
(=>
    (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 4854-4864
(=>
    (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 4866-4876


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