TreeView 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 5188-5190
(externalImage ShoeSole "http://upload.wikimedia.org/wikipedia/commons/3/ 39/ Dr_Martens%2C_black%2C_old.jpg")	pictureList.kif 8708-8708
(subclass ShoeSole Artifact)	Mid-level-ontology.kif 5191-5191	ShoeSole è una sottoclasse di Manufatto

appearance as argument number 2

(termFormat ChineseLanguage ShoeSole "鞋底")	domainEnglishFormat.kif 52763-52763
(termFormat ChineseTraditionalLanguage ShoeSole "鞋底")	domainEnglishFormat.kif 52762-52762
(termFormat EnglishLanguage ShoeSole "shoe sole")	domainEnglishFormat.kif 52761-52761

antecedent

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

Mid-level-ontology.kif 5193-5198

consequent

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

Mid-level-ontology.kif 5228-5234