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 1614-1616
(domain industryProductType 1 IndustryAttribute) Economy.kif 1611-1611
(domainSubclass industryProductType 2 Object) Economy.kif 1612-1612
(instance industryProductType BinaryPredicate) Economy.kif 1610-1610

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

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


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

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


(industryProductType AircraftManufacturing Aircraft) Economy.kif 1709-1709
(industryProductType AluminaRefining Alumina) Economy.kif 1712-1712
(industryProductType AsphaltPavingRoofingAndSaturatedMaterialsManufacturing Asphalt) Economy.kif 1857-1857
(industryProductType AutomobileManufacturing Automobile) Economy.kif 1716-1716
(industryProductType BarleyFarming BarleyGrain) Economy.kif 5215-5215
(industryProductType CattleRanchingAndFarming Cattle) Economy.kif 5244-5244
(industryProductType CementManufacturing Cement) Economy.kif 1719-1719
(industryProductType CerealGrainFarming CerealGrain) Economy.kif 5197-5197
(industryProductType CoalMining Coal) Economy.kif 1727-1727
(industryProductType ConcretePipeBrickAndBlockManufacturing Concrete) Economy.kif 4939-4939
(industryProductType CopperOreMining CopperOre) Economy.kif 1740-1740
(industryProductType CornFarming MaizeGrain) Economy.kif 5203-5203
(industryProductType CottonFarming Cotton) Economy.kif 5250-5250
(industryProductType CrudePetroleumExtraction Petroleum) Economy.kif 1854-1854
(industryProductType ElectricalPowerGeneration Electricity) Economy.kif 4768-4768
(industryProductType FabricMills Fabric) Economy.kif 1897-1897
(industryProductType FertilizerMineralMining Fertilizer) Economy.kif 1752-1752
(industryProductType FoodManufacturing
    (FoodForFn Animal))
Economy.kif 1755-1755
(industryProductType FootwearManufacturing Shoe) Economy.kif 1760-1760
(industryProductType ForestryAndLogging Timber) Economy.kif 1790-1790
(industryProductType FruitFarming Fruit) Economy.kif 5234-5234
(industryProductType FurnitureManufacturing Furniture) Economy.kif 1767-1767
(industryProductType GoatFarming Goat) Economy.kif 5246-5246
(industryProductType HogAndPigFarming Pork) Economy.kif 5247-5247
(industryProductType IndustrialSandMining Sand) Economy.kif 1816-1816

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