ShoeSole - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ShoeSole EnglishLanguage "The bottom part of a Shoe that is intended to be the point of contact with the ground while the shoe is being worn.")	Mid-level-ontology.kif 6149-6151
(subclass ShoeSole Artifact)	Mid-level-ontology.kif 6152-6152	Shoe sole is a subclass of artifact
(externalImage ShoeSole "http://upload.wikimedia.org/wikipedia/commons/3/ 39/ Dr_Martens%2C_black%2C_old.jpg")	pictureList.kif 8707-8707	Shoe sole is a subclass of artifact

appearance as argument number 2

(termFormat EnglishLanguage ShoeSole "shoe sole")	domainEnglishFormat.kif 52756-52756
(termFormat ChineseTraditionalLanguage ShoeSole "鞋底")	domainEnglishFormat.kif 52757-52757
(termFormat ChineseLanguage ShoeSole "鞋底")	domainEnglishFormat.kif 52758-52758

antecedent

(=>
    (instance ?SS ShoeSole)
    (exists (?S)
        (and
            (instance ?S Shoe)
            (bottom ?SS ?S))))

If X is an instance of shoe sole, then there exists Y such that Y is an instance of shoe and the bottom of Y is X

consequent

(=>
    (instance ?S Sandal)
    (exists (?SOLE)
        (and
            (instance ?SOLE ShoeSole)
            (part ?SOLE ?S)
            (attribute ?SOLE Flat))))

If X is an instance of sandal, then there exists Y such that Y is an instance of shoe sole, Y is a part of X, and flat is an attribute of Y