No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 544-544 |
子類 misbaha and 首飾 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6110-6110 |
子類 珍珠 and 首飾 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31591-31591 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31590-31590 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31589-31589 |
|