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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HoistingDevice

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 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 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


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

Show without tree


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