TreeView Knowledge Base Browser - HighwayStreetBridgeAndTunnelConstruction

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 1160-1162
No TPTP formula. May not be expressible in strict first order.	naics.kif 1158-1158	子屬性公路街橋和隧道施工 and 重型建築

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 1171-1171	子屬性橋樑和隧道施工 and 公路街橋和隧道施工
No TPTP formula. May not be expressible in strict first order.	naics.kif 1164-1164	子屬性公路和街道建設 and 公路街橋和隧道施工
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28179-28179
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28178-28178
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28177-28177