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	采矿和油气田机械制造业是农业建设和采矿机械制造业的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 4707-4707	采矿机械设备制造业是采矿和油气田机械制造业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 4715-4715	油气田机械设备制造业是采矿和油气田机械制造业的 subAttribute
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