TreeView Knowledge Base Browser - InformationServices

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 9137-9139
No TPTP formula. May not be expressible in strict first order.	naics.kif 9135-9135	信息服务是信息服务和数据处理服务的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 9147-9147	图书馆和档案馆是信息服务的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 9141-9141	新闻集团是信息服务的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 9153-9153	其他信息服务是信息服务的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30043-30043
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30042-30042
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30041-30041