IhramPeriod(伊赫拉姆時期) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 165-167 | |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 169-169 | 子類 伊赫拉姆時期 and ReligiousProcess |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29229-29229 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29228-29228 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29227-29227 |