Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HoistingDevice
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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners