No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 527-527 |
Abayah e' uma sub-classe de Cloak |
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 449-449 |
Dishdashah e' uma sub-classe de Cloak |
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 437-437 |
Jallabiyyah e' uma sub-classe de Cloak |
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 513-513 |
Jilbab e' uma sub-classe de Cloak |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15168-15168 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15167-15167 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15166-15166 |
|