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 |
|
|
| s__subclass(s__Driving,s__Guiding)
|
Merge.kif 11888-11888 | Driving is a subclass of guiding |
| s__subclass(s__Driving,s__Transportation)
|
Merge.kif 11889-11889 | Driving is a subclass of transportation |
| s__documentation(s__Driving, s__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 |
| s__externalImage(s__Driving,"http: //upload.wikimedia.org/wikipedia/commons/3/32/JapaneseDrivingSchool.jpg")
|
pictureList.kif 5967-5967 | Driving is a subclass of transportation |
| s__externalImage(s__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 |
|
|
| antecedent |
|
|
| ! [V__DRIVE] : ((s__instance(V__DRIVE,s__Driving) => (? [V__VEHICLE] : ((s__instance(V__VEHICLE,s__Vehicle) & s__patient(V__DRIVE,V__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 |
| ! [V__TRANSPORT,V__DRIVE,V__VEHICLE] : (((s__instance(V__TRANSPORT,s__Transportation) & s__subProcess(V__TRANSPORT,V__DRIVE) & s__instance(V__DRIVE,s__Driving) & s__instrument(V__TRANSPORT,V__VEHICLE) & s__instance(V__VEHICLE,s__TransportationDevice)) => s__patient(V__DRIVE,V__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 |
| ! [V__DRIVE,V__VEHICLE] : (((s__instance(V__DRIVE,s__Driving) & s__patient(V__DRIVE,V__VEHICLE) & s__instance(V__VEHICLE,s__RoadVehicle)) => (? [V__TRANSPORT] : ((s__instance(V__TRANSPORT,s__TransportViaRoadVehicle) & s__subProcess(V__TRANSPORT,V__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 |
| ! [V__DRIVER,V__DRIVING,V__TRANSPORT] : ((s__instance(V__DRIVER,s__AutonomousAgent) => ((s__instance(V__DRIVING,s__Driving) & s__subProcess(V__TRANSPORT,V__DRIVING) & s__instance(V__TRANSPORT,s__Transportation) & s__agent(V__DRIVING,V__DRIVER)) => s__transported(V__TRANSPORT,V__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 |
| ! [V__DRIVING,V__TRANSPORT,V__DEST] : (((s__instance(V__DRIVING,s__Driving) & s__subProcess(V__TRANSPORT,V__DRIVING) & s__instance(V__TRANSPORT,s__Transportation) & s__destination(V__DRIVING,V__DEST)) => s__destination(V__TRANSPORT,V__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 |
| ! [V__DRIVING,V__TRANSPORT,V__VEHICLE] : (((s__instance(V__DRIVING,s__Driving) & s__subProcess(V__TRANSPORT,V__DRIVING) & s__instance(V__TRANSPORT,s__Transportation) & s__instance(V__VEHICLE,s__Vehicle) & s__patient(V__DRIVING,V__VEHICLE)) => s__conveyance(V__TRANSPORT,V__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 |
| ! [V__BLDG : $i,V__BUS : $i,V__CUST : $i,V__DRIVE : $i,V__PARK : $i,V__PUT : $i,V__T : $i,V__VEHICLE : $i] : (((s__possesses(V__BUS, V__PARK) & s__instance(V__BUS, s__CommercialAgent) & s__instance(V__PARK, s__ParkingLot) & s__instance(V__BLDG, s__Building) & s__located(V__BUS, V__BLDG) & s__customer(V__BUS, V__CUST) & s__holdsDuring(V__T, s__located(V__CUST, V__BLDG)) & s__instance(V__DRIVE, s__Driving) & s__patient(V__DRIVE, V__VEHICLE) & s__agent(V__DRIVE, V__CUST) & s__destination(V__DRIVE, V__BLDG)) => s__holdsDuring(V__T, s__confersRight(V__BUS, V__CUST, (s__instance(V__PUT, s__Keeping) & s__destination(V__PUT, V__PARK) & s__patient(V__PUT, V__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 |
|
|
| ! [V__C : $i] : ((s__instance(V__C, s__VehicleController) => s__hasPurpose(V__C, ( ? [V__D:$i] : ((s__instance(V__D, s__Driving) & s__instrument(V__D, V__C))))))) | Mid-level-ontology.kif 4008-4014 | If X is an instance of vehicle controller, then X has the purpose there exists Y such that Y is an instance of driving and X is an instrument for Y |
| ! [V__A : $i,V__L : $i] : (((s__instance(V__L, s__DriversLicense) & s__possesses(V__A, V__L)) => s__confersNorm(V__L, s__Permission, ( ? [V__D:$i, V__V:$i] : ((s__instance(V__D, s__Driving) & s__agent(V__D, V__A) & s__patient(V__D, V__V) & s__instance(V__V, s__RoadVehicle))))))) | Mid-level-ontology.kif 18500-18511 | If X is an instance of drivers license and Y possesses X, then X confers norm permission for there exist Z, W such that Z is an instance of driving, Y is an agent of Z, W is a patient of Z, and W is an instance of road vehicle |
| ! [V__H] : ((s__instance(V__H,s__Hijacking) => (? [V__D] : ((s__subProcess(V__D,V__H) & s__instance(V__D,s__Driving))))) )
|
Mid-level-ontology.kif 24188-24193 | If X is an instance of hijacking, then there exists Y such that Y is a subprocess of X and Y is an instance of driving |
| ! [V__VEH,V__C] : ((s__instance(V__VEH,s__Physical) => ((s__instance(V__C,s__Convoy) & s__member(V__VEH,V__C)) => (? [V__DRIVE] : ((s__instance(V__DRIVE,s__Driving) & s__overlapsTemporally(s__WhenFn(V__DRIVE) ,s__WhenFn(V__C)) & s__patient(V__DRIVE,V__VEH)))))) )
|
Mid-level-ontology.kif 24625-24633 | If X is an instance of convoy and Y is a member of X, then there exists Z such that Z is an instance of driving, the time of existence of X overlaps the time of existence of Z, and Y is a patient of Z |
| ! [V__TRANSPORT] : ((s__instance(V__TRANSPORT,s__TransportViaRoadVehicle) => (? [V__DRIVING] : ((s__instance(V__DRIVING,s__Driving) & s__subProcess(V__TRANSPORT,V__DRIVING))))) )
|
Mid-level-ontology.kif 25867-25872 | If X is an instance of transport via a road vehicle, then there exists Y such that Y is an instance of driving and X is a subprocess of Y |
| ! [V__MH : $i] : ((s__instance(V__MH, s__MotorcycleHelmet) => s__hasPurpose(V__MH, ( ? [V__P:$i, V__D:$i, V__M:$i] : ((s__instance(V__D, s__Driving) & s__agent(V__D, V__P) & s__instance(V__M, s__Motorcycle) & s__patient(V__D, V__M) & s__instance(V__P, s__Human) & s__holdsDuring(s__WhenFn(V__D), s__wears(V__P, V__MH)))))))) | Cars.kif 4276-4287 | If X is an instance of motorcycle helmet, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Z is an instance of driving (3) Y is an agent of Z (4) W is an instance of motorcycle (5) W is a patient of Z (6) Y is an instance of human (7) Y wears X holds during the time of existence of Z |
| ! [V__MG : $i] : ((s__instance(V__MG, s__MotorcycleGlove) => s__hasPurpose(V__MG, ( ? [V__M:$i, V__D:$i, V__T:$i] : ((s__instance(V__T, s__Driving) & s__agent(V__T, V__D) & s__instrument(V__T, V__M) & s__instance(V__M, s__Motorcycle) & s__holdsDuring(s__WhenFn(V__T), s__wears(V__D, V__MG)))))))) | Cars.kif 4641-4651 | If X is an instance of motorcycle glove, then X has the purpose there exist Y, Z, W such that W is an instance of driving, Z is an agent of W, Y is an instrument for W, Y is an instance of motorcycle, and Z wears X holds during the time of existence of W |
| ! [V__H] : ((s__instance(V__H,s__Human) => (s__attribute(V__H,s__Valet) => s__occupation(V__H,s__OccupationFn(s__Driving)))) )
|
TransportDetail.kif 132-134 | If valet is an attribute of X, then the occupation of driving is an occupation of X |
|