TreeView Knowledge Base Browser - ComputerSystemsDesignAndRelatedServices

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 10029-10031
No TPTP formula. May not be expressible in strict first order.	naics.kif 10027-10027	子屬性計算機系統設計和相關服務 and 專業的科技服務

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 10047-10047	子屬性計算機設施管理服務 and 計算機系統設計和相關服務
No TPTP formula. May not be expressible in strict first order.	naics.kif 10040-10040	子屬性計算機系統設計服務 and 計算機系統設計和相關服務
No TPTP formula. May not be expressible in strict first order.	naics.kif 10033-10033	子屬性定制計算機編程服務 and 計算機系統設計和相關服務
No TPTP formula. May not be expressible in strict first order.	naics.kif 10054-10054	子屬性其他電腦相關服務 and 計算機系統設計和相關服務
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16422-16422
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16421-16421
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16420-16420