No TPTP formula. May not be expressible in strict first order. |
naics.kif 7581-7581 |
子屬性 珠寶店 and 珠寶箱包和皮具店 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7587-7587 |
子屬性 箱包和皮具店 and 珠寶箱包和皮具店 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31609-31609 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31608-31608 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31607-31607 |
|