Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Dishdashah
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Dishdashah EnglishLanguage "Man's long baggy dress worn by Arabs in the Gulf states.") | ArabicCulture.kif 445-446 | |
| (subclass Dishdashah Cloak) | ArabicCulture.kif 448-448 | Dishdashah is a subclass of cloak |
| (externalImage Dishdashah "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ Dishdasha.jpg") | pictureList.kif 5961-5961 | Dishdashah is a subclass of cloak |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Dishdashah "dishdashah") | domainEnglishFormat.kif 19836-19836 | |
| (termFormat ChineseTraditionalLanguage Dishdashah "dishdashah") | domainEnglishFormat.kif 19837-19837 | |
| (termFormat ChineseLanguage Dishdashah "dishdashah") | domainEnglishFormat.kif 19838-19838 |
| antecedent |
|
|
| (=> (instance ?H Dishdashah) (hasPurpose ?H (exists (?M) (and (instance ?M Man) (wears ?M ?H))))) |
ArabicCulture.kif 449-455 | If X is an instance of dishdashah, then X has the purpose there exists Y such that Y is an instance of man and Y wears X |
|
