No TPTP formula. May not be expressible in strict first order. |
Economy.kif 774-777 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10574-10574 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10575-10575 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10571-10571 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10573-10573 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9922-9922 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 771-771 |
CapitalistEconomy est une instance de EconomicSystemAttribute |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 772-772 |
CapitalistEconomy est un sous-attribut de PrivateEnterpriseEconomy |