|
|
  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 e' um sub-atributo de MeanOfProduction |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5792-5792 | IndustrialMachineryAndEquipmentWholesalers e' relacionado internamente por SUMO a IndustrialSupply |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5791-5791 | IndustrialMachineryManufacturing e' relacionado internamente por SUMO a IndustrialSupply |
| 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. | Economy.kif 5795-5795 | Machinery e' um sub-atributo 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 |
|
|
|