IndustrialSupply |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5784-5789 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5783-5783 | IndustrialSupply est un sous-attribut de MeanOfProduction |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5792-5792 | IndustrialMachineryAndEquipmentWholesalers est reli� � l'int�rieur de SUMO � IndustrialSupply |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5791-5791 | IndustrialMachineryManufacturing est reli� � l'int�rieur de SUMO � IndustrialSupply |
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. | Economy.kif 5795-5795 | Machinery est un sous-attribut de IndustrialSupply |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29881-29881 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29880-29880 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29879-29879 |