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 1728-1730
No TPTP formula. May not be expressible in strict first order. Economy.kif 1725-1725 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 1726-1726 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 1724-1724 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 29928-29928
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29927-29927
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29926-29926

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1758-1764
No TPTP formula. May not be expressible in strict first order. Economy.kif 1732-1742

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1823-1823 Aircraft is an industry product type of aircraft manufacturing
No TPTP formula. May not be expressible in strict first order. Economy.kif 1826-1826 Alumina is an industry product type of alumina refining
No TPTP formula. May not be expressible in strict first order. Economy.kif 1971-1971 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 1830-1830 Automobile is an industry product type of automobile manufacturing
No TPTP formula. May not be expressible in strict first order. Economy.kif 6572-6572 Barley grain is an industry product type of barley farming
No TPTP formula. May not be expressible in strict first order. Economy.kif 6601-6601 Cattle is an industry product type of cattle ranching and farming
No TPTP formula. May not be expressible in strict first order. Economy.kif 1833-1833 Cement is an industry product type of cement manufacturing
No TPTP formula. May not be expressible in strict first order. Economy.kif 6554-6554 Cereal grain is an industry product type of cereal grain farming
No TPTP formula. May not be expressible in strict first order. Economy.kif 1841-1841 Coal is an industry product type of coal mining
No TPTP formula. May not be expressible in strict first order. Economy.kif 6294-6294 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 1854-1854 Copper ore is an industry product type of copper ore mining
No TPTP formula. May not be expressible in strict first order. Economy.kif 6560-6560 Maize grain is an industry product type of corn farming
No TPTP formula. May not be expressible in strict first order. Economy.kif 6607-6607 Cotton is an industry product type of cotton farming
No TPTP formula. May not be expressible in strict first order. Economy.kif 1968-1968 Petroleum is an industry product type of crude petroleum extraction
No TPTP formula. May not be expressible in strict first order. Economy.kif 6067-6067 Electricity is an industry product type of electrical power generation
No TPTP formula. May not be expressible in strict first order. Economy.kif 2011-2011 Fabric is an industry product type of fabric mills
No TPTP formula. May not be expressible in strict first order. Economy.kif 1866-1866 Fertilizer is an industry product type of fertilizer mineral mining
No TPTP formula. May not be expressible in strict first order. Economy.kif 1869-1869 Food for animal is an industry product type of food manufacturing
No TPTP formula. May not be expressible in strict first order. Economy.kif 1874-1874 Shoe is an industry product type of footwear manufacturing
No TPTP formula. May not be expressible in strict first order. Economy.kif 1904-1904 Timber is an industry product type of forestry and logging
No TPTP formula. May not be expressible in strict first order. Economy.kif 6591-6591 Fruit is an industry product type of fruit farming
No TPTP formula. May not be expressible in strict first order. Economy.kif 1881-1881 Furniture is an industry product type of furniture manufacturing
No TPTP formula. May not be expressible in strict first order. Economy.kif 6603-6603 Goat is an industry product type of goat farming
No TPTP formula. May not be expressible in strict first order. Economy.kif 6604-6604 Pork is an industry product type of hog and pig farming
No TPTP formula. May not be expressible in strict first order. Economy.kif 1930-1930 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