| 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 2474-2476 | |
| (externalImage HoistingDevice "http://upload.wikimedia.org/wikipedia/en/ thumb/ 2/ 2b/ Builders_hoist.jpg/ 180px-Builders_hoist.jpg") | pictureList.kif 1136-1136 | |
| (subclass HoistingDevice MaterialHandlingEquipment) | Mid-level-ontology.kif 2473-2473 | Hoisting device is a subclass of material handling equipment |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage HoistingDevice "吊装设备") | domainEnglishFormat.kif 28369-28369 | |
| (termFormat ChineseTraditionalLanguage HoistingDevice "吊裝設備") | domainEnglishFormat.kif 28368-28368 | |
| (termFormat EnglishLanguage HoistingDevice "hoisting device") | domainEnglishFormat.kif 28367-28367 |
| antecedent |
|
|
| (=> (instance ?H HoistingDevice) (capability MotionDownward instrument ?H)) |
Mid-level-ontology.kif 2482-2484 |
|
| (=> (instance ?H HoistingDevice) (capability MotionUpward instrument ?H)) |
Mid-level-ontology.kif 2478-2480 |
|
| consequent |
|
|
| (=> (instance ?C Crane) (exists (?H) (and (instance ?H HoistingDevice) (component ?H ?C)))) |
Mid-level-ontology.kif 2466-2471 |
|
|
|
|