No TPTP formula. May not be expressible in strict first order. |
naics.kif 10117-10117 |
子屬性 環境諮詢服務 and 管理科學和技術諮詢服務 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10069-10069 |
子屬性 管理諮詢服務 and 管理科學和技術諮詢服務 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10124-10124 |
子屬性 其他科技諮詢服務 and 管理科學和技術諮詢服務 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35921-35921 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35920-35920 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35919-35919 |
|