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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Wheel
Wheel(wheel)
car_wheel, fifth_wheel, spare, wheel

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


(documentation Wheel EnglishLanguage "A circular Artifact which is a component of LandVehicles and of some Devices.") Mid-level-ontology.kif 3907-3908
(externalImage Wheel "http://upload.wikimedia.org/wikipedia/commons/e/e6/ Wheel_Iran.jpg") pictureList.kif 200-200
(externalImage Wheel "http://www.adampease.org/Articulate/SUMOpictures/pictures/ transportation/ autos/ Black_n_White/ WHEEL.png") pictureList.kif 838-838
(subclass Wheel Artifact) Mid-level-ontology.kif 3906-3906 Wheel is a subclass of artifact

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


(subclass CommodoreWheel Wheel) Cars.kif 4490-4490 Commodore wheel is a subclass of wheel
(subclass VehicleWheel Wheel) Mid-level-ontology.kif 3901-3901 Vehicle wheel is a subclass of wheel
(termFormat ChineseLanguage Wheel "轮") domainEnglishFormat.kif 62866-62866
(termFormat ChineseTraditionalLanguage Wheel "輪") domainEnglishFormat.kif 62865-62865
(termFormat EnglishLanguage Wheel "wheel") domainEnglishFormat.kif 62864-62864

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


(=>
    (and
        (instance ?T Transportation)
        (instance ?W Wheel)
        (instance ?A Automobile)
        (part ?W ?A)
        (instrument ?T ?A)
        (instance ?AB AntilockBrake)
        (instance ?D Decelerating)
        (instrument ?D ?AB)
        (part ?AB ?W))
    (hasPurpose ?AB
        (exists (?R)
            (and
                (instance ?R Rotating)
                (during ?R ?D)))))
Cars.kif 1293-1308

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


(=>
    (instance ?D Driveshaft)
    (hasPurpose ?D
        (exists (?R1 ?R2 ?W ?A)
            (and
                (instance ?A Automobile)
                (instance ?W Wheel)
                (part ?D ?A)
                (part ?W ?A)
                (instance ?R1 Rotating)
                (patient ?R1 ?D)
                (patient ?R2 ?W)
                (causes ?R1 ?R2)))))
Cars.kif 2312-2324
(=>
    (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 4767-4776
(=>
    (instance ?TC TireChain)
    (hasPurpose ?TC
        (exists (?V ?W ?F)
            (and
                (instance ?V RoadVehicle)
                (instance ?W Wheel)
                (part ?W ?V)
                (instance ?F Friction)
                (covers ?TC ?W)
                (instrument ?F ?TC)))))
Cars.kif 4426-4436
(=>
    (instance ?VEHICLE LandVehicle)
    (exists (?WHEEL)
        (and
            (instance ?WHEEL Wheel)
            (part ?WHEEL ?VEHICLE))))
Mid-level-ontology.kif 3910-3915
(=>
    (instance ?WC WheelChock)
    (hasPurpose ?WC
        (exists (?W ?T)
            (and
                (instance ?W Wheel)
                (holdsDuring ?T
                    (and
                        (meetsSpatially ?WC ?W)
                        (not
                            (exists (?R)
                                (and
                                    (instance ?R Rotating)
                                    (patient ?R ?W))))))))))
Cars.kif 4294-4307
(=>
    (instance ?X RollawayBed)
    (exists (?WHEEL)
        (and
            (instance ?WHEEL Wheel)
            (part ?WHEEL ?X))))
Mid-level-ontology.kif 4440-4445
(=>
    (instance ?X Wheelchair)
    (exists (?WHEEL ?SEAT)
        (and
            (instance ?SEAT Seat)
            (instance ?WHEEL Wheel)
            (part ?SEAT ?X)
            (part ?WHEEL ?X))))
Mid-level-ontology.kif 24130-24137


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