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


KB Term:  Term intersection
English Word: 

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

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


(subclass RoadVehicle LandVehicle) Mid-level-ontology.kif 4107-4107 Road vehicle is a subclass of land vehicle
(documentation RoadVehicle EnglishLanguage "The class of LandVehicles that are not RollingStock.") Mid-level-ontology.kif 4108-4109 Road vehicle is a subclass of land vehicle

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


(industryProductType MotorVehicleManufacturing RoadVehicle) Economy.kif 1938-1938 Road vehicle is an industry product type of motor vehicle manufacturing
(termFormat EnglishLanguage RoadVehicle "road vehicle") domainEnglishFormat.kif 50193-50193 Road vehicle is an industry product type of motor vehicle manufacturing
(termFormat ChineseTraditionalLanguage RoadVehicle "公路車輛") domainEnglishFormat.kif 50194-50194 Road vehicle is an industry product type of motor vehicle manufacturing
(termFormat ChineseLanguage RoadVehicle "公路车辆") domainEnglishFormat.kif 50195-50195 Road vehicle is an industry product type of motor vehicle manufacturing

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 4137-4146 If X is an instance of vehicle wheel, Y is an instance of road vehicle, and X is a part of Y, then there exists Z such that Z is an instance of axle, Z is a component of Y, and X is connected to Z
(=>
    (and
        (instance ?TRANSPORT Transportation)
        (instrument ?TRANSPORT ?VEHICLE)
        (instance ?VEHICLE RoadVehicle))
    (instance ?TRANSPORT TransportViaRoadVehicle))		 Mid-level-ontology.kif 25808-25813 If X is an instance of transportation, Y is an instrument for X, and Y is an instance of road vehicle, then X is an instance of transport via a road vehicle
(=>
    (and
        (instance ?DRIVE Driving)
        (patient ?DRIVE ?VEHICLE)
        (instance ?VEHICLE RoadVehicle))
    (exists (?TRANSPORT)
        (and
            (instance ?TRANSPORT TransportViaRoadVehicle)
            (subProcess ?TRANSPORT ?DRIVE))))		 Mid-level-ontology.kif 25837-25845 If X is an instance of driving, Y is a patient of X, and Y is an instance of road vehicle, then there exists Z such that Z is an instance of transport via a road vehicle and Z is a subprocess of X
(=>
    (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 839-852 If X is an instance of leaf spring, X is a part of Y, and Y is an instance of road vehicle, then the statement there exists Z such that Z is an instance of leaf spring, Z is a part of Y, equal X, Z, and X meets Z has the modal force of likely

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


(=>
    (instance ?W Windshield)
    (exists (?A)
        (and
            (instance ?A RoadVehicle)
            (part ?W
                (FrontFn ?A)))))		 Mid-level-ontology.kif 4057-4062 If X is an instance of windshield, then there exists Y such that Y is an instance of road vehicle and X is a part of the front of Y
(=>
    (instance ?W RearWindow)
    (exists (?A)
        (and
            (instance ?A RoadVehicle)
            (part ?W
                (BackFn ?A)))))		 Mid-level-ontology.kif 16734-16739 If X is an instance of rear window, then there exists Y such that Y is an instance of road vehicle and X is a part of the back of Y
(=>
    (instance ?GARAGE Garage)
    (hasPurpose ?GARAGE
        (exists (?AUTO)
            (and
                (instance ?AUTO RoadVehicle)
                (contains ?GARAGE ?AUTO)))))		 Mid-level-ontology.kif 17031-17037 If X is an instance of garage, then X has the purpose there exists Y such that Y is an instance of road vehicle and X contains Y
(=>
    (and
        (instance ?L DriversLicense)
        (possesses ?A ?L))
    (confersNorm ?L Permission
        (exists (?D ?V)
            (and
                (instance ?D Driving)
                (agent ?D ?A)
                (patient ?D ?V)
                (instance ?V RoadVehicle)))))		 Mid-level-ontology.kif 18454-18465 If X is an instance of drivers license and Y possesses X, then X confers norm permission for there exist Z, W such that Z is an instance of driving, Y is an agent of Z, W is a patient of Z, and W is an instance of road vehicle
(=>
    (and
        (instance ?TRANSPORT TransportViaRoadVehicle)
        (conveyance ?TRANSPORT ?VEHICLE))
    (instance ?VEHICLE RoadVehicle))		 Mid-level-ontology.kif 25815-25819 If X is an instance of transport via a road vehicle and Y is a conveyance during X, then Y is an instance of road vehicle
(=>
    (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 4345-4355 If X is an instance of snow chain, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of road vehicle (3) Z is an instance of wheel (4) Z is a part of Y (5) W is an instance of friction (6) X covers Z (7) X is an instrument for W


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.0-18d41916 (2026-05-02) is open source software produced by Articulate Software and its partners