|
|
   IndustryAttribute
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 23-25 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 21-21 | IndustryAttribute e' uma sub-classe de Atributo Relacional |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 11553-11553 | AccommodationAndFoodServices e' uma instancia de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 10298-10298 | AdministrativeAndSupportAndWasteManagementAndRemediationServices e' uma instancia de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1142-1142 | AgriculturalSector e' uma instancia de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 44-44 | AgricultureForestryFishingAndHunting e' uma instancia de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 7947-7947 | AirTransportationIndustry e' uma instancia de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 2188-2188 | ApparelManufacturing e' uma instancia de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 11264-11264 | ArtsEntertainmentAndRecreation e' uma instancia de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6171-6171 | BarleyFarming e' uma instancia de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 1824-1824 | BeverageAndTobaccoProductManufacturing e' uma instancia de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 7235-7235 | BuildingMaterialAndGardenEquipmentAndSuppliesDealers e' uma instancia de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6154-6154 | CerealGrainFarming e' uma instancia de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3119-3119 | ChemicalManufacturing e' uma instancia de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30992-30992 | CivilProductAttribute e' uma instancia de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 7500-7500 | ClothingAndClothingAccessoriesStores e' uma instancia de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1713-1713 | CoalIndustry e' uma instancia de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 5120-5120 | ComputerAndElectronicProductManufacturing e' uma instancia de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 1074-1074 | Construction e' uma instancia de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1721-1721 | ConsumerGoodsIndustry e' uma instancia de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1724-1724 | CopperIndustry e' uma instancia de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8729-8729 | CouriersAndMessengers e' uma instancia de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 10727-10727 | EducationalServices e' uma instancia de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 5414-5414 | ElectricalEquipmentApplianceAndComponentManufacturing e' uma instancia de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 7179-7179 | ElectronicsAndApplianceStores e' uma instancia de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 4219-4219 | FabricatedMetalProductManufacturing e' uma instancia de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1737-1737 | FertilizerIndustry e' uma instancia de IndustryAttribute |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1579-1579 | O argumento numero 2 de industryOfArea e' uma instancia de IndustryAttribute |
| 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 1587-1587 | O argumento numero 2 de industryRankByOutput e' uma instancia de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1642-1642 | O argumento numero 1 de industryServiceType e' uma instancia de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1074-1074 | O argumento numero 2 de sectorCompositionOfGDP e' uma instancia de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1057-1057 | O argumento numero 2 de sectorCompositionOfGDPInPeriod e' uma instancia de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1120-1120 | O argumento numero 2 de sectorValueOfGDP e' uma instancia de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1096-1096 | O argumento numero 2 de sectorValueOfGDPInPeriod e' uma instancia de IndustryAttribute |
| 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 1673-1679 | |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1882-1886 |
|
|
|
|