TreeView Knowledge Base Browser - DirectSellingEstablishments

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 7909-7911
No TPTP formula. May not be expressible in strict first order.	naics.kif 7907-7907	直销场所是非商店零售商的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 7913-7913	燃料经销商是直销场所的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 7939-7939	其他直销场所是直销场所的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19746-19746
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19745-19745
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19744-19744