industryProductType |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1603-1605 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1600-1600 | O argumento numero 1 de industryProductType e' uma instancia de IndustryAttribute |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1601-1601 | O argumento numero 2 de industryProductType e' uma sub-classe de Objeto |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1599-1599 | industryProductType e' uma instancia de Predicado Binario |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1321-1321 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1320-1320 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1319-1319 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29917-29917 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29916-29916 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29915-29915 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1633-1639 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1607-1617 |
|
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1698-1698 | industryProductType AircraftManufacturing and Aircraft |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1701-1701 | industryProductType AluminaRefining and Alumina |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1846-1846 | industryProductType AsphaltPavingRoofingAndSaturatedMaterialsManufacturing and Asphalt |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1705-1705 | industryProductType AutomobileManufacturing and Automobile |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6174-6174 | industryProductType BarleyFarming and BarleyGrain |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6203-6203 | industryProductType CattleRanchingAndFarming and Cattle |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1708-1708 | industryProductType CementManufacturing and Cement |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6156-6156 | industryProductType CerealGrainFarming and CerealGrain |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1716-1716 | industryProductType CoalMining and Coal |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5896-5896 | industryProductType ConcretePipeBrickAndBlockManufacturing and Concrete |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1729-1729 | industryProductType CopperOreMining and CopperOre |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6162-6162 | industryProductType CornFarming and MaizeGrain |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6209-6209 | industryProductType CottonFarming and Cotton |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1843-1843 | industryProductType CrudePetroleumExtraction and Petroleum |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5725-5725 | industryProductType ElectricalPowerGeneration and Electricity |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1886-1886 | industryProductType FabricMills and Tecido |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1741-1741 | industryProductType FertilizerMineralMining and Fertilizer |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1744-1744 | industryProductType FoodManufacturing and FoodForFn Animal |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1749-1749 | industryProductType FootwearManufacturing and Shoe |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1779-1779 | industryProductType ForestryAndLogging and Timber |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6193-6193 | industryProductType FruitFarming and Fruit |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1756-1756 | industryProductType FurnitureManufacturing and Furniture |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6205-6205 | industryProductType GoatFarming and Goat |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6206-6206 | industryProductType HogAndPigFarming and Pork |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1805-1805 | industryProductType IndustrialSandMining and Sand |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |