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, 運転, 驾驶

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


(documentation Driving ChineseLanguage "这是控制一辆 Vehicle 的方向和/或速度的过程,这包括航船、 驾驶汽车或货车,和操作火车等等。") Merge.kif 11568-11569
(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 11565-11567
(externalImage Driving "http://upload.wikimedia.org/wikipedia/commons/3/ 32/ JapaneseDrivingSchool.jpg") pictureList.kif 5969-5969 "http://upload.wikimedia.org/wikipedia/commons/3/32/ JapaneseDrivingSchool.jpg" is a URL depicting driving
(externalImage Driving "http://upload.wikimedia.org/wikipedia/commons/d/ d7/ Mercedes_AMG_CLS_55_-_Demonstration_of_drifting_1b.jpg") pictureList.kif 6403-6403 "http://upload.wikimedia.org/wikipedia/commons/d/d7/ Mercedes_AMG_CLS_55_-_Demonstration_of_drifting_1b.jpg" is a URL depicting driving
(subclass Driving Guiding) Merge.kif 11563-11563 Driving is a subclass of guiding
(subclass Driving Transportation) Merge.kif 11564-11564 Driving is a subclass of transportation

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


(subclass FlyingAircraft Driving) Mid-level-ontology.kif 15388-15388 Flying is a subclass of driving
(termFormat ChineseLanguage Driving "驾驶") chinese_format.kif 1131-1131 "驾驶" is the printable form of driving in ChineseLanguage
(termFormat EnglishLanguage Driving "driving") english_format.kif 1470-1470 "driving" is the printable form of driving in english language
(termFormat JapaneseLanguage Driving "運転") english_format.kif 1471-1471 "運転" is the printable form of driving in japanese language

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


(=>
    (and
        (instance ?DRIVE Driving)
        (patient ?DRIVE ?VEHICLE)
        (instance ?VEHICLE RoadVehicle))
    (exists (?TRANSPORT)
        (and
            (instance ?TRANSPORT TransportViaRoadVehicle)
            (subProcess ?TRANSPORT ?DRIVE))))
Mid-level-ontology.kif 21478-21486
(=>
    (and
        (instance ?DRIVING Driving)
        (subProcess ?TRANSPORT ?DRIVING)
        (instance ?TRANSPORT Transportation)
        (agent ?DRIVING ?DRIVER))
    (transported ?TRANSPORT ?DRIVER))
Mid-level-ontology.kif 21488-21494
(=>
    (and
        (instance ?DRIVING Driving)
        (subProcess ?TRANSPORT ?DRIVING)
        (instance ?TRANSPORT Transportation)
        (destination ?DRIVING ?DEST))
    (destination ?TRANSPORT ?DEST))
Mid-level-ontology.kif 21496-21502
(=>
    (and
        (instance ?DRIVING Driving)
        (subProcess ?TRANSPORT ?DRIVING)
        (instance ?TRANSPORT Transportation)
        (instance ?VEHICLE Vehicle)
        (patient ?DRIVING ?VEHICLE))
    (conveyance ?TRANSPORT ?VEHICLE))
Mid-level-ontology.kif 21504-21511
(=>
    (and
        (instance ?TRANSPORT Transportation)
        (subProcess ?TRANSPORT ?DRIVE)
        (instance ?DRIVE Driving)
        (instrument ?TRANSPORT ?VEHICLE)
        (instance ?VEHICLE TransportationDevice))
    (patient ?DRIVE ?VEHICLE))
Mid-level-ontology.kif 21469-21476
(=>
    (and
        (possesses ?BUS ?PARK)
        (instance ?BUS CommercialAgent)
        (instance ?PARK ParkingLot)
        (instance ?BLDG Building)
        (located ?BUS ?BLDG)
        (customer ?BUS ?CUST)
        (instance ?DRIVE Driving)
        (patient ?DRIVE ?VEHICLE)
        (agent ?DRIVE ?CUST)
        (destination ?DRIVE ?BLDG))
    (holdsDuring
        (located ?CUST ?BLDG)
        (confersRight
            (and
                (instance ?PUT Keeping)
                (destination ?PUT ?PARK)
                (patient ?PUT ?VEHICLE)) ?BUS ?CUST)))
TransportDetail.kif 102-119
(=>
    (instance ?DRIVE Driving)
    (exists (?VEHICLE)
        (and
            (instance ?VEHICLE Vehicle)
            (patient ?DRIVE ?VEHICLE))))
Merge.kif 11571-11576

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 20191-20199
(=>
    (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
(=>
    (attribute ?H Valet)
    (occupation ?H
        (OccupationFn Driving)))
TransportDetail.kif 126-128
(=>
    (instance ?C VehicleController)
    (hasPurpose ?C
        (exists (?D)
            (and
                (instance ?D Driving)
                (instrument ?D ?C)))))
Mid-level-ontology.kif 3933-3939
(=>
    (instance ?H Hijacking)
    (exists (?D)
        (and
            (subProcess ?D ?H)
            (instance ?D Driving))))
Mid-level-ontology.kif 19682-19687
(=>
    (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 4720-4730
(=>
    (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 4333-4344
(=>
    (instance ?TRANSPORT TransportViaRoadVehicle)
    (exists (?DRIVING)
        (and
            (instance ?DRIVING Driving)
            (subProcess ?TRANSPORT ?DRIVING))))
Mid-level-ontology.kif 21462-21467


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