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 1614-1616
No TPTP formula. May not be expressible in strict first order. Economy.kif 1611-1611 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 1612-1612 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 1610-1610 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 29904-29904
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29903-29903
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29902-29902

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1644-1650
No TPTP formula. May not be expressible in strict first order. Economy.kif 1618-1628

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1709-1709 Aircraft is an industry product type of aircraft manufacturing
No TPTP formula. May not be expressible in strict first order. Economy.kif 1712-1712 Alumina is an industry product type of alumina refining
No TPTP formula. May not be expressible in strict first order. Economy.kif 1857-1857 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 1716-1716 Automobile is an industry product type of automobile manufacturing
No TPTP formula. May not be expressible in strict first order. Economy.kif 5215-5215 Barley grain is an industry product type of barley farming
No TPTP formula. May not be expressible in strict first order. Economy.kif 5244-5244 Cattle is an industry product type of cattle ranching and farming
No TPTP formula. May not be expressible in strict first order. Economy.kif 1719-1719 Cement is an industry product type of cement manufacturing
No TPTP formula. May not be expressible in strict first order. Economy.kif 5197-5197 Cereal grain is an industry product type of cereal grain farming
No TPTP formula. May not be expressible in strict first order. Economy.kif 1727-1727 Coal is an industry product type of coal mining
No TPTP formula. May not be expressible in strict first order. Economy.kif 4939-4939 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 1740-1740 Copper ore is an industry product type of copper ore mining
No TPTP formula. May not be expressible in strict first order. Economy.kif 5203-5203 Maize grain is an industry product type of corn farming
No TPTP formula. May not be expressible in strict first order. Economy.kif 5250-5250 Cotton is an industry product type of cotton farming
No TPTP formula. May not be expressible in strict first order. Economy.kif 1854-1854 Petroleum is an industry product type of crude petroleum extraction
No TPTP formula. May not be expressible in strict first order. Economy.kif 4768-4768 Electricity is an industry product type of electrical power generation
No TPTP formula. May not be expressible in strict first order. Economy.kif 1897-1897 Fabric is an industry product type of fabric mills
No TPTP formula. May not be expressible in strict first order. Economy.kif 1752-1752 Fertilizer is an industry product type of fertilizer mineral mining
No TPTP formula. May not be expressible in strict first order. Economy.kif 1755-1755 Food for animal is an industry product type of food manufacturing
No TPTP formula. May not be expressible in strict first order. Economy.kif 1760-1760 Shoe is an industry product type of footwear manufacturing
No TPTP formula. May not be expressible in strict first order. Economy.kif 1790-1790 Timber is an industry product type of forestry and logging
No TPTP formula. May not be expressible in strict first order. Economy.kif 5234-5234 Fruit is an industry product type of fruit farming
No TPTP formula. May not be expressible in strict first order. Economy.kif 1767-1767 Furniture is an industry product type of furniture manufacturing
No TPTP formula. May not be expressible in strict first order. Economy.kif 5246-5246 Goat is an industry product type of goat farming
No TPTP formula. May not be expressible in strict first order. Economy.kif 5247-5247 Pork is an industry product type of hog and pig farming
No TPTP formula. May not be expressible in strict first order. Economy.kif 1816-1816 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 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