Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| WheelChock(wheel chock) |  | chock, sprag, wedge |
| appearance as argument number 1 |
|
|
| (subclass WheelChock Device) | Cars.kif 4223-4223 | Wheel chock is a subclass of device |
| (documentation WheelChock EnglishLanguage "A Device that is designed to keep a Vehicle's Wheels, and thus the vehicle itself, from moving.") | Cars.kif 4225-4226 | Wheel chock is a subclass of device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage WheelChock "wheel chock") | Cars.kif 4224-4224 |
| 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 4228-4241 | If X is an instance of wheel chock, then X has the purpose there exist Y, Z such that Y is an instance of wheel, X meets Y, there doesn't exist W such that W is an instance of rotating, and Y is a patient of W holds during Z |
|