No TPTP formula. May not be expressible in strict first order. |
naics.kif 11704-11704 |
子屬性 喝酒的地方含酒精的飲料 and 食品服務和飲酒場所 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11636-11636 |
子屬性 全方位服務餐廳 and 食品服務和飲酒場所 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11642-11642 |
子屬性 有限的服務飲食場所 and 食品服務和飲酒場所 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11678-11678 |
子屬性 特殊食品服務 and 食品服務和飲酒場所 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24566-24566 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24565-24565 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24564-24564 |
|