|
|
   WheelChock
|
|
|
| appearance as argument number 1 |
|
|
| (documentation WheelChock EnglishLanguage "A Device that is designed to keep a Vehicle's Wheels, and thus the vehicle itself, from moving.") | Cars.kif 4326-4327 | |
| (subclass WheelChock Device) | Cars.kif 4324-4324 | WheelChock は デバイス の subclass では %n |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage WheelChock "wheel chock") | Cars.kif 4325-4325 |
| antecedent |
|
|
| (=> (instance ?WC WheelChock) (hasPurpose ?WC (exists (?W ?T) (and (instance ?W Wheel) (holdsDuring ?T (and (meetsSpatially ?WC ?W) (not (exists (?R) (and (instance ?R Rotating) (patient ?R ?W)))))))))) |
Cars.kif 4329-4342 |
|
|
|