TreeView Knowledge Base Browser - MiningAndOilAndGasFieldMachineryManufacturing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 4702-4705
No TPTP formula. May not be expressible in strict first order.	naics.kif 4700-4700	子屬性採礦和油氣田機械製造業 and 農業建設和採礦機械製造業

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 4707-4707	子屬性採礦機械設備製造業 and 採礦和油氣田機械製造業
No TPTP formula. May not be expressible in strict first order.	naics.kif 4715-4715	子屬性油氣田機械設備製造業 and 採礦和油氣田機械製造業
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37901-37901
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37900-37900
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37899-37899