No TPTP formula. May not be expressible in strict first order. |
naics.kif 10014-10014 |
平面设计服务 是 专业的设计服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10007-10007 |
工业设计服务 是 专业的设计服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10000-10000 |
室内设计服务 是 专业的设计服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10020-10020 |
其他专业设计服务 是 专业的设计服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54504-54504 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54503-54503 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54502-54502 |
|