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
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 1603-1605
No TPTP formula. May not be expressible in strict first order. Economy.kif 1600-1600 Le nombre 1 argument de industryProductType est une instance de IndustryAttribute
No TPTP formula. May not be expressible in strict first order. Economy.kif 1601-1601 Le nombre 2 argument de industryProductType est une sous-classe de objet
No TPTP formula. May not be expressible in strict first order. Economy.kif 1599-1599 industryProductType est une instance de pr�dicat binaire

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1321-1321
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1320-1320
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1319-1319
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29917-29917
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29916-29916
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29915-29915

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1633-1639
No TPTP formula. May not be expressible in strict first order. Economy.kif 1607-1617

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1698-1698 industryProductType AircraftManufacturing and Aircraft
No TPTP formula. May not be expressible in strict first order. Economy.kif 1701-1701 industryProductType AluminaRefining and Alumina
No TPTP formula. May not be expressible in strict first order. Economy.kif 1846-1846 industryProductType AsphaltPavingRoofingAndSaturatedMaterialsManufacturing and Asphalt
No TPTP formula. May not be expressible in strict first order. Economy.kif 1705-1705 industryProductType AutomobileManufacturing and Automobile
No TPTP formula. May not be expressible in strict first order. Economy.kif 6174-6174 industryProductType BarleyFarming and BarleyGrain
No TPTP formula. May not be expressible in strict first order. Economy.kif 6203-6203 industryProductType CattleRanchingAndFarming and Cattle
No TPTP formula. May not be expressible in strict first order. Economy.kif 1708-1708 industryProductType CementManufacturing and Cement
No TPTP formula. May not be expressible in strict first order. Economy.kif 6156-6156 industryProductType CerealGrainFarming and CerealGrain
No TPTP formula. May not be expressible in strict first order. Economy.kif 1716-1716 industryProductType CoalMining and Coal
No TPTP formula. May not be expressible in strict first order. Economy.kif 5896-5896 industryProductType ConcretePipeBrickAndBlockManufacturing and Concrete
No TPTP formula. May not be expressible in strict first order. Economy.kif 1729-1729 industryProductType CopperOreMining and CopperOre
No TPTP formula. May not be expressible in strict first order. Economy.kif 6162-6162 industryProductType CornFarming and MaizeGrain
No TPTP formula. May not be expressible in strict first order. Economy.kif 6209-6209 industryProductType CottonFarming and Cotton
No TPTP formula. May not be expressible in strict first order. Economy.kif 1843-1843 industryProductType CrudePetroleumExtraction and Petroleum
No TPTP formula. May not be expressible in strict first order. Economy.kif 5725-5725 industryProductType ElectricalPowerGeneration and Electricity
No TPTP formula. May not be expressible in strict first order. Economy.kif 1886-1886 industryProductType FabricMills and textile
No TPTP formula. May not be expressible in strict first order. Economy.kif 1741-1741 industryProductType FertilizerMineralMining and Fertilizer
No TPTP formula. May not be expressible in strict first order. Economy.kif 1744-1744 industryProductType FoodManufacturing and FoodForFn animal
No TPTP formula. May not be expressible in strict first order. Economy.kif 1749-1749 industryProductType FootwearManufacturing and Shoe
No TPTP formula. May not be expressible in strict first order. Economy.kif 1779-1779 industryProductType ForestryAndLogging and Timber
No TPTP formula. May not be expressible in strict first order. Economy.kif 6193-6193 industryProductType FruitFarming and Fruit
No TPTP formula. May not be expressible in strict first order. Economy.kif 1756-1756 industryProductType FurnitureManufacturing and Furniture
No TPTP formula. May not be expressible in strict first order. Economy.kif 6205-6205 industryProductType GoatFarming and Goat
No TPTP formula. May not be expressible in strict first order. Economy.kif 6206-6206 industryProductType HogAndPigFarming and Pork
No TPTP formula. May not be expressible in strict first order. Economy.kif 1805-1805 industryProductType IndustrialSandMining and Sand

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