TreeView Knowledge Base Browser - OtherPersonalServices

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 12034-12036
No TPTP formula. May not be expressible in strict first order.	naics.kif 12032-12032	子屬性其他個人服務 and 個人和洗衣服務

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 12071-12071	子屬性所有其他個人服務 and 其他個人服務
No TPTP formula. May not be expressible in strict first order.	naics.kif 12065-12065	子屬性停車場和車庫 and 其他個人服務
No TPTP formula. May not be expressible in strict first order.	naics.kif 12038-12038	子屬性除獸醫服務外的寵物護理 and 其他個人服務
No TPTP formula. May not be expressible in strict first order.	naics.kif 12046-12046	子屬性彩擴 and 其他個人服務
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43368-43368
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43367-43367
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43366-43366