TreeView Knowledge Base Browser - PersonalAndLaundryServices

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 11912-11914
No TPTP formula. May not be expressible in strict first order.	naics.kif 11910-11910	子屬性個人和洗衣服務 and 除公共行政外的其他服務

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 11974-11974	子屬性死亡護理服務 and 個人和洗衣服務
No TPTP formula. May not be expressible in strict first order.	naics.kif 11994-11994	子屬性乾洗和洗衣服務 and 個人和洗衣服務
No TPTP formula. May not be expressible in strict first order.	naics.kif 12032-12032	子屬性其他個人服務 and 個人和洗衣服務
No TPTP formula. May not be expressible in strict first order.	naics.kif 11916-11916	子屬性個人護理服務 and 個人和洗衣服務
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45318-45318
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45317-45317
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45316-45316