TreeView Knowledge Base Browser - OtherInformationServices

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 9155-9157
No TPTP formula. May not be expressible in strict first order.	naics.kif 9153-9153	子屬性其他信息服務 and 信息服務

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 9166-9166	子屬性所有其他信息服務 and 其他信息服務
No TPTP formula. May not be expressible in strict first order.	naics.kif 9159-9159	子屬性在線信息服務 and 其他信息服務
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43130-43130
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43129-43129
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43128-43128