|
|
   HoistingDevice
|
|
|
| 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 | 子類 吊裝設備 and 物料搬運設備 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage HoistingDevice "吊装设备") | domainEnglishFormat.kif 28335-28335 | |
| (termFormat ChineseTraditionalLanguage HoistingDevice "吊裝設備") | domainEnglishFormat.kif 28334-28334 | |
| (termFormat EnglishLanguage HoistingDevice "hoisting device") | domainEnglishFormat.kif 28333-28333 |
| 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 |
|
|
|
