|
|
   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 Hole through which the foot is inserted.") | Mid-level-ontology.kif 4932-4934 | |
| (externalImage Sandal "http://upload.wikimedia.org/wikipedia/commons/4/42/ MulticolorSandalette.jpg") | pictureList.kif 10251-10251 | |
| (subclass Sandal Shoe) | Mid-level-ontology.kif 4936-4936 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Sandal "檀香") | domainEnglishFormat.kif 51046-51046 | |
| (termFormat ChineseTraditionalLanguage Sandal "檀香") | domainEnglishFormat.kif 51045-51045 | |
| (termFormat EnglishLanguage Sandal "sandal") | domainEnglishFormat.kif 51044-51044 |
| antecedent |
|
|
| (=> (instance ?S Sandal) (exists (?H1 ?H2) (and (instance ?H1 Hole) (hole ?H1 ?S) (instance ?H2 Hole) (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 4938-4958 | |
| (=> (instance ?S Sandal) (exists (?SOLE) (and (instance ?SOLE ShoeSole) (part ?SOLE ?S) (attribute ?SOLE Flat)))) |
Mid-level-ontology.kif 4960-4966 |
| 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 142-154 |
|
|
|
