|
|
  MachineryEquipmentAndSuppliesWholesalers
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6642-6644 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5793-5793 | MachineryEquipmentAndSuppliesWholesalers e' relacionado internamente por SUMO a IndustrialSupply |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6640-6640 | MachineryEquipmentAndSuppliesWholesalers e' um sub-atributo de WholesaleTradeDurableGoods |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6646-6646 | ConstructionAndMiningExceptOilWellMachineryAndEquipmentWholesalers e' um sub-atributo de MachineryEquipmentAndSuppliesWholesalers |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6655-6655 | FarmAndGardenMachineryAndEquipmentWholesalers e' um sub-atributo de MachineryEquipmentAndSuppliesWholesalers |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6663-6663 | IndustrialMachineryAndEquipmentWholesalers e' um sub-atributo de MachineryEquipmentAndSuppliesWholesalers |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6670-6670 | IndustrialSuppliesWholesalers e' um sub-atributo de MachineryEquipmentAndSuppliesWholesalers |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6677-6677 | ServiceEstablishmentEquipmentAndSuppliesWholesalers e' um sub-atributo de MachineryEquipmentAndSuppliesWholesalers |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6686-6686 | TransportationEquipmentAndSuppliesExceptMotorVehicleWholesalers e' um sub-atributo de MachineryEquipmentAndSuppliesWholesalers |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35519-35519 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35518-35518 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35517-35517 |
|
|
|