TreeView Knowledge Base Browser - ArchitecturalServices

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 9943-9945
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8345-8345
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8893-8893
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8894-8894
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8895-8895
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8896-8896
No TPTP formula. May not be expressible in strict first order.	naics.kif 9941-9941	建筑服务是建筑工程及相关服务的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8244-8244
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8243-8243
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8242-8242