No TPTP formula. May not be expressible in strict first order. |
naics.kif 9893-9893 |
所有其他法律服务 是 其他法律服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9886-9886 |
标题摘要和结算办公室 是 其他法律服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43178-43178 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43177-43177 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43176-43176 |
|