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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - VehicleWheel
VehicleWheel(vehicle wheel)
bicycle_wheel, ratchet_wheel, roller, wheel

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


(documentation VehicleWheel EnglishLanguage "VehicleWheel is a class of cylindrical Devices used to move a RoadVehicle along a road, running either directly on the wheel rims or on tires attached to the wheel rims.") Mid-level-ontology.kif 3812-3814
(externalImage VehicleWheel "http://upload.wikimedia.org/wikipedia/commons/ thumb/ a/ ab/ Aprilia_disc_brake.jpg/ 200px_Aprilia_disc_brake.jpg") pictureList.kif 1285-1285
(subclass VehicleWheel Wheel) Mid-level-ontology.kif 3811-3811 Vehicle wheel is a subclass of wheel

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


(instance ContinuousTrack VehicleWheel) Military.kif 179-179 Continuous track is an instance of vehicle wheel
(termFormat ChineseLanguage VehicleWheel "车轮") domainEnglishFormat.kif 61400-61400 Continuous track is an instance of vehicle wheel
(termFormat ChineseTraditionalLanguage VehicleWheel "車輪") domainEnglishFormat.kif 61399-61399 Continuous track is an instance of vehicle wheel
(termFormat EnglishLanguage VehicleWheel "vehicle wheel") domainEnglishFormat.kif 61398-61398 Continuous track is an instance of vehicle wheel

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


(=>
    (and
        (instance ?W VehicleWheel)
        (instance ?V RoadVehicle)
        (part ?W ?V))
    (exists (?A)
        (and
            (instance ?A Axle)
            (component ?A ?V)
            (connected ?W ?A))))
Mid-level-ontology.kif 3981-3990

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


(=>
    (instance ?A Automobile)
    (equipmentCount ?A VehicleWheel 4))
Transportation.kif 2094-2096
(=>
    (instance ?M Motorcycle)
    (equipmentCount ?M VehicleWheel 2))
Transportation.kif 2021-2023
(=>
    (instance ?T VehicleTire)
    (exists (?W)
        (and
            (instance ?W VehicleWheel)
            (part ?T ?W))))
Mid-level-ontology.kif 3878-3883


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