TreeView Knowledge Base Browser - AdvertisingAgencies

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 10161-10163
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8322-8322
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8823-8823
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8824-8824
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8825-8825
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8826-8826
No TPTP formula. May not be expressible in strict first order.	naics.kif 10159-10159	广告中介是广告和相关服务的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5604-5604
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5603-5603
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5602-5602