HoistingDevice - Sigma Knowledge base Browser

appearance as argument number 1

(subclass HoistingDevice MaterialHandlingEquipment)	Mid-level-ontology.kif 3079-3079	Hoisting device is a subclass of material handling equipment
(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 3080-3082	Hoisting device is a subclass of material handling equipment
(externalImage HoistingDevice "http://upload.wikimedia.org/wikipedia/en/ thumb/ 2/ 2b/ Builders_hoist.jpg/ 180px_Builders_hoist.jpg")	pictureList.kif 1136-1136	Hoisting device is a subclass of material handling equipment

appearance as argument number 2

(termFormat EnglishLanguage HoistingDevice "hoisting device")	domainEnglishFormat.kif 28337-28337
(termFormat ChineseTraditionalLanguage HoistingDevice "吊裝設備")	domainEnglishFormat.kif 28338-28338
(termFormat ChineseLanguage HoistingDevice "吊装设备")	domainEnglishFormat.kif 28339-28339

antecedent

(=> (instance ?H HoistingDevice) (capability MotionUpward instrument ?H))	Mid-level-ontology.kif 3084-3086	If X is an instance of hoisting device, then X is capable of doing motion upward as a instrument
(=> (instance ?H HoistingDevice) (capability MotionDownward instrument ?H))	Mid-level-ontology.kif 3088-3090	If X is an instance of hoisting device, then X is capable of doing motion downward as a instrument

consequent

(=>
    (instance ?C Crane)
    (exists (?H)
        (and
            (instance ?H HoistingDevice)
            (component ?H ?C))))

If X is an instance of crane, then there exists Y such that Y is an instance of hoisting device and Y is a component of X