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 2436-2438
(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 2435-2435 Hoisting device is a subclass of material handling equipment

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage HoistingDevice "吊装设备") domainEnglishFormat.kif 28326-28326
(termFormat ChineseTraditionalLanguage HoistingDevice "吊裝設備") domainEnglishFormat.kif 28325-28325
(termFormat EnglishLanguage HoistingDevice "hoisting device") domainEnglishFormat.kif 28324-28324

antecedent
-------------------------


(=>
    (instance ?H HoistingDevice)
    (capability MotionDownward instrument ?H))
Mid-level-ontology.kif 2444-2446
(=>
    (instance ?H HoistingDevice)
    (capability MotionUpward instrument ?H))
Mid-level-ontology.kif 2440-2442

consequent
-------------------------


(=>
    (instance ?C Crane)
    (exists (?H)
        (and
            (instance ?H HoistingDevice)
            (component ?H ?C))))
Mid-level-ontology.kif 2428-2433


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