TreeView Knowledge Base Browser - industryProductType

appearance as argument number 1

(instance industryProductType BinaryPredicate)	Economy.kif 1719-1719	industry product type is an instance of binary predicate
(domain industryProductType 1 IndustryAttribute)	Economy.kif 1720-1720	The number 1 argument of industry product type is an instance of industry attribute
(domainSubclass industryProductType 2 Object)	Economy.kif 1721-1721	The number 2 argument of industry product type is a subclass of object
(documentation industryProductType EnglishLanguage "(industryProductType ?INDUSTRY ?TYPE) means that organizations with the IndustryAttribute ?INDUSTRY produce products of the kind ?TYPE.")	Economy.kif 1723-1725	The number 2 argument of industry product type is a subclass of object

appearance as argument number 2

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

antecedent

(=> (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 1727-1737	If X is an instance of organization, Y is an attribute of X, and Z is an industry product type of Y, then there exist W, V such that W is an instance of making, V is an instance of Z, X is an agent of W, and V is a result of W
(=> (and (industryProductType ?INDUSTRY ?TYPE) (instance ?INDUSTRY IndustryAttribute) (instance ?BUSINESS Organization) (attribute ?BUSINESS ?INDUSTRY)) (organizationProductType ?BUSINESS ?TYPE))	Economy.kif 1753-1759	If X is an industry product type of Y, Y is an instance of industry attribute, Z is an instance of organization, and Y is an attribute of Z, then X is an organization product type of Z

appearance as argument number 0

(industryProductType AircraftManufacturing Aircraft)	Economy.kif 1818-1818	Aircraft is an industry product type of aircraft manufacturing
(industryProductType AluminaRefining Alumina)	Economy.kif 1821-1821	Alumina is an industry product type of alumina refining
(industryProductType AutomobileManufacturing Automobile)	Economy.kif 1825-1825	Automobile is an industry product type of automobile manufacturing
(industryProductType CementManufacturing Cement)	Economy.kif 1828-1828	Cement is an industry product type of cement manufacturing
(industryProductType CoalMining Coal)	Economy.kif 1836-1836	Coal is an industry product type of coal mining
(industryProductType CopperOreMining CopperOre)	Economy.kif 1849-1849	Copper ore is an industry product type of copper ore mining
(industryProductType FertilizerMineralMining Fertilizer)	Economy.kif 1861-1861	Fertilizer is an industry product type of fertilizer mineral mining
(industryProductType FoodManufacturing (FoodForFn Animal))	Economy.kif 1864-1864	Food for animal is an industry product type of food manufacturing
(industryProductType FootwearManufacturing Shoe)	Economy.kif 1869-1869	Shoe is an industry product type of footwear manufacturing
(industryProductType FurnitureManufacturing Furniture)	Economy.kif 1876-1876	Furniture is an industry product type of furniture manufacturing
(industryProductType LeadOreMining LeadOre)	Economy.kif 1888-1888	Lead ore is an industry product type of lead ore mining
(industryProductType ForestryAndLogging Timber)	Economy.kif 1899-1899	Timber is an industry product type of forestry and logging
(industryProductType MachineryManufacturing Machine)	Economy.kif 1904-1904	Machine is an industry product type of machinery manufacturing
(industryProductType MetallurgyIndustry Metal)	Economy.kif 1908-1908	Metal is an industry product type of metallurgy industry
(industryProductType IndustrialSandMining Sand)	Economy.kif 1925-1925	Sand is an industry product type of industrial sand mining
(industryProductType IronOreMining IronOre)	Economy.kif 1926-1926	Iron ore is an industry product type of iron ore mining
(industryProductType KaolinAndBallClayMining Clay)	Economy.kif 1927-1927	Clay is an industry product type of kaolin and ball clay mining
(industryProductType NickelOreMining NickelOre)	Economy.kif 1928-1928	Nickel ore is an industry product type of nickel ore mining
(industryProductType StoneMiningAndQuarrying Rock)	Economy.kif 1929-1929	Rock is an industry product type of stone mining and quarrying
(industryProductType MotorVehicleManufacturing RoadVehicle)	Economy.kif 1938-1938	Road vehicle is an industry product type of motor vehicle manufacturing
(industryProductType TruckTrailerManufacturing Wagon)	Economy.kif 1939-1939	Wagon is an industry product type of truck trailer manufacturing
(industryProductType NaturalGasIndustry NaturalGas)	Economy.kif 1946-1946	Natural gas is an industry product type of natural gas industry
(industryProductType CrudePetroleumExtraction Petroleum)	Economy.kif 1963-1963	Petroleum is an industry product type of crude petroleum extraction
(industryProductType PetroleumRefineries RefinedPetroleumProduct)	Economy.kif 1964-1964	Refined petroleum product is an industry product type of petroleum refineries
(industryProductType PetroleumLubricatingOilAndGreaseManufacturing PetroleumLubricant)	Economy.kif 1965-1965	Petroleum lubricant is an industry product type of petroleum lubricating oil and grease manufacturing

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: