Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Clamp(clamp)
|  | C-clamp, bench_clamp, clamp, clinch, cramp, haemostat, hemostat, pipe_clamp, pipe_vise, press |
| appearance as argument number 1 |
|
|
| (subclass Clamp AttachingDevice) | Mid-level-ontology.kif 4918-4918 | Clamp is a subclass of attaching device |
| (documentation Clamp EnglishLanguage "An AttachingDevice which is designed to attach two things together by means of a movable part which can be tightened or loosened.") | Mid-level-ontology.kif 4919-4921 | Clamp is a subclass of attaching device |
| (externalImage Clamp "http://articulatesoftware.com/SUMOpictures/tools/BW/ clamp.png") | pictureList.kif 347-347 | Clamp is a subclass of attaching device |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?JC JumperCable) (exists (?C1 ?C2 ?W) (and (instance ?C1 Clamp) (instance ?C2 Clamp) (instance ?W Wire) (part ?C1 ?JC) (part ?C2 ?JC) (part ?W ?JC) (connectedEngineeringComponents ?C1 ?W) (connectedEngineeringComponents ?C2 ?W) (not (equal ?C1 ?C2))))) |
Cars.kif 3104-3116 | If X is an instance of jumper cable, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of clamp (3) Z is an instance of clamp (4) W is an instance of wire (5) Y is a part of X (6) Z is a part of X (7) W is a part of X (8) Y is connected to W (9) Z is connected to W (10) equal Y (11) Z |
|