Sandal |
appearance as argument number 1 |
(documentation Sandal EnglishLanguage "Any kind of open shoe lacking a markedly thicker heel. The toe may be enclosed, but there must be some opening in the upper other than the HoleRegion through which the foot is inserted.") | Mid-level-ontology.kif 5205-5207 | |
(externalImage Sandal "http://upload.wikimedia.org/wikipedia/commons/4/42/ MulticolorSandalette.jpg") | pictureList.kif 10241-10241 | |
(subclass Sandal Shoe) | Mid-level-ontology.kif 5209-5209 |
appearance as argument number 2 |
(termFormat ChineseLanguage Sandal "檀香") | domainEnglishFormat.kif 51063-51063 | |
(termFormat ChineseTraditionalLanguage Sandal "檀香") | domainEnglishFormat.kif 51062-51062 | |
(termFormat EnglishLanguage Sandal "sandal") | domainEnglishFormat.kif 51061-51061 |
antecedent |
(=> (instance ?S Sandal) (exists (?H1 ?H2) (and (instance ?H1 HoleRegion) (hole ?H1 ?S) (instance ?H2 HoleRegion) (hole ?H2 ?S) (not (equal ?H1 ?H2)) (hasPurpose ?H1 (exists (?D ?F ?A ?I) (and (instance ?D Dressing) (instance ?F Foot) (agent ?D ?A) (part ?F ?A) (subProcess ?I ?D) (instance ?I Inserting) (patient ?I ?F) (destination ?I ?H1))))))) |
Mid-level-ontology.kif 5211-5231 | |
(=> (instance ?S Sandal) (exists (?SOLE) (and (instance ?SOLE ShoeSole) (part ?SOLE ?S) (attribute ?SOLE Flat)))) |
Mid-level-ontology.kif 5233-5239 |
consequent |
(=> (and (instance ?IC IhramClothing) (wears ?IC ?M) (attribute ?M Male)) (exists (?C ?B ?S) (and (instance ?C Cloak) (instance ?B Belt) (instance ?S Sandal) (member ?C ?IC) (member ?B ?IC) (member ?S ?IC)))) |
ArabicCulture.kif 151-163 |