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 4048-4049
(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 4047-4047 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 50117-50117
(termFormat ChineseTraditionalLanguage RoadVehicle "公路車輛") domainEnglishFormat.kif 50116-50116
(termFormat EnglishLanguage RoadVehicle "road vehicle") domainEnglishFormat.kif 50115-50115

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


(=>
    (and
        (instance ?DRIVE Driving)
        (patient ?DRIVE ?VEHICLE)
        (instance ?VEHICLE RoadVehicle))
    (exists (?TRANSPORT)
        (and
            (instance ?TRANSPORT TransportViaRoadVehicle)
            (subProcess ?TRANSPORT ?DRIVE))))		 Mid-level-ontology.kif 21516-21524
(=>
    (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 893-906
(=>
    (and
        (instance ?TRANSPORT Transportation)
        (instrument ?TRANSPORT ?VEHICLE)
        (instance ?VEHICLE RoadVehicle))
    (instance ?TRANSPORT TransportViaRoadVehicle))		 Mid-level-ontology.kif 21487-21492
(=>
    (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 4078-4087

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 14463-14474
(=>
    (and
        (instance ?TRANSPORT TransportViaRoadVehicle)
        (conveyance ?TRANSPORT ?VEHICLE))
    (instance ?VEHICLE RoadVehicle))		 Mid-level-ontology.kif 21494-21498
(=>
    (instance ?GARAGE Garage)
    (hasPurpose ?GARAGE
        (exists (?AUTO)
            (and
                (instance ?AUTO RoadVehicle)
                (contains ?GARAGE ?AUTO)))))		 Mid-level-ontology.kif 13187-13193
(=>
    (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 4427-4437
(=>
    (instance ?W RearWindow)
    (exists (?A)
        (and
            (instance ?A RoadVehicle)
            (part ?W
                (BackFn ?A)))))		 Mid-level-ontology.kif 12919-12924
(=>
    (instance ?W Windshield)
    (exists (?A)
        (and
            (instance ?A RoadVehicle)
            (part ?W
                (FrontFn ?A)))))		 Mid-level-ontology.kif 3997-4002


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