| No TPTP formula. May not be expressible in strict first order. |
naics.kif 10261-10261 |
子屬性 所有其他專業的科學和技術服務 and 其他專業的科學技術服務 |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 10220-10220 |
子屬性 營銷研究和民意調查 and 其他專業的科學技術服務 |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 10228-10228 |
子屬性 攝影服務 and 其他專業的科學技術服務 |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 10248-10248 |
子屬性 翻譯和口譯服務 and 其他專業的科學技術服務 |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 10255-10255 |
子屬性 獸醫服務 and 其他專業的科學技術服務 |
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43410-43410 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43409-43409 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43408-43408 |
|
DardicLanguage