No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 500-500 |
盖头 是 面纱 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 481-481 |
Khimar 是 面纱 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 462-462 |
面纱 是 面纱 的 subclass |
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 |
|