Feather - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Feather AnimalAnatomicalStructure)	Mid-level-ontology.kif 22575-22575	Feather is a subclass of animal anatomical structure
(subclass Feather BodyPart)	Mid-level-ontology.kif 22576-22576	Feather is a subclass of body part
(documentation Feather EnglishLanguage "Each instance of this class is one of the structures that make up the external covering of Birds.")	Mid-level-ontology.kif 22577-22578	Feather is a subclass of body part
(externalImage Feather "http://upload.wikimedia.org/wikipedia/commons/3/ 37/ 2_feathers.jpg")	pictureList.kif 91-91	Feather is a subclass of body part
(externalImage Feather "http://articulatesoftware.com/SUMOpictures/education/ feather.png")	pictureList.kif 425-425	Feather is a subclass of body part

appearance as argument number 2

(termFormat EnglishLanguage Feather "feather")	domainEnglishFormat.kif 23428-23428
(termFormat ChineseTraditionalLanguage Feather "羽毛")	domainEnglishFormat.kif 23429-23429
(termFormat ChineseLanguage Feather "羽毛")	domainEnglishFormat.kif 23430-23430

antecedent

(=>
    (instance ?F Feather)
    (exists (?B)
        (and
            (instance ?B Bird)
            (part ?F ?B))))

If X is an instance of feather, then there exists Y such that Y is an instance of bird and X is a part of Y