No TPTP formula. May not be expressible in strict first order. |
naics.kif 11610-11610 |
子屬性 RV休閒車公園和露營地 and RV房車休閒車公園和休閒營地 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11617-11617 |
子屬性 休閒和度假營,露營地除外 and RV房車休閒車公園和休閒營地 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50691-50691 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50690-50690 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50689-50689 |
|