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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Driving
Driving(conduire)

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 11765-11767
(documentation Driving JapaneseLanguage "Vehicle の方向や速度の制御。 これには、船の航行、 車やトラックの運転、列車の運行などが含まれる。") japanese_format.kif 1836-1837
(externalImage Driving "http://upload.wikimedia.org/wikipedia/commons/3/ 32/ JapaneseDrivingSchool.jpg") pictureList.kif 5967-5967
(externalImage Driving "http://upload.wikimedia.org/wikipedia/commons/d/ d7/ Mercedes_AMG_CLS_55_-_Demonstration_of_drifting_1b.jpg") pictureList.kif 6401-6401
(subclass Driving Guiding) Merge.kif 11762-11762 Conduire est une sous-classe de guider
(subclass Driving Transportation) Merge.kif 11763-11763 Conduire est une sous-classe de transporter

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


(subclass FlyingAircraft Driving) Mid-level-ontology.kif 19348-19348 FlyingAircraft est une sous-classe de conduire
(termFormat ChineseLanguage Driving "驾驶") chinese_format.kif 1131-1131 FlyingAircraft est une sous-classe de conduire
(termFormat EnglishLanguage Driving "driving") english_format.kif 1479-1479 FlyingAircraft est une sous-classe de conduire
(termFormat FrenchLanguage Driving "conduire") french_format.kif 809-809 FlyingAircraft est une sous-classe de conduire
(termFormat JapaneseLanguage Driving "運転") japanese_format.kif 2493-2493 FlyingAircraft est une sous-classe de conduire
(termFormat PortugueseLanguage Driving "Dirigir") portuguese_format.kif 761-761 FlyingAircraft est une sous-classe de conduire
(termFormat ro Driving "conducere") relations-ro.kif 830-830 FlyingAircraft est une sous-classe de conduire

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


(=>
    (and
        (instance ?DRIVE Driving)
        (patient ?DRIVE ?VEHICLE)
        (instance ?VEHICLE RoadVehicle))
    (exists (?TRANSPORT)
        (and
            (instance ?TRANSPORT TransportViaRoadVehicle)
            (subProcess ?TRANSPORT ?DRIVE))))		 Mid-level-ontology.kif 25206-25214
(=>
    (and
        (instance ?DRIVING Driving)
        (subProcess ?TRANSPORT ?DRIVING)
        (instance ?TRANSPORT Transportation)
        (agent ?DRIVING ?DRIVER))
    (transported ?TRANSPORT ?DRIVER))		 Mid-level-ontology.kif 25216-25222
(=>
    (and
        (instance ?DRIVING Driving)
        (subProcess ?TRANSPORT ?DRIVING)
        (instance ?TRANSPORT Transportation)
        (destination ?DRIVING ?DEST))
    (destination ?TRANSPORT ?DEST))		 Mid-level-ontology.kif 25224-25230
(=>
    (and
        (instance ?DRIVING Driving)
        (subProcess ?TRANSPORT ?DRIVING)
        (instance ?TRANSPORT Transportation)
        (instance ?VEHICLE Vehicle)
        (patient ?DRIVING ?VEHICLE))
    (conveyance ?TRANSPORT ?VEHICLE))		 Mid-level-ontology.kif 25232-25239
(=>
    (and
        (instance ?TRANSPORT Transportation)
        (subProcess ?TRANSPORT ?DRIVE)
        (instance ?DRIVE Driving)
        (instrument ?TRANSPORT ?VEHICLE)
        (instance ?VEHICLE TransportationDevice))
    (patient ?DRIVE ?VEHICLE))		 Mid-level-ontology.kif 25197-25204
(=>
    (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 106-125
(=>
    (instance ?DRIVE Driving)
    (exists (?VEHICLE)
        (and
            (instance ?VEHICLE Vehicle)
            (patient ?DRIVE ?VEHICLE))))		 Merge.kif 11769-11774

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 23989-23997
(=>
    (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 18269-18280
(=>
    (attribute ?H Valet)
    (occupation ?H
        (OccupationFn Driving)))		 TransportDetail.kif 132-134
(=>
    (instance ?C VehicleController)
    (hasPurpose ?C
        (exists (?D)
            (and
                (instance ?D Driving)
                (instrument ?D ?C)))))		 Mid-level-ontology.kif 3839-3845
(=>
    (instance ?H Hijacking)
    (exists (?D)
        (and
            (subProcess ?D ?H)
            (instance ?D Driving))))		 Mid-level-ontology.kif 23540-23545
(=>
    (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 4810-4820
(=>
    (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 4430-4441
(=>
    (instance ?TRANSPORT TransportViaRoadVehicle)
    (exists (?DRIVING)
        (and
            (instance ?DRIVING Driving)
            (subProcess ?TRANSPORT ?DRIVING))))		 Mid-level-ontology.kif 25190-25195


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