No TPTP formula. May not be expressible in strict first order. |
naics.kif 11691-11691 |
子屬性 餐飲業 and 特殊食品服務 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11684-11684 |
子屬性 食品服務承包商 and 特殊食品服務 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11697-11697 |
子屬性 移動食品服務 and 特殊食品服務 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54500-54500 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54499-54499 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54498-54498 |
|