No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5771-5771 |
Industrial raw material is a subattribute of mean of production |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5783-5783 |
Industrial supply is a subattribute of mean of production |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36647-36647 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36646-36646 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36645-36645 |
|