|
|
  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 est reli� � l'int�rieur de SUMO � IndustrialSupply |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6640-6640 | MachineryEquipmentAndSuppliesWholesalers est un sous-attribut de WholesaleTradeDurableGoods |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6646-6646 | ConstructionAndMiningExceptOilWellMachineryAndEquipmentWholesalers est un sous-attribut de MachineryEquipmentAndSuppliesWholesalers |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6655-6655 | FarmAndGardenMachineryAndEquipmentWholesalers est un sous-attribut de MachineryEquipmentAndSuppliesWholesalers |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6663-6663 | IndustrialMachineryAndEquipmentWholesalers est un sous-attribut de MachineryEquipmentAndSuppliesWholesalers |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6670-6670 | IndustrialSuppliesWholesalers est un sous-attribut de MachineryEquipmentAndSuppliesWholesalers |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6677-6677 | ServiceEstablishmentEquipmentAndSuppliesWholesalers est un sous-attribut de MachineryEquipmentAndSuppliesWholesalers |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6686-6686 | TransportationEquipmentAndSuppliesExceptMotorVehicleWholesalers est un sous-attribut 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 |
|
|
|