| 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 29845-29845 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29844-29844 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29843-29843 |
| 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