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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RoadVehicle

Sigma KEE - RoadVehicle
RoadVehicle(road vehicle)
Hum-Vee, Humvee, bus, heap, jalopy

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


(disjoint RoadVehicle RollingStock) Transportation.kif 2104-2104 Road vehicle is disjoint from rolling stock
(documentation RoadVehicle EnglishLanguage "The class of LandVehicles that are not RollingStock.") Mid-level-ontology.kif 3461-3462
(externalImage RoadVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 15/ Late_model_Ford_Model_T.jpg/ 180px-Late_model_Ford_Model_T.jpg") pictureList.kif 1240-1240
(subclass RoadVehicle LandVehicle) Mid-level-ontology.kif 3460-3460 Road vehicle is a subclass of land vehicle

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


(industryProductType MotorVehicleManufacturing RoadVehicle) Economy.kif 1829-1829 Road vehicle is an industry product type of motor vehicle manufacturing
(subclass EmergencyRoadVehicle RoadVehicle) Transportation.kif 1900-1900 Emergency road vehicle is a subclass of road vehicle
(subclass MilitaryTank RoadVehicle) Military.kif 146-146 Military tank is a subclass of road vehicle
(subclass MotorScooter RoadVehicle) Transportation.kif 1893-1893 Motor scooter is a subclass of road vehicle
(subclass SelfPoweredRoadVehicle RoadVehicle) Transportation.kif 1811-1811 Self powered road vehicle is a subclass of road vehicle
(subclass TractorTrailer RoadVehicle) Transportation.kif 1835-1835 Tractor trailer is a subclass of road vehicle
(subclass Trailer RoadVehicle) Transportation.kif 1828-1828 Trailer is a subclass of road vehicle
(termFormat ChineseLanguage RoadVehicle "公路车辆") domainEnglishFormat.kif 50181-50181
(termFormat ChineseTraditionalLanguage RoadVehicle "公路車輛") domainEnglishFormat.kif 50180-50180
(termFormat EnglishLanguage RoadVehicle "road vehicle") domainEnglishFormat.kif 50179-50179

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


(=>
    (and
        (instance ?DRIVE Driving)
        (patient ?DRIVE ?VEHICLE)
        (instance ?VEHICLE RoadVehicle))
    (exists (?TRANSPORT)
        (and
            (instance ?TRANSPORT TransportViaRoadVehicle)
            (subProcess ?TRANSPORT ?DRIVE))))
Mid-level-ontology.kif 22988-22996
(=>
    (and
        (instance ?L LeafSpring)
        (part ?L ?RV)
        (instance ?RV RoadVehicle))
    (modalAttribute
        (exists (?L2)
            (and
                (instance ?L2 LeafSpring)
                (part ?L2 ?RV)
                (not
                    (equal ?L ?L2))
                (meetsSpatially ?L ?L2))) Likely))
Cars.kif 902-915
(=>
    (and
        (instance ?TRANSPORT Transportation)
        (instrument ?TRANSPORT ?VEHICLE)
        (instance ?VEHICLE RoadVehicle))
    (instance ?TRANSPORT TransportViaRoadVehicle))
Mid-level-ontology.kif 22959-22964
(=>
    (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 3490-3499

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


(=>
    (and
        (instance ?L DriversLicense)
        (possesses ?A ?L))
    (confersNorm ?L
        (exists (?D ?V)
            (and
                (instance ?D Driving)
                (agent ?D ?A)
                (patient ?D ?V)
                (instance ?V RoadVehicle))) Permission))
Mid-level-ontology.kif 16301-16312
(=>
    (and
        (instance ?TRANSPORT TransportViaRoadVehicle)
        (conveyance ?TRANSPORT ?VEHICLE))
    (instance ?VEHICLE RoadVehicle))
Mid-level-ontology.kif 22966-22970
(=>
    (instance ?GARAGE Garage)
    (hasPurpose ?GARAGE
        (exists (?AUTO)
            (and
                (instance ?AUTO RoadVehicle)
                (contains ?GARAGE ?AUTO)))))
Mid-level-ontology.kif 14922-14928
(=>
    (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 4456-4466
(=>
    (instance ?W RearWindow)
    (exists (?A)
        (and
            (instance ?A RoadVehicle)
            (part ?W
                (BackFn ?A)))))
Mid-level-ontology.kif 14649-14654
(=>
    (instance ?W Windshield)
    (exists (?A)
        (and
            (instance ?A RoadVehicle)
            (part ?W
                (FrontFn ?A)))))
Mid-level-ontology.kif 3410-3415


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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