No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 500-500 |
Hijab e' uma sub-classe de Veil |
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 481-481 |
Khimar e' uma sub-classe de Veil |
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 462-462 |
Niqab e' uma sub-classe de Veil |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61432-61432 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61431-61431 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61430-61430 |
|