TreeView Knowledge Base Browser - WaterSewageAndOtherSystems

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 1050-1052
No TPTP formula. May not be expressible in strict first order.	naics.kif 1048-1048	子屬性水污水和其他系統 and 公用事業

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 1061-1061	子屬性污水處理設施 and 水污水和其他系統
No TPTP formula. May not be expressible in strict first order.	naics.kif 1067-1067	子屬性蒸汽和空調供應 and 水污水和其他系統
No TPTP formula. May not be expressible in strict first order.	naics.kif 1054-1054	子屬性供水和灌溉系統 and 水污水和其他系統
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62457-62457
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62456-62456
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62455-62455