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

Formal Language: 



KB Term:  Term intersection
English Word: 

  industryProductType

 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 行业产品类型 的 1 数量 是 行业属性 的 instance
(domainSubclass industryProductType 2 Object) Economy.kif 1601-1601 行业产品类型 的 2 数量 是 客体 的 subclass
(instance industryProductType BinaryPredicate) Economy.kif 1599-1599 行业产品类型 是 二元谓语 的 instance

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 飞机 是 飞机制造业 的 industry 产品类别
(industryProductType AluminaRefining Alumina) Economy.kif 1701-1701 矾土 是 氧化铝精炼 的 industry 产品类别
(industryProductType AsphaltPavingRoofingAndSaturatedMaterialsManufacturing Asphalt) Economy.kif 1846-1846 沥青 是 沥青铺设屋面和饱和材料制造 的 industry 产品类别
(industryProductType AutomobileManufacturing Automobile) Economy.kif 1705-1705 汽车 是 汽车制造业 的 industry 产品类别
(industryProductType BarleyFarming BarleyGrain) Economy.kif 6174-6174 大麦籽粒 是 大麦种植 的 industry 产品类别
(industryProductType CattleRanchingAndFarming Cattle) Economy.kif 6203-6203 牛 是 养牛和养殖 的 industry 产品类别
(industryProductType CementManufacturing Cement) Economy.kif 1708-1708 水泥 是 水泥制造业 的 industry 产品类别
(industryProductType CerealGrainFarming CerealGrain) Economy.kif 6156-6156 谷物 是 谷物种植 的 industry 产品类别
(industryProductType CoalMining Coal) Economy.kif 1716-1716 煤 是 采煤 的 industry 产品类别
(industryProductType ConcretePipeBrickAndBlockManufacturing Concrete) Economy.kif 5896-5896 具体 是 混凝土管砖和砌块制造 的 industry 产品类别
(industryProductType CopperOreMining CopperOre) Economy.kif 1729-1729 铜矿 是 铜矿开采 的 industry 产品类别
(industryProductType CornFarming MaizeGrain) Economy.kif 6162-6162 玉米粒 是 玉米种植 的 industry 产品类别
(industryProductType CottonFarming Cotton) Economy.kif 6209-6209 棉 是 棉花种植 的 industry 产品类别
(industryProductType CrudePetroleumExtraction Petroleum) Economy.kif 1843-1843 石油 是 原油开采 的 industry 产品类别
(industryProductType ElectricalPowerGeneration Electricity) Economy.kif 5725-5725 电力 是 发电 的 industry 产品类别
(industryProductType FabricMills Fabric) Economy.kif 1886-1886 织品 是 织物厂 的 industry 产品类别
(industryProductType FertilizerMineralMining Fertilizer) Economy.kif 1741-1741 肥料 是 化肥矿产开采 的 industry 产品类别
(industryProductType FoodManufacturing
    (FoodForFn Animal))		 Economy.kif 1744-1744 Food for 动物 是 食品制造业 的 industry 产品类别
(industryProductType FootwearManufacturing Shoe) Economy.kif 1749-1749 鞋 是 鞋类制造业 的 industry 产品类别
(industryProductType ForestryAndLogging Timber) Economy.kif 1779-1779 原木材 是 林业和伐木业 的 industry 产品类别
(industryProductType FruitFarming Fruit) Economy.kif 6193-6193 水果 是 水果种植 的 industry 产品类别
(industryProductType FurnitureManufacturing Furniture) Economy.kif 1756-1756 家具 是 家具制造业 的 industry 产品类别
(industryProductType GoatFarming Goat) Economy.kif 6205-6205 山羊 是 山羊养殖 的 industry 产品类别
(industryProductType HogAndPigFarming Pork) Economy.kif 6206-6206 猪肉 是 生猪和养猪 的 industry 产品类别
(industryProductType IndustrialSandMining Sand) Economy.kif 1805-1805 砂 是 工业采砂 的 industry 产品类别

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)

Show without tree


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