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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HoistingDevice
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 2481-2483
(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 2480-2480

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 2489-2491
(=>
    (instance ?H HoistingDevice)
    (capability MotionUpward instrument ?H))
Mid-level-ontology.kif 2485-2487

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


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


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