No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 527-527 |
Abayah is a subclass of cloak |
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 449-449 |
Dishdashah is a subclass of cloak |
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 437-437 |
Jallabiyyah is a subclass of cloak |
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 513-513 |
Jilbab is a subclass of 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 |
|