| Driving
| |
| 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 10870-10872 | |
| (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 10867-10867 | |
| (subclass Driving Transportation) | Merge.kif 10868-10868 |
| appearance as argument number 2 |
|
|
| (subclass FlyingAircraft Driving) | Mid-level-ontology.kif 15416-15416 | |
| (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 21522-21530 | |
| (=> (and (instance ?DRIVING Driving) (subProcess ?TRANSPORT ?DRIVING) (instance ?TRANSPORT Transportation) (agent ?DRIVING ?DRIVER)) (transported ?TRANSPORT ?DRIVER)) |
Mid-level-ontology.kif 21532-21538 | |
| (=> (and (instance ?DRIVING Driving) (subProcess ?TRANSPORT ?DRIVING) (instance ?TRANSPORT Transportation) (destination ?DRIVING ?DEST)) (destination ?TRANSPORT ?DEST)) |
Mid-level-ontology.kif 21540-21546 | |
| (=> (and (instance ?DRIVING Driving) (subProcess ?TRANSPORT ?DRIVING) (instance ?TRANSPORT Transportation) (instance ?VEHICLE Vehicle) (patient ?DRIVING ?VEHICLE)) (conveyance ?TRANSPORT ?VEHICLE)) |
Mid-level-ontology.kif 21548-21555 | |
| (=> (and (instance ?TRANSPORT Transportation) (subProcess ?TRANSPORT ?DRIVE) (instance ?DRIVE Driving) (instrument ?TRANSPORT ?VEHICLE) (instance ?VEHICLE TransportationDevice)) (patient ?DRIVE ?VEHICLE)) |
Mid-level-ontology.kif 21513-21520 | |
| (=> (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 10874-10879 |
| 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 20235-20243 | |
| (=> (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 14465-14476 | |
| (=> (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 3935-3941 | |
| (=> (instance ?H Hijacking) (exists (?D) (and (subProcess ?D ?H) (instance ?D Driving)))) |
Mid-level-ontology.kif 19726-19731 | |
| (=> (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 4772-4782 | |
| (=> (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 4385-4396 | |
| (=> (instance ?TRANSPORT TransportViaRoadVehicle) (exists (?DRIVING) (and (instance ?DRIVING Driving) (subProcess ?TRANSPORT ?DRIVING)))) |
Mid-level-ontology.kif 21506-21511 |
|
|
|