| 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 2547-2549 | |
| (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 2546-2546 | Hoisting device is a subclass of material handling equipment |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage HoistingDevice "吊装设备") | domainEnglishFormat.kif 28363-28363 | |
| (termFormat ChineseTraditionalLanguage HoistingDevice "吊裝設備") | domainEnglishFormat.kif 28362-28362 | |
| (termFormat EnglishLanguage HoistingDevice "hoisting device") | domainEnglishFormat.kif 28361-28361 |
| antecedent |
|
|
| (=> (instance ?H HoistingDevice) (capability MotionDownward instrument ?H)) |
Mid-level-ontology.kif 2555-2557 |
|
| (=> (instance ?H HoistingDevice) (capability MotionUpward instrument ?H)) |
Mid-level-ontology.kif 2551-2553 |
|
| consequent |
|
|
| (=> (instance ?C Crane) (exists (?H) (and (instance ?H HoistingDevice) (component ?H ?C)))) |
Mid-level-ontology.kif 2539-2544 |
|
|
|
|