Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Motorcycle
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Motorcycle SelfPoweredRoadVehicle) | Transportation.kif 2031-2031 | Motorcycle is a subclass of self powered road vehicle |
| (documentation Motorcycle 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 |
| (externalImage Motorcycle "http://articulatesoftware.com/SUMOpictures/transportation/ motorcycle/ cycle_2.png") | pictureList.kif 379-379 | Motorcycle is a subclass of self powered road vehicle |
| (externalImage 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 |
|
|
| (=> (instance ?M Motorcycle) (equipmentCount ?M VehicleWheel 2)) |
Transportation.kif 2036-2038 | If X is an instance of motorcycle, then X equipment count vehicle wheel for 2 |
| consequent |
|
|
| (=> (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 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 |
| (=> (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 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 |
|
