TreeView Knowledge Base Browser - ConstructionTransportationMiningAndForestryMachineryAndEquipmentRentalAndLeasing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 9809-9813
No TPTP formula. May not be expressible in strict first order.	naics.kif 9807-9807	建筑运输采矿和林业机械设备租赁和租赁是商业和工业机械设备租赁和租赁的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 9815-9815	商业航空铁路和水上运输设备租赁和租赁是建筑运输采矿和林业机械设备租赁和租赁的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 9824-9824	建筑采矿和林业机械设备租赁和租赁是建筑运输采矿和林业机械设备租赁和租赁的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16818-16818
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16817-16817
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16816-16816