| 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 | 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 1601-1601 | 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 1599-1599 | 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 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 | Aircraft is an industry product type of aircraft manufacturing |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1701-1701 | Alumina is an industry product type of alumina refining |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1846-1846 | 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 1705-1705 | Automobile is an industry product type of automobile manufacturing |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6174-6174 | Barley grain is an industry product type of barley farming |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6203-6203 | Cattle is an industry product type of cattle ranching and farming |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1708-1708 | Cement is an industry product type of cement manufacturing |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6156-6156 | Cereal grain is an industry product type of cereal grain farming |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1716-1716 | Coal is an industry product type of coal mining |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5896-5896 | 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 1729-1729 | Copper ore is an industry product type of copper ore mining |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6162-6162 | Maize grain is an industry product type of corn farming |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6209-6209 | Cotton is an industry product type of cotton farming |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1843-1843 | Petroleum is an industry product type of crude petroleum extraction |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5725-5725 | Electricity is an industry product type of electrical power generation |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1886-1886 | Fabric is an industry product type of fabric mills |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1741-1741 | Fertilizer is an industry product type of fertilizer mineral mining |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1744-1744 | Food for animal is an industry product type of food manufacturing |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1749-1749 | Shoe is an industry product type of footwear manufacturing |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1779-1779 | Timber is an industry product type of forestry and logging |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6193-6193 | Fruit is an industry product type of fruit farming |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1756-1756 | Furniture is an industry product type of furniture manufacturing |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6205-6205 | Goat is an industry product type of goat farming |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6206-6206 | Pork is an industry product type of hog and pig farming |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1805-1805 | 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