Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Wrench(wrench) |  | alligator_wrench, spanner, wrench |
| appearance as argument number 1 |
|
|
| (subclass Wrench Device) | Cars.kif 4015-4015 | Wrench is a subclass of device |
| (documentation Wrench EnglishLanguage "A Device that is designed to apply a rotational force to an AttachingDevice, such as a Bolt.") | Cars.kif 4017-4018 | Wrench is a subclass of device |
| appearance as argument number 2 |
|
|
| (subclass TorqueWrench Wrench) | Cars.kif 4010-4010 | Torque wrench is a subclass of wrench |
| (termFormat EnglishLanguage Wrench "wrench") | Cars.kif 4016-4016 | Torque wrench is a subclass of wrench |
| (subclass Ratchet Wrench) | Cars.kif 4813-4813 | Ratchet is a subclass of wrench |
| antecedent |
|
|
| (=> (instance ?W Wrench) (hasPurpose ?W (exists (?R ?AD) (and (instance ?R Rotating) (instance ?AD AttachingDevice) (patient ?R ?AD) (instrument ?R ?W))))) |
Cars.kif 4020-4028 | If X is an instance of wrench, then X has the purpose there exist Y, Z such that Y is an instance of rotating, Z is an instance of attaching device, Z is a patient of Y, and X is an instrument for Y |
|