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 1728-1730
(domain industryProductType 1 IndustryAttribute)	Economy.kif 1725-1725	The number 1 argument of industry product type is an instance of industry attribute
(domainSubclass industryProductType 2 Object)	Economy.kif 1726-1726	The number 2 argument of industry product type is a subclass of object
(instance industryProductType BinaryPredicate)	Economy.kif 1724-1724	industry product type is an instance of binary predicate

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 29945-29945
(termFormat ChineseTraditionalLanguage industryProductType "行業產品類型")	domainEnglishFormat.kif 29944-29944
(termFormat EnglishLanguage industryProductType "industry product type")	domainEnglishFormat.kif 29943-29943

antecedent

(=> (and (industryProductType ?INDUSTRY ?TYPE) (instance ?INDUSTRY IndustryAttribute) (instance ?BUSINESS Organization) (attribute ?BUSINESS ?INDUSTRY)) (organizationProductType ?BUSINESS ?TYPE))	Economy.kif 1758-1764	If a kind of object is an industry product type of an industry attribute and the industry attribute is an instance of industry attribute and an organization is an instance of organization and the industry attribute is an attribute of the organization, then a kind of object is an organization product type of the organization
(=> (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 1732-1742	If an agent is an instance of organization and an industry attribute is an attribute of the agent and a kind of object is an industry product type of the industry attribute, then there exist a process and an entity such that the process is an instance of making and the entity is an instance of a kind of object and the agent is an agent of the process and the entity is a result of the process

appearance as argument number 0

(industryProductType AircraftManufacturing Aircraft)	Economy.kif 1823-1823	Aircraft is an industry product type of aircraft manufacturing
(industryProductType AluminaRefining Alumina)	Economy.kif 1826-1826	Alumina is an industry product type of alumina refining
(industryProductType AsphaltPavingRoofingAndSaturatedMaterialsManufacturing Asphalt)	Economy.kif 1971-1971	Asphalt is an industry product type of asphalt paving roofing and saturated materials manufacturing
(industryProductType AutomobileManufacturing Automobile)	Economy.kif 1830-1830	Automobile is an industry product type of automobile manufacturing
(industryProductType BarleyFarming BarleyGrain)	Economy.kif 6572-6572	Barley grain is an industry product type of barley farming
(industryProductType CattleRanchingAndFarming Cattle)	Economy.kif 6601-6601	Cattle is an industry product type of cattle ranching and farming
(industryProductType CementManufacturing Cement)	Economy.kif 1833-1833	Cement is an industry product type of cement manufacturing
(industryProductType CerealGrainFarming CerealGrain)	Economy.kif 6554-6554	Cereal grain is an industry product type of cereal grain farming
(industryProductType CoalMining Coal)	Economy.kif 1841-1841	Coal is an industry product type of coal mining
(industryProductType ConcretePipeBrickAndBlockManufacturing Concrete)	Economy.kif 6294-6294	Concrete is an industry product type of concrete pipe brick and block manufacturing
(industryProductType CopperOreMining CopperOre)	Economy.kif 1854-1854	Copper ore is an industry product type of copper ore mining
(industryProductType CornFarming MaizeGrain)	Economy.kif 6560-6560	Maize grain is an industry product type of corn farming
(industryProductType CottonFarming Cotton)	Economy.kif 6607-6607	Cotton is an industry product type of cotton farming
(industryProductType CrudePetroleumExtraction Petroleum)	Economy.kif 1968-1968	Petroleum is an industry product type of crude petroleum extraction
(industryProductType ElectricalPowerGeneration Electricity)	Economy.kif 6067-6067	Electricity is an industry product type of electrical power generation
(industryProductType FabricMills Fabric)	Economy.kif 2011-2011	Fabric is an industry product type of fabric mills
(industryProductType FertilizerMineralMining Fertilizer)	Economy.kif 1866-1866	Fertilizer is an industry product type of fertilizer mineral mining
(industryProductType FoodManufacturing (FoodForFn Animal))	Economy.kif 1869-1869	Food for animal is an industry product type of food manufacturing
(industryProductType FootwearManufacturing Shoe)	Economy.kif 1874-1874	Shoe is an industry product type of footwear manufacturing
(industryProductType ForestryAndLogging Timber)	Economy.kif 1904-1904	Timber is an industry product type of forestry and logging
(industryProductType FruitFarming Fruit)	Economy.kif 6591-6591	Fruit is an industry product type of fruit farming
(industryProductType FurnitureManufacturing Furniture)	Economy.kif 1881-1881	Furniture is an industry product type of furniture manufacturing
(industryProductType GoatFarming Goat)	Economy.kif 6603-6603	Goat is an industry product type of goat farming
(industryProductType HogAndPigFarming Pork)	Economy.kif 6604-6604	Pork is an industry product type of hog and pig farming
(industryProductType IndustrialSandMining Sand)	Economy.kif 1930-1930	Sand is an industry product type of industrial sand mining

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: