Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  TransitionalAdministration
|
|
|
| appearance as argument number 1 |
|
|
| (typicallyContainsPart Spring AutoSuspensionSystem) | Cars.kif 662-662 | A auto suspension system typically has a part spring |
| (typicallyContainsPart Spring BallJoint) | Cars.kif 1311-1311 | A ball joint typically has a part spring |
| (documentation Spring EnglishLanguage "a metal device that returns to its shape or position when pushed or pulled or pressed") | engineering.kif 1174-1175 | A ball joint typically has a part spring |
| (subclass Spring Device) | engineering.kif 1176-1176 | Spring is a subclass of device |
| (externalImage Spring "http://upload.wikimedia.org/wikipedia/commons/2/2a/ Ressort_de_compression.jpg") | pictureList.kif 175-175 | Spring is a subclass of device |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?C Carabiner) (exists (?H ?S) (and (instance ?H Hinge) (part ?H ?C) (instance ?S Spring) (part ?S ?C)))) |
engineering.kif 1177-1184 | If X is an instance of karabiner, then there exist Y, Z such that Y is an instance of hinge, Y is a part of X, Z is an instance of spring, and Z is a part of X |
|
