TreeView Knowledge Base Browser - AmusementParksAndArcades

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 11421-11423
No TPTP formula. May not be expressible in strict first order.	naics.kif 11419-11419	游乐园和商场是娱乐赌博和娱乐业的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 11425-11425	娱乐和主题公园是游乐园和商场的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 11471-11471	游乐场是游乐园和商场的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7350-7350
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7349-7349
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7348-7348