industryProductType - Sigma Knowledge base Browser

appearance as argument number 1

(documentation industryProductType EnglishLanguage "(industryProductType ?INDUSTRY ?TYPE) means that organizations with the IndustryAttribute ?INDUSTRY produce products of the kind ?TYPE.")	Economy.kif 1603-1605
(domain industryProductType 1 IndustryAttribute)	Economy.kif 1600-1600
(domainSubclass industryProductType 2 Object)	Economy.kif 1601-1601
(instance industryProductType BinaryPredicate)	Economy.kif 1599-1599

appearance as argument number 2

(format ChineseLanguage industryProductType "%2 %n 是 %1 的 industry 产品类别")	domainEnglishFormat.kif 1321-1321
(format ChineseTraditionalLanguage industryProductType "%2 %n 是 %1 的 industry 產品類別")	domainEnglishFormat.kif 1320-1320
(format EnglishLanguage industryProductType "%2 is %n an industry product type of %1")	domainEnglishFormat.kif 1319-1319
(termFormat ChineseLanguage industryProductType "行业产品类型")	domainEnglishFormat.kif 29923-29923
(termFormat ChineseTraditionalLanguage industryProductType "行業產品類型")	domainEnglishFormat.kif 29922-29922
(termFormat EnglishLanguage industryProductType "industry product type")	domainEnglishFormat.kif 29921-29921

antecedent

(=> (and (industryProductType ?INDUSTRY ?TYPE) (instance ?INDUSTRY IndustryAttribute) (instance ?BUSINESS Organization) (attribute ?BUSINESS ?INDUSTRY)) (organizationProductType ?BUSINESS ?TYPE))	Economy.kif 1633-1639
(=> (and (instance ?ORG Organization) (attribute ?ORG ?INDUSTRY) (industryProductType ?INDUSTRY ?TYPE)) (exists (?EVENT ?ITEM) (and (instance ?EVENT Making) (instance ?ITEM ?TYPE) (agent ?EVENT ?ORG) (result ?EVENT ?ITEM))))	Economy.kif 1607-1617

appearance as argument number 0

(industryProductType AircraftManufacturing Aircraft)	Economy.kif 1698-1698
(industryProductType AluminaRefining Alumina)	Economy.kif 1701-1701
(industryProductType AsphaltPavingRoofingAndSaturatedMaterialsManufacturing Asphalt)	Economy.kif 1846-1846
(industryProductType AutomobileManufacturing Automobile)	Economy.kif 1705-1705
(industryProductType BarleyFarming BarleyGrain)	Economy.kif 6172-6172
(industryProductType CattleRanchingAndFarming Cattle)	Economy.kif 6201-6201
(industryProductType CementManufacturing Cement)	Economy.kif 1708-1708
(industryProductType CerealGrainFarming CerealGrain)	Economy.kif 6154-6154
(industryProductType CoalMining Coal)	Economy.kif 1716-1716
(industryProductType ConcretePipeBrickAndBlockManufacturing Concrete)	Economy.kif 5896-5896
(industryProductType CopperOreMining CopperOre)	Economy.kif 1729-1729
(industryProductType CornFarming MaizeGrain)	Economy.kif 6160-6160
(industryProductType CottonFarming Cotton)	Economy.kif 6207-6207
(industryProductType CrudePetroleumExtraction Petroleum)	Economy.kif 1843-1843
(industryProductType ElectricalPowerGeneration Electricity)	Economy.kif 5725-5725
(industryProductType FabricMills Fabric)	Economy.kif 1886-1886
(industryProductType FertilizerMineralMining Fertilizer)	Economy.kif 1741-1741
(industryProductType FoodManufacturing (FoodForFn Animal))	Economy.kif 1744-1744
(industryProductType FootwearManufacturing Shoe)	Economy.kif 1749-1749
(industryProductType ForestryAndLogging Timber)	Economy.kif 1779-1779
(industryProductType FruitFarming Fruit)	Economy.kif 6191-6191
(industryProductType FurnitureManufacturing Furniture)	Economy.kif 1756-1756
(industryProductType GoatFarming Goat)	Economy.kif 6203-6203
(industryProductType HogAndPigFarming Pork)	Economy.kif 6204-6204
(industryProductType IndustrialSandMining Sand)	Economy.kif 1805-1805

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: