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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1607-1609
No TPTP formula. May not be expressible in strict first order. Economy.kif 1604-1604 The number 1 argument of industry product type is an instance of industry attribute
No TPTP formula. May not be expressible in strict first order. Economy.kif 1605-1605 The number 2 argument of industry product type is a subclass of object
No TPTP formula. May not be expressible in strict first order. Economy.kif 1603-1603 industry product type is an instance of binary predicate

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 29836-29836
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29835-29835
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29834-29834

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1637-1643
No TPTP formula. May not be expressible in strict first order. Economy.kif 1611-1621

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1702-1702 Aircraft is an industry product type of aircraft manufacturing
No TPTP formula. May not be expressible in strict first order. Economy.kif 1705-1705 Alumina is an industry product type of alumina refining
No TPTP formula. May not be expressible in strict first order. Economy.kif 1850-1850 Asphalt is an industry product type of asphalt paving roofing and saturated materials manufacturing
No TPTP formula. May not be expressible in strict first order. Economy.kif 1709-1709 Automobile is an industry product type of automobile manufacturing
No TPTP formula. May not be expressible in strict first order. Economy.kif 5054-5054 Barley grain is an industry product type of barley farming
No TPTP formula. May not be expressible in strict first order. Economy.kif 5083-5083 Cattle is an industry product type of cattle ranching and farming
No TPTP formula. May not be expressible in strict first order. Economy.kif 1712-1712 Cement is an industry product type of cement manufacturing
No TPTP formula. May not be expressible in strict first order. Economy.kif 5036-5036 Cereal grain is an industry product type of cereal grain farming
No TPTP formula. May not be expressible in strict first order. Economy.kif 1720-1720 Coal is an industry product type of coal mining
No TPTP formula. May not be expressible in strict first order. Economy.kif 4781-4781 Concrete is an industry product type of concrete pipe brick and block manufacturing
No TPTP formula. May not be expressible in strict first order. Economy.kif 1733-1733 Copper ore is an industry product type of copper ore mining
No TPTP formula. May not be expressible in strict first order. Economy.kif 5042-5042 Maize grain is an industry product type of corn farming
No TPTP formula. May not be expressible in strict first order. Economy.kif 5089-5089 Cotton is an industry product type of cotton farming
No TPTP formula. May not be expressible in strict first order. Economy.kif 1847-1847 Petroleum is an industry product type of crude petroleum extraction
No TPTP formula. May not be expressible in strict first order. Economy.kif 4610-4610 Electricity is an industry product type of electrical power generation
No TPTP formula. May not be expressible in strict first order. Economy.kif 1890-1890 Fabric is an industry product type of fabric mills
No TPTP formula. May not be expressible in strict first order. Economy.kif 1745-1745 Fertilizer is an industry product type of fertilizer mineral mining
No TPTP formula. May not be expressible in strict first order. Economy.kif 1748-1748 Food for animal is an industry product type of food manufacturing
No TPTP formula. May not be expressible in strict first order. Economy.kif 1753-1753 Shoe is an industry product type of footwear manufacturing
No TPTP formula. May not be expressible in strict first order. Economy.kif 1783-1783 Timber is an industry product type of forestry and logging
No TPTP formula. May not be expressible in strict first order. Economy.kif 5073-5073 Fruit is an industry product type of fruit farming
No TPTP formula. May not be expressible in strict first order. Economy.kif 1760-1760 Furniture is an industry product type of furniture manufacturing
No TPTP formula. May not be expressible in strict first order. Economy.kif 5085-5085 Goat is an industry product type of goat farming
No TPTP formula. May not be expressible in strict first order. Economy.kif 5086-5086 Pork is an industry product type of hog and pig farming
No TPTP formula. May not be expressible in strict first order. Economy.kif 1809-1809 Sand is an industry product type of industrial sand mining

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