| HoistingDevice(hoisting device)
| | lifting_device |
| appearance as argument number 1 |
|
|
| (documentation HoistingDevice EnglishLanguage "HoistingDevice is a subclass of mechanical Devices that provide a mechanical advantage in lifting and lowering, e.g., by use of a block and tackle.") | Mid-level-ontology.kif 2943-2945 | |
| (externalImage HoistingDevice "http://upload.wikimedia.org/wikipedia/en/ thumb/ 2/ 2b/ Builders_hoist.jpg/ 180px-Builders_hoist.jpg") | pictureList.kif 1137-1137 | |
| (subclass HoistingDevice MaterialHandlingEquipment) | Mid-level-ontology.kif 2942-2942 | Hoisting device is a subclass of material handling equipment |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage HoistingDevice "吊装设备") | domainEnglishFormat.kif 28333-28333 | |
| (termFormat ChineseTraditionalLanguage HoistingDevice "吊裝設備") | domainEnglishFormat.kif 28332-28332 | |
| (termFormat EnglishLanguage HoistingDevice "hoisting device") | domainEnglishFormat.kif 28331-28331 |
| antecedent |
|
|
| (=> (instance ?H HoistingDevice) (capability MotionDownward instrument ?H)) |
Mid-level-ontology.kif 2951-2953 |
|
| (=> (instance ?H HoistingDevice) (capability MotionUpward instrument ?H)) |
Mid-level-ontology.kif 2947-2949 |
|
| consequent |
|
|
| (=> (instance ?C Crane) (exists (?H) (and (instance ?H HoistingDevice) (component ?H ?C)))) |
Mid-level-ontology.kif 2935-2940 |
|
|
|
|