Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| JumperCable(jumper cable) |  | booster_cable, clip_lead, jumper, jumper_cable, jumper_lead, lead |
| appearance as argument number 1 |
|
|
| (subclass JumperCable Device) | Cars.kif 3099-3099 | Jumper cable is a subclass of device |
| (documentation JumperCable EnglishLanguage "A Wire with Clamps on both ends, designed for making temporary electrical connections.") | Cars.kif 3101-3102 | Jumper cable is a subclass of device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage JumperCable "jumper cable") | Cars.kif 3100-3100 |
| antecedent |
|
|
| (=> (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 |
|