IndustrialSupply
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5784-5789 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5783-5783 | Industrial supply is a subattribute of mean of production |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5792-5792 | Industrial machinery and equipment wholesalers is internally related to industrial supply |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5791-5791 | Industrial machinery manufacturing is internally related to industrial supply |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5793-5793 | Machinery equipment and supplies wholesalers is internally related to industrial supply |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5795-5795 | Machinery is a subattribute of industrial supply |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29881-29881 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29880-29880 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29879-29879 |