No TPTP formula. May not be expressible in strict first order. |
naics.kif 9868-9868 |
律师办公室 是 法律服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9874-9874 |
公证处 是 法律服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9880-9880 |
其他法律服务 是 法律服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33851-33851 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33850-33850 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33849-33849 |
|