No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 500-500 |
Hijab est une sous-classe de Veil |
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 481-481 |
Khimar est une sous-classe de Veil |
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 462-462 |
Niqab est une sous-classe de Veil |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61430-61430 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61429-61429 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61428-61428 |
|