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
(domainSubclass industryProductType 2 Object) Economy.kif 1726-1726
(instance industryProductType BinaryPredicate) Economy.kif 1724-1724

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

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
(industryProductType AluminaRefining Alumina) Economy.kif 1826-1826
(industryProductType AsphaltPavingRoofingAndSaturatedMaterialsManufacturing Asphalt) Economy.kif 1971-1971
(industryProductType AutomobileManufacturing Automobile) Economy.kif 1830-1830
(industryProductType BarleyFarming BarleyGrain) Economy.kif 6565-6565
(industryProductType CattleRanchingAndFarming Cattle) Economy.kif 6594-6594
(industryProductType CementManufacturing Cement) Economy.kif 1833-1833
(industryProductType CerealGrainFarming CerealGrain) Economy.kif 6547-6547
(industryProductType CoalMining Coal) Economy.kif 1841-1841
(industryProductType ConcretePipeBrickAndBlockManufacturing Concrete) Economy.kif 6287-6287
(industryProductType CopperOreMining CopperOre) Economy.kif 1854-1854
(industryProductType CornFarming MaizeGrain) Economy.kif 6553-6553
(industryProductType CottonFarming Cotton) Economy.kif 6600-6600
(industryProductType CrudePetroleumExtraction Petroleum) Economy.kif 1968-1968
(industryProductType ElectricalPowerGeneration Electricity) Economy.kif 6060-6060
(industryProductType FabricMills Fabric) Economy.kif 2011-2011
(industryProductType FertilizerMineralMining Fertilizer) Economy.kif 1866-1866
(industryProductType FoodManufacturing
    (FoodForFn Animal))
Economy.kif 1869-1869
(industryProductType FootwearManufacturing Shoe) Economy.kif 1874-1874
(industryProductType ForestryAndLogging Timber) Economy.kif 1904-1904
(industryProductType FruitFarming Fruit) Economy.kif 6584-6584
(industryProductType FurnitureManufacturing Furniture) Economy.kif 1881-1881
(industryProductType GoatFarming Goat) Economy.kif 6596-6596
(industryProductType HogAndPigFarming Pork) Economy.kif 6597-6597
(industryProductType IndustrialSandMining Sand) Economy.kif 1930-1930

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