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 1607-1609
(domain industryProductType 1 IndustryAttribute) Economy.kif 1604-1604 domain industryProductType, 1 and IndustryAttribute
(domainSubclass industryProductType 2 Object) Economy.kif 1605-1605 domainSubclass industryProductType, 2 and Object
(instance industryProductType BinaryPredicate) Economy.kif 1603-1603 instance industryProductType and BinaryPredicate

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

antecedent
-------------------------


(=>
    (and
        (industryProductType ?INDUSTRY ?TYPE)
        (instance ?INDUSTRY IndustryAttribute)
        (instance ?BUSINESS Organization)
        (attribute ?BUSINESS ?INDUSTRY))
    (organizationProductType ?BUSINESS ?TYPE))
Economy.kif 1637-1643
(=>
    (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 1611-1621

appearance as argument number 0
-------------------------


(industryProductType AircraftManufacturing Aircraft) Economy.kif 1702-1702 industryProductType AircraftManufacturing and Aircraft
(industryProductType AluminaRefining Alumina) Economy.kif 1705-1705 industryProductType AluminaRefining and Alumina
(industryProductType AsphaltPavingRoofingAndSaturatedMaterialsManufacturing Asphalt) Economy.kif 1850-1850 industryProductType AsphaltPavingRoofingAndSaturatedMaterialsManufacturing and Asphalt
(industryProductType AutomobileManufacturing Automobile) Economy.kif 1709-1709 industryProductType AutomobileManufacturing and Automobile
(industryProductType BarleyFarming BarleyGrain) Economy.kif 5054-5054 industryProductType BarleyFarming and BarleyGrain
(industryProductType CattleRanchingAndFarming Cattle) Economy.kif 5083-5083 industryProductType CattleRanchingAndFarming and Cattle
(industryProductType CementManufacturing Cement) Economy.kif 1712-1712 industryProductType CementManufacturing and Cement
(industryProductType CerealGrainFarming CerealGrain) Economy.kif 5036-5036 industryProductType CerealGrainFarming and CerealGrain
(industryProductType CoalMining Coal) Economy.kif 1720-1720 industryProductType CoalMining and Coal
(industryProductType ConcretePipeBrickAndBlockManufacturing Concrete) Economy.kif 4781-4781 industryProductType ConcretePipeBrickAndBlockManufacturing and Concrete
(industryProductType CopperOreMining CopperOre) Economy.kif 1733-1733 industryProductType CopperOreMining and CopperOre
(industryProductType CornFarming MaizeGrain) Economy.kif 5042-5042 industryProductType CornFarming and MaizeGrain
(industryProductType CottonFarming Cotton) Economy.kif 5089-5089 industryProductType CottonFarming and Cotton
(industryProductType CrudePetroleumExtraction Petroleum) Economy.kif 1847-1847 industryProductType CrudePetroleumExtraction and Petroleum
(industryProductType ElectricalPowerGeneration Electricity) Economy.kif 4610-4610 industryProductType ElectricalPowerGeneration and Electricity
(industryProductType FabricMills Fabric) Economy.kif 1890-1890 industryProductType FabricMills and Fabric
(industryProductType FertilizerMineralMining Fertilizer) Economy.kif 1745-1745 industryProductType FertilizerMineralMining and Fertilizer
(industryProductType FoodManufacturing
    (FoodForFn Animal))
Economy.kif 1748-1748 industryProductType FoodManufacturing and FoodForFn Animal
(industryProductType FootwearManufacturing Shoe) Economy.kif 1753-1753 industryProductType FootwearManufacturing and Shoe
(industryProductType ForestryAndLogging Timber) Economy.kif 1783-1783 industryProductType ForestryAndLogging and Timber
(industryProductType FruitFarming Fruit) Economy.kif 5073-5073 industryProductType FruitFarming and Fruit
(industryProductType FurnitureManufacturing Furniture) Economy.kif 1760-1760 industryProductType FurnitureManufacturing and Furniture
(industryProductType GoatFarming Goat) Economy.kif 5085-5085 industryProductType GoatFarming and Goat
(industryProductType HogAndPigFarming Pork) Economy.kif 5086-5086 industryProductType HogAndPigFarming and Pork
(industryProductType IndustrialSandMining Sand) Economy.kif 1809-1809 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners