No TPTP formula. May not be expressible in strict first order. |
naics.kif 9868-9868 |
子屬性 律師辦公室 and 法律服務 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9874-9874 |
子屬性 公證處 and 法律服務 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9880-9880 |
子屬性 其他法律服務 and 法律服務 |
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 |
|