Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Motorcycle(motorcycle)
|  | bike, dirt_bike, minibike, motorbike, motorcycle, scrambler, trail_bike |
| appearance as argument number 1 |
|
|
| s__subclass(s__Motorcycle,s__SelfPoweredRoadVehicle)
|
Transportation.kif 2031-2031 | Motorcycle is a subclass of self powered road vehicle |
| s__documentation(s__Motorcycle, s__EnglishLanguage, "Motorcycle is the subclass of RoadVehicles that have two wheels one behind the other in the frame, upon which the rider sits on a seat above the engine_") | Transportation.kif 2032-2034 | Motorcycle is a subclass of self powered road vehicle |
| s__externalImage(s__Motorcycle,"http: //articulatesoftware.com/SUMOpictures/transportation/motorcycle/cycle_2.png")
|
pictureList.kif 379-379 | Motorcycle is a subclass of self powered road vehicle |
| s__externalImage(s__Motorcycle,"http: //articulatesoftware.com/SUMOpictures/transportation/motorcycle/Motorcycle_21.png")
|
pictureList.kif 607-607 | Motorcycle is a subclass of self powered road vehicle |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| ! [V__M] : ((s__instance(V__M,s__Motorcycle) => s__equipmentCount(V__M,s__VehicleWheel,n__2)) )
|
Transportation.kif 2036-2038 | If X is an instance of motorcycle, then X equipment count vehicle wheel for 2 |
| consequent |
|
|
| ! [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 |
|