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 1728-1730
(domain industryProductType 1 IndustryAttribute) Economy.kif 1725-1725 行业产品类型 的 1 数量 是 行业属性instance
(domainSubclass industryProductType 2 Object) Economy.kif 1726-1726 行业产品类型 的 2 数量 是 客体subclass
(instance industryProductType BinaryPredicate) Economy.kif 1724-1724 行业产品类型二元谓语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 29928-29928
(termFormat ChineseTraditionalLanguage industryProductType "行業產品類型") domainEnglishFormat.kif 29927-29927
(termFormat EnglishLanguage industryProductType "industry product type") domainEnglishFormat.kif 29926-29926

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


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

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


(industryProductType AircraftManufacturing Aircraft) Economy.kif 1823-1823 飞机飞机制造业industry 产品类别
(industryProductType AluminaRefining Alumina) Economy.kif 1826-1826 矾土氧化铝精炼industry 产品类别
(industryProductType AsphaltPavingRoofingAndSaturatedMaterialsManufacturing Asphalt) Economy.kif 1971-1971 沥青沥青铺设屋面和饱和材料制造industry 产品类别
(industryProductType AutomobileManufacturing Automobile) Economy.kif 1830-1830 汽车汽车制造业industry 产品类别
(industryProductType BarleyFarming BarleyGrain) Economy.kif 6572-6572 大麦籽粒大麦种植industry 产品类别
(industryProductType CattleRanchingAndFarming Cattle) Economy.kif 6601-6601 养牛和养殖industry 产品类别
(industryProductType CementManufacturing Cement) Economy.kif 1833-1833 水泥水泥制造业industry 产品类别
(industryProductType CerealGrainFarming CerealGrain) Economy.kif 6554-6554 谷物谷物种植industry 产品类别
(industryProductType CoalMining Coal) Economy.kif 1841-1841 采煤industry 产品类别
(industryProductType ConcretePipeBrickAndBlockManufacturing Concrete) Economy.kif 6294-6294 具体混凝土管砖和砌块制造industry 产品类别
(industryProductType CopperOreMining CopperOre) Economy.kif 1854-1854 铜矿铜矿开采industry 产品类别
(industryProductType CornFarming MaizeGrain) Economy.kif 6560-6560 玉米粒玉米种植industry 产品类别
(industryProductType CottonFarming Cotton) Economy.kif 6607-6607 棉花种植industry 产品类别
(industryProductType CrudePetroleumExtraction Petroleum) Economy.kif 1968-1968 石油原油开采industry 产品类别
(industryProductType ElectricalPowerGeneration Electricity) Economy.kif 6067-6067 电力发电industry 产品类别
(industryProductType FabricMills Fabric) Economy.kif 2011-2011 织品织物厂industry 产品类别
(industryProductType FertilizerMineralMining Fertilizer) Economy.kif 1866-1866 肥料化肥矿产开采industry 产品类别
(industryProductType FoodManufacturing
    (FoodForFn Animal))
Economy.kif 1869-1869 Food for 动物食品制造业industry 产品类别
(industryProductType FootwearManufacturing Shoe) Economy.kif 1874-1874 鞋类制造业industry 产品类别
(industryProductType ForestryAndLogging Timber) Economy.kif 1904-1904 原木材林业和伐木业industry 产品类别
(industryProductType FruitFarming Fruit) Economy.kif 6591-6591 水果水果种植industry 产品类别
(industryProductType FurnitureManufacturing Furniture) Economy.kif 1881-1881 家具家具制造业industry 产品类别
(industryProductType GoatFarming Goat) Economy.kif 6603-6603 山羊山羊养殖industry 产品类别
(industryProductType HogAndPigFarming Pork) Economy.kif 6604-6604 猪肉生猪和养猪industry 产品类别
(industryProductType IndustrialSandMining Sand) Economy.kif 1930-1930 工业采砂industry 产品类别

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