IhramPeriod(ihram period) |
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 | Ihram period is a subclass of religious process |
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 |