Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
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 |
|
|
| (subclass Driving Guiding) | Merge.kif 11888-11888 | Driving is a subclass of guiding |
| (subclass Driving Transportation) | Merge.kif 11889-11889 | Driving is a subclass of transportation |
| (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 11891-11893 | Driving is a subclass of transportation |
| (externalImage Driving "http://upload.wikimedia.org/wikipedia/commons/3/ 32/ JapaneseDrivingSchool.jpg") | pictureList.kif 5967-5967 | Driving is a subclass of transportation |
| (externalImage Driving "http://upload.wikimedia.org/wikipedia/commons/d/ d7/ Mercedes_AMG_CLS_55_-_Demonstration_of_drifting_1b.jpg") | pictureList.kif 6401-6401 | Driving is a subclass of transportation |
| appearance as argument number 2 |
|
|
| (subclass FlyingAircraft Driving) | Mid-level-ontology.kif 19717-19717 | Flying is a subclass of driving |
| (termFormat EnglishLanguage Driving "driving") | english_format.kif 1483-1483 | Flying is a subclass of driving |
| antecedent |
|
|
| (=> (instance ?DRIVE Driving) (exists (?VEHICLE) (and (instance ?VEHICLE Vehicle) (patient ?DRIVE ?VEHICLE)))) |
Merge.kif 11895-11900 | If X is an instance of driving, then there exists Y such that Y is an instance of vehicle and Y is a patient of X |
| (=> (and (instance ?TRANSPORT Transportation) (subProcess ?TRANSPORT ?DRIVE) (instance ?DRIVE Driving) (instrument ?TRANSPORT ?VEHICLE) (instance ?VEHICLE TransportationDevice)) (patient ?DRIVE ?VEHICLE)) |
Mid-level-ontology.kif 25874-25881 | If X is an instance of transportation, X is a subprocess of Y, Y is an instance of driving, Z is an instrument for X, and Z is an instance of transportation device, then Z is a patient of Y |
| (=> (and (instance ?DRIVE Driving) (patient ?DRIVE ?VEHICLE) (instance ?VEHICLE RoadVehicle)) (exists (?TRANSPORT) (and (instance ?TRANSPORT TransportViaRoadVehicle) (subProcess ?TRANSPORT ?DRIVE)))) |
Mid-level-ontology.kif 25883-25891 | If X is an instance of driving, Y is a patient of X, and Y is an instance of road vehicle, then there exists Z such that Z is an instance of transport via a road vehicle and Z is a subprocess of X |
| (=> (and (instance ?DRIVING Driving) (subProcess ?TRANSPORT ?DRIVING) (instance ?TRANSPORT Transportation) (agent ?DRIVING ?DRIVER)) (transported ?TRANSPORT ?DRIVER)) |
Mid-level-ontology.kif 25893-25899 | If X is an instance of driving, Y is a subprocess of X, Y is an instance of transportation, and Z is an agent of X, then Z is transported during Y |
| (=> (and (instance ?DRIVING Driving) (subProcess ?TRANSPORT ?DRIVING) (instance ?TRANSPORT Transportation) (destination ?DRIVING ?DEST)) (destination ?TRANSPORT ?DEST)) |
Mid-level-ontology.kif 25901-25907 | If X is an instance of driving, Y is a subprocess of X, Y is an instance of transportation, and X ends up at Z, then Y ends up at Z |
| (=> (and (instance ?DRIVING Driving) (subProcess ?TRANSPORT ?DRIVING) (instance ?TRANSPORT Transportation) (instance ?VEHICLE Vehicle) (patient ?DRIVING ?VEHICLE)) (conveyance ?TRANSPORT ?VEHICLE)) |
Mid-level-ontology.kif 25909-25916 | If X is an instance of driving, Y is a subprocess of X, Y is an instance of transportation, Z is an instance of vehicle, and Z is a patient of X, then Z is a conveyance during Y |
| (=> (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 ?BUS ?CUST (and (instance ?PUT Keeping) (destination ?PUT ?PARK) (patient ?PUT ?VEHICLE))))) |
TransportDetail.kif 106-125 | If All of the following hold: (1) X possesses Y (2) X is an instance of commercial agent (3) Y is an instance of parking lot (4) Z is an instance of building (5) X is located at Z (6) W is a customer of X (7) W is located at Z holds during V (8) U is an instance of driving (9) T is a patient of U (10) W is an agent of U (11) U ends up at Z, then W allows S is an instance of keeping, S ends up at Y, and T is a patient of S to perform task of the type X holds during V |
| consequent |
|
|
|