| 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 11661-11663 | |
| (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 11658-11658 | |
| (subclass Driving Transportation) | Merge.kif 11659-11659 |
| appearance as argument number 2 |
|
|
| (subclass FlyingAircraft Driving) | Mid-level-ontology.kif 18055-18055 | |
| (termFormat ChineseLanguage Driving "驾驶") | chinese_format.kif 1131-1131 | |
| (termFormat EnglishLanguage Driving "driving") | english_format.kif 1479-1479 | |
| (termFormat FrenchLanguage Driving "conduire") | french_format.kif 809-809 | |
| (termFormat JapaneseLanguage Driving "運転") | japanese_format.kif 2493-2493 | |
| (termFormat PortugueseLanguage Driving "Dirigir") | portuguese_format.kif 761-761 | |
| (termFormat ro Driving "conducere") | relations-ro.kif 830-830 |
| antecedent |
|
|
| (=> (and (instance ?DRIVE Driving) (patient ?DRIVE ?VEHICLE) (instance ?VEHICLE RoadVehicle)) (exists (?TRANSPORT) (and (instance ?TRANSPORT TransportViaRoadVehicle) (subProcess ?TRANSPORT ?DRIVE)))) |
Mid-level-ontology.kif 23848-23856 | |
| (=> (and (instance ?DRIVING Driving) (subProcess ?TRANSPORT ?DRIVING) (instance ?TRANSPORT Transportation) (agent ?DRIVING ?DRIVER)) (transported ?TRANSPORT ?DRIVER)) |
Mid-level-ontology.kif 23858-23864 | |
| (=> (and (instance ?DRIVING Driving) (subProcess ?TRANSPORT ?DRIVING) (instance ?TRANSPORT Transportation) (destination ?DRIVING ?DEST)) (destination ?TRANSPORT ?DEST)) |
Mid-level-ontology.kif 23866-23872 | |
| (=> (and (instance ?DRIVING Driving) (subProcess ?TRANSPORT ?DRIVING) (instance ?TRANSPORT Transportation) (instance ?VEHICLE Vehicle) (patient ?DRIVING ?VEHICLE)) (conveyance ?TRANSPORT ?VEHICLE)) |
Mid-level-ontology.kif 23874-23881 | |
| (=> (and (instance ?TRANSPORT Transportation) (subProcess ?TRANSPORT ?DRIVE) (instance ?DRIVE Driving) (instrument ?TRANSPORT ?VEHICLE) (instance ?VEHICLE TransportationDevice)) (patient ?DRIVE ?VEHICLE)) |
Mid-level-ontology.kif 23839-23846 | |
| (=> (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 11665-11670 |
| 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 22631-22639 | |
| (=> (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 17100-17111 | |
| (=> (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 3389-3395 | |
| (=> (instance ?H Hijacking) (exists (?D) (and (subProcess ?D ?H) (instance ?D Driving)))) |
Mid-level-ontology.kif 22180-22185 | |
| (=> (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 4809-4819 | |
| (=> (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 4429-4440 | |
| (=> (instance ?TRANSPORT TransportViaRoadVehicle) (exists (?DRIVING) (and (instance ?DRIVING Driving) (subProcess ?TRANSPORT ?DRIVING)))) |
Mid-level-ontology.kif 23832-23837 |
|
|
|