| 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