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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Driving
Driving(driving)
channelise, channelize, coach, crab, cruise, direct, drive, drive_around, driving, guide, head, helm, maneuver, manoeuver, manoeuvre, motoring, mush, navigate, point, port, pull_over, steer, take, test_drive, three-point_turn

VerbNet: accompany-51.7|steer, accompany-51.7|steer, vehicle-51.4.1|coach, nonvehicle-51.4.2|cruise, accompany-51.7|steer, accompany-51.7|steer, accompany-51.7|steer, accompany-51.7|steer, accompany-51.7|steer, accompany-51.7|steer, nonvehicle-51.4.2|navigate, accompany-51.7|steer, accompany-51.7|steer, nonvehicle-51.4.2|drive,


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


(documentation Driving ChineseLanguage "这是控制一辆 Vehicle 的方向和/或速度的过程,这包括航船、 驾驶汽车或货车,和操作火车等等。") chinese_format.kif 3068-3069
(documentation Driving EnglishLanguage "Controlling the direction and/or speed of a Vehicle. This includes navigating a ship, driving a car or truck, operating a train, etc.") Merge.kif 10805-10807
(externalImage Driving "http://upload.wikimedia.org/wikipedia/commons/3/ 32/ JapaneseDrivingSchool.jpg") pictureList.kif 5969-5969
(externalImage Driving "http://upload.wikimedia.org/wikipedia/commons/d/ d7/ Mercedes_AMG_CLS_55_-_Demonstration_of_drifting_1b.jpg") pictureList.kif 6403-6403
(subclass Driving Guiding) Merge.kif 10802-10802 Driving is a subclass of guiding
(subclass Driving Transportation) Merge.kif 10803-10803 Driving is a subclass of transportation

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


(subclass FlyingAircraft Driving) Mid-level-ontology.kif 15389-15389 Flying is a subclass of driving
(termFormat ChineseLanguage Driving "驾驶") chinese_format.kif 1131-1131
(termFormat EnglishLanguage Driving "driving") english_format.kif 1484-1484

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


(=>
    (and
        (instance ?DRIVE Driving)
        (patient ?DRIVE ?VEHICLE)
        (instance ?VEHICLE RoadVehicle))
    (exists (?TRANSPORT)
        (and
            (instance ?TRANSPORT TransportViaRoadVehicle)
            (subProcess ?TRANSPORT ?DRIVE))))
Mid-level-ontology.kif 21491-21499
(=>
    (and
        (instance ?DRIVING Driving)
        (subProcess ?TRANSPORT ?DRIVING)
        (instance ?TRANSPORT Transportation)
        (agent ?DRIVING ?DRIVER))
    (transported ?TRANSPORT ?DRIVER))
Mid-level-ontology.kif 21501-21507
(=>
    (and
        (instance ?DRIVING Driving)
        (subProcess ?TRANSPORT ?DRIVING)
        (instance ?TRANSPORT Transportation)
        (destination ?DRIVING ?DEST))
    (destination ?TRANSPORT ?DEST))
Mid-level-ontology.kif 21509-21515
(=>
    (and
        (instance ?DRIVING Driving)
        (subProcess ?TRANSPORT ?DRIVING)
        (instance ?TRANSPORT Transportation)
        (instance ?VEHICLE Vehicle)
        (patient ?DRIVING ?VEHICLE))
    (conveyance ?TRANSPORT ?VEHICLE))
Mid-level-ontology.kif 21517-21524
(=>
    (and
        (instance ?TRANSPORT Transportation)
        (subProcess ?TRANSPORT ?DRIVE)
        (instance ?DRIVE Driving)
        (instrument ?TRANSPORT ?VEHICLE)
        (instance ?VEHICLE TransportationDevice))
    (patient ?DRIVE ?VEHICLE))
Mid-level-ontology.kif 21482-21489
(=>
    (and
        (possesses ?BUS ?PARK)
        (instance ?BUS CommercialAgent)
        (instance ?PARK ParkingLot)
        (instance ?BLDG Building)
        (located ?BUS ?BLDG)
        (customer ?BUS ?CUST)
        (holdsDuring ?T
            (located ?CUST ?BLDG))
        (instance ?DRIVE Driving)
        (patient ?DRIVE ?VEHICLE)
        (agent ?DRIVE ?CUST)
        (destination ?DRIVE ?BLDG))
    (holdsDuring ?T
        (confersRight
            (and
                (instance ?PUT Keeping)
                (destination ?PUT ?PARK)
                (patient ?PUT ?VEHICLE)) ?BUS ?CUST)))
TransportDetail.kif 102-121
(=>
    (instance ?DRIVE Driving)
    (exists (?VEHICLE)
        (and
            (instance ?VEHICLE Vehicle)
            (patient ?DRIVE ?VEHICLE))))
Merge.kif 10809-10814

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


(=>
    (and
        (instance ?C Convoy)
        (member ?VEH ?C))
    (exists (?DRIVE)
        (and
            (instance ?DRIVE Driving)
            (overlapsTemporally
                (WhenFn ?DRIVE)
                (WhenFn ?C))
            (patient ?DRIVE ?VEH))))
Mid-level-ontology.kif 20204-20212
(=>
    (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 14438-14449
(=>
    (attribute ?H Valet)
    (occupation ?H
        (OccupationFn Driving)))
TransportDetail.kif 128-130
(=>
    (instance ?C VehicleController)
    (hasPurpose ?C
        (exists (?D)
            (and
                (instance ?D Driving)
                (instrument ?D ?C)))))
Mid-level-ontology.kif 3929-3935
(=>
    (instance ?H Hijacking)
    (exists (?D)
        (and
            (subProcess ?D ?H)
            (instance ?D Driving))))
Mid-level-ontology.kif 19695-19700
(=>
    (instance ?MG MotorcycleGlove)
    (hasPurpose ?MG
        (exists (?M ?D ?T)
            (and
                (instance ?T Driving)
                (agent ?T ?D)
                (instrument ?T ?M)
                (instance ?M Motorcycle)
                (holdsDuring
                    (WhenFn ?T)
                    (wears ?D ?MG))))))
Cars.kif 4729-4739
(=>
    (instance ?MH MotorcycleHelmet)
    (hasPurpose ?MH
        (exists (?P ?D ?M)
            (and
                (instance ?D Driving)
                (agent ?D ?P)
                (instance ?M Motorcycle)
                (patient ?D ?M)
                (instance ?P Human)
                (holdsDuring
                    (WhenFn ?D)
                    (wears ?P ?MH))))))
Cars.kif 4342-4353
(=>
    (instance ?TRANSPORT TransportViaRoadVehicle)
    (exists (?DRIVING)
        (and
            (instance ?DRIVING Driving)
            (subProcess ?TRANSPORT ?DRIVING))))
Mid-level-ontology.kif 21475-21480


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