TreeView Knowledge Base Browser - OtherLegalServices

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 9882-9884
No TPTP formula. May not be expressible in strict first order.	naics.kif 9880-9880	子屬性其他法律服務 and 法律服務

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 9893-9893	子屬性所有其他法律服務 and 其他法律服務
No TPTP formula. May not be expressible in strict first order.	naics.kif 9886-9886	子屬性標題摘要和結算辦公室 and 其他法律服務
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43178-43178
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43177-43177
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43176-43176