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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - VehicleWheel
VehicleWheel

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 VehicleWheel est une sous-classe de Wheel

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


(instance ContinuousTrack VehicleWheel) Military.kif 179-179 ContinuousTrack est une instance de VehicleWheel
(termFormat ChineseLanguage VehicleWheel "车轮") domainEnglishFormat.kif 61400-61400 ContinuousTrack est une instance de VehicleWheel
(termFormat ChineseTraditionalLanguage VehicleWheel "車輪") domainEnglishFormat.kif 61399-61399 ContinuousTrack est une instance de VehicleWheel
(termFormat EnglishLanguage VehicleWheel "vehicle wheel") domainEnglishFormat.kif 61398-61398 ContinuousTrack est une instance de VehicleWheel

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