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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RoadVehicle
RoadVehicle

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


(disjoint RoadVehicle RollingStock) Transportation.kif 2086-2086 disjoint RoadVehicle and RollingStock
(documentation RoadVehicle EnglishLanguage "The class of LandVehicles that are not RollingStock.") Mid-level-ontology.kif 4042-4043
(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 externalImage RoadVehicle and "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 15/ Late_model_Ford_Model_T.jpg/ 180px-Late_model_Ford_Model_T.jpg"
(subclass RoadVehicle LandVehicle) Mid-level-ontology.kif 4041-4041 subclass RoadVehicle and LandVehicle

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


(industryProductType MotorVehicleManufacturing RoadVehicle) Economy.kif 1822-1822 industryProductType MotorVehicleManufacturing and RoadVehicle
(subclass EmergencyRoadVehicle RoadVehicle) Transportation.kif 1882-1882 subclass EmergencyRoadVehicle and RoadVehicle
(subclass MilitaryTank RoadVehicle) Military.kif 146-146 subclass MilitaryTank and RoadVehicle
(subclass MotorScooter RoadVehicle) Transportation.kif 1875-1875 subclass MotorScooter and RoadVehicle
(subclass SelfPoweredRoadVehicle RoadVehicle) Transportation.kif 1793-1793 subclass SelfPoweredRoadVehicle and RoadVehicle
(subclass TractorTrailer RoadVehicle) Transportation.kif 1817-1817 subclass TractorTrailer and RoadVehicle
(subclass Trailer RoadVehicle) Transportation.kif 1810-1810 subclass Trailer and RoadVehicle
(termFormat ChineseLanguage RoadVehicle "公路车辆") domainEnglishFormat.kif 50137-50137 termFormat ChineseLanguage, RoadVehicle and "公路车辆"
(termFormat ChineseTraditionalLanguage RoadVehicle "公路車輛") domainEnglishFormat.kif 50136-50136 termFormat ChineseTraditionalLanguage, RoadVehicle and "公路車輛"
(termFormat EnglishLanguage RoadVehicle "road vehicle") domainEnglishFormat.kif 50135-50135 termFormat EnglishLanguage, RoadVehicle and "road vehicle"

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


(=>
    (and
        (instance ?DRIVE Driving)
        (patient ?DRIVE ?VEHICLE)
        (instance ?VEHICLE RoadVehicle))
    (exists (?TRANSPORT)
        (and
            (instance ?TRANSPORT TransportViaRoadVehicle)
            (subProcess ?TRANSPORT ?DRIVE))))		 Mid-level-ontology.kif 21479-21487
(=>
    (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 892-905
(=>
    (and
        (instance ?TRANSPORT Transportation)
        (instrument ?TRANSPORT ?VEHICLE)
        (instance ?VEHICLE RoadVehicle))
    (instance ?TRANSPORT TransportViaRoadVehicle))		 Mid-level-ontology.kif 21450-21455
(=>
    (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 4072-4081

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 14437-14448
(=>
    (and
        (instance ?TRANSPORT TransportViaRoadVehicle)
        (conveyance ?TRANSPORT ?VEHICLE))
    (instance ?VEHICLE RoadVehicle))		 Mid-level-ontology.kif 21457-21461
(=>
    (instance ?GARAGE Garage)
    (hasPurpose ?GARAGE
        (exists (?AUTO)
            (and
                (instance ?AUTO RoadVehicle)
                (contains ?GARAGE ?AUTO)))))		 Mid-level-ontology.kif 13161-13167
(=>
    (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 4425-4435
(=>
    (instance ?W RearWindow)
    (exists (?A)
        (and
            (instance ?A RoadVehicle)
            (part ?W
                (BackFn ?A)))))		 Mid-level-ontology.kif 12893-12898
(=>
    (instance ?W Windshield)
    (exists (?A)
        (and
            (instance ?A RoadVehicle)
            (part ?W
                (FrontFn ?A)))))		 Mid-level-ontology.kif 3991-3996


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