TreeView Knowledge Base Browser - RVRecreationalVehicleParksAndRecreationalCamps

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 11605-11608
No TPTP formula. May not be expressible in strict first order.	naics.kif 11603-11603	RV房车休闲车公园和休闲营地是住所的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 11610-11610	RV休闲车公园和露营地是 RV房车休闲车公园和休闲营地的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 11617-11617	休闲和度假营，露营地除外是 RV房车休闲车公园和休闲营地的 subAttribute
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