TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Crane MaterialHandlingEquipment)	Mid-level-ontology.kif 3067-3067	Crane is a subclass of material handling equipment
(documentation Crane EnglishLanguage "Crane is a subclass of mechanical Devices that consist of a HoistingDevice on a moveable boom, designed to assist in moving heavy loads.")	Mid-level-ontology.kif 3068-3070	Crane is a subclass of material handling equipment
(externalImage Crane "http://articulatesoftware.com/SUMOpictures/working/ vehicles/ Crane_1.png")	pictureList.kif 373-373	Crane is a subclass of material handling equipment

appearance as argument number 2

(termFormat EnglishLanguage Crane "crane")	domainEnglishFormat.kif 17712-17712
(termFormat ChineseTraditionalLanguage Crane "起重機")	domainEnglishFormat.kif 17713-17713
(termFormat ChineseLanguage Crane "起重机")	domainEnglishFormat.kif 17714-17714

antecedent

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