No TPTP formula. May not be expressible in strict first order. |
naics.kif 12071-12071 |
所有其他个人服务 是 其他个人服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 12065-12065 |
停车场和车库 是 其他个人服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 12038-12038 |
除兽医服务外的宠物护理 是 其他个人服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 12046-12046 |
彩扩 是 其他个人服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43368-43368 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43367-43367 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43366-43366 |
|