|
|
   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 est une sous-classe de attribut relationnel |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 11553-11553 | AccommodationAndFoodServices est une instance de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 10298-10298 | AdministrativeAndSupportAndWasteManagementAndRemediationServices est une instance de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1142-1142 | AgriculturalSector est une instance de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 44-44 | AgricultureForestryFishingAndHunting est une instance de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 7947-7947 | AirTransportationIndustry est une instance de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 2188-2188 | ApparelManufacturing est une instance de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 11264-11264 | ArtsEntertainmentAndRecreation est une instance de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6171-6171 | BarleyFarming est une instance de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 1824-1824 | BeverageAndTobaccoProductManufacturing est une instance de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 7235-7235 | BuildingMaterialAndGardenEquipmentAndSuppliesDealers est une instance de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6154-6154 | CerealGrainFarming est une instance de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3119-3119 | ChemicalManufacturing est une instance de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30992-30992 | CivilProductAttribute est une instance de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 7500-7500 | ClothingAndClothingAccessoriesStores est une instance de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1713-1713 | CoalIndustry est une instance de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 5120-5120 | ComputerAndElectronicProductManufacturing est une instance de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 1074-1074 | Construction est une instance de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1721-1721 | ConsumerGoodsIndustry est une instance de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1724-1724 | CopperIndustry est une instance de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8729-8729 | CouriersAndMessengers est une instance de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 10727-10727 | EducationalServices est une instance de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 5414-5414 | ElectricalEquipmentApplianceAndComponentManufacturing est une instance de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 7179-7179 | ElectronicsAndApplianceStores est une instance de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 4219-4219 | FabricatedMetalProductManufacturing est une instance de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1737-1737 | FertilizerIndustry est une instance 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 | Le nombre 2 argument de industryOfArea est une instance de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1600-1600 | Le nombre 1 argument de industryProductType est une instance de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1587-1587 | Le nombre 2 argument de industryRankByOutput est une instance de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1642-1642 | Le nombre 1 argument de industryServiceType est une instance de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1074-1074 | Le nombre 2 argument de sectorCompositionOfGDP est une instance de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1057-1057 | Le nombre 2 argument de sectorCompositionOfGDPInPeriod est une instance de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1120-1120 | Le nombre 2 argument de sectorValueOfGDP est une instance de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1096-1096 | Le nombre 2 argument de sectorValueOfGDPInPeriod est une instance 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 |
|
|
|
|