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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RoadVehicle

Sigma KEE - RoadVehicle
RoadVehicle

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


(disjoint RoadVehicle RollingStock) Transportation.kif 2104-2104
(documentation RoadVehicle EnglishLanguage "The class of LandVehicles that are not RollingStock.") Mid-level-ontology.kif 3444-3445
(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 3443-3443

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


(industryProductType MotorVehicleManufacturing RoadVehicle) Economy.kif 1822-1822
(subclass EmergencyRoadVehicle RoadVehicle) Transportation.kif 1900-1900
(subclass MilitaryTank RoadVehicle) Military.kif 146-146
(subclass MotorScooter RoadVehicle) Transportation.kif 1893-1893
(subclass SelfPoweredRoadVehicle RoadVehicle) Transportation.kif 1811-1811
(subclass TractorTrailer RoadVehicle) Transportation.kif 1835-1835
(subclass Trailer RoadVehicle) Transportation.kif 1828-1828
(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 22655-22663
(=>
    (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 22626-22631
(=>
    (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 3473-3482

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 15982-15993
(=>
    (and
        (instance ?TRANSPORT TransportViaRoadVehicle)
        (conveyance ?TRANSPORT ?VEHICLE))
    (instance ?VEHICLE RoadVehicle))
Mid-level-ontology.kif 22633-22637
(=>
    (instance ?GARAGE Garage)
    (hasPurpose ?GARAGE
        (exists (?AUTO)
            (and
                (instance ?AUTO RoadVehicle)
                (contains ?GARAGE ?AUTO)))))
Mid-level-ontology.kif 14642-14648
(=>
    (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 14369-14374
(=>
    (instance ?W Windshield)
    (exists (?A)
        (and
            (instance ?A RoadVehicle)
            (part ?W
                (FrontFn ?A)))))
Mid-level-ontology.kif 3393-3398


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