Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - industryProductType
industryProductType

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 Le nombre 1 argument de industryProductType est une instance de IndustryAttribute
(domainSubclass industryProductType 2 Object) Economy.kif 1601-1601 Le nombre 2 argument de industryProductType est une sous-classe de objet
(instance industryProductType BinaryPredicate) Economy.kif 1599-1599 industryProductType est une instance de pr�dicat binaire

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

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 AircraftManufacturing and Aircraft
(industryProductType AluminaRefining Alumina) Economy.kif 1701-1701 industryProductType AluminaRefining and Alumina
(industryProductType AsphaltPavingRoofingAndSaturatedMaterialsManufacturing Asphalt) Economy.kif 1846-1846 industryProductType AsphaltPavingRoofingAndSaturatedMaterialsManufacturing and Asphalt
(industryProductType AutomobileManufacturing Automobile) Economy.kif 1705-1705 industryProductType AutomobileManufacturing and Automobile
(industryProductType BarleyFarming BarleyGrain) Economy.kif 6174-6174 industryProductType BarleyFarming and BarleyGrain
(industryProductType CattleRanchingAndFarming Cattle) Economy.kif 6203-6203 industryProductType CattleRanchingAndFarming and Cattle
(industryProductType CementManufacturing Cement) Economy.kif 1708-1708 industryProductType CementManufacturing and Cement
(industryProductType CerealGrainFarming CerealGrain) Economy.kif 6156-6156 industryProductType CerealGrainFarming and CerealGrain
(industryProductType CoalMining Coal) Economy.kif 1716-1716 industryProductType CoalMining and Coal
(industryProductType ConcretePipeBrickAndBlockManufacturing Concrete) Economy.kif 5896-5896 industryProductType ConcretePipeBrickAndBlockManufacturing and Concrete
(industryProductType CopperOreMining CopperOre) Economy.kif 1729-1729 industryProductType CopperOreMining and CopperOre
(industryProductType CornFarming MaizeGrain) Economy.kif 6162-6162 industryProductType CornFarming and MaizeGrain
(industryProductType CottonFarming Cotton) Economy.kif 6209-6209 industryProductType CottonFarming and Cotton
(industryProductType CrudePetroleumExtraction Petroleum) Economy.kif 1843-1843 industryProductType CrudePetroleumExtraction and Petroleum
(industryProductType ElectricalPowerGeneration Electricity) Economy.kif 5725-5725 industryProductType ElectricalPowerGeneration and Electricity
(industryProductType FabricMills Fabric) Economy.kif 1886-1886 industryProductType FabricMills and textile
(industryProductType FertilizerMineralMining Fertilizer) Economy.kif 1741-1741 industryProductType FertilizerMineralMining and Fertilizer
(industryProductType FoodManufacturing
    (FoodForFn Animal))
Economy.kif 1744-1744 industryProductType FoodManufacturing and FoodForFn animal
(industryProductType FootwearManufacturing Shoe) Economy.kif 1749-1749 industryProductType FootwearManufacturing and Shoe
(industryProductType ForestryAndLogging Timber) Economy.kif 1779-1779 industryProductType ForestryAndLogging and Timber
(industryProductType FruitFarming Fruit) Economy.kif 6193-6193 industryProductType FruitFarming and Fruit
(industryProductType FurnitureManufacturing Furniture) Economy.kif 1756-1756 industryProductType FurnitureManufacturing and Furniture
(industryProductType GoatFarming Goat) Economy.kif 6205-6205 industryProductType GoatFarming and Goat
(industryProductType HogAndPigFarming Pork) Economy.kif 6206-6206 industryProductType HogAndPigFarming and Pork
(industryProductType IndustrialSandMining Sand) Economy.kif 1805-1805 industryProductType IndustrialSandMining and Sand

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