|
|
   Suhur
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Suhur EnglishLanguage "A light meal before starting a new day of Ramadan (before daybreak).") | ArabicCulture.kif 33-34 | |
| (subclass Suhur Eating) | ArabicCulture.kif 35-35 | Suhur est une sous-classe de manger |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Suhur "封斋饭") | domainEnglishFormat.kif 56003-56003 | |
| (termFormat ChineseTraditionalLanguage Suhur "封齋飯") | domainEnglishFormat.kif 56002-56002 | |
| (termFormat EnglishLanguage Suhur "suhur") | domainEnglishFormat.kif 56001-56001 |
| antecedent |
|
|
| (=> (instance ?X Suhur) (exists (?R ?S ?D) (and (instance ?S Sunrise) (instance ?R Ramadan) (instance ?D Day) (during ?D ?R) (during (WhenFn ?X) ?D) (during ?S ?D) (before (WhenFn ?X) ?S)))) |
ArabicCulture.kif 36-46 |
|
| consequent |
|
|
|
|
|