No TPTP formula. May not be expressible in strict first order. |
naics.kif 11493-11493 |
赌场酒店除外的赌场 是 赌博业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11500-11500 |
其他赌博业 是 赌博业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25424-25424 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25423-25423 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25422-25422 |
|