|
|
   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 5200-5202 | |
| (externalImage Sandal "http://upload.wikimedia.org/wikipedia/commons/4/42/ MulticolorSandalette.jpg") | pictureList.kif 10241-10241 | |
| (subclass Sandal Shoe) | Mid-level-ontology.kif 5204-5204 | 子類 檀香 and 鞋 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Sandal "檀香") | domainEnglishFormat.kif 51065-51065 | |
| (termFormat ChineseTraditionalLanguage Sandal "檀香") | domainEnglishFormat.kif 51064-51064 | |
| (termFormat EnglishLanguage Sandal "sandal") | domainEnglishFormat.kif 51063-51063 |
| 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 5206-5226 |
|
| (=> (instance ?S Sandal) (exists (?SOLE) (and (instance ?SOLE ShoeSole) (part ?SOLE ?S) (attribute ?SOLE Flat)))) |
Mid-level-ontology.kif 5228-5234 |
| 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 |
|
|
|
