No TPTP formula. May not be expressible in strict first order. | Economy.kif 5572-5572 | WoodenArtifact e' uma sub-classe de WoodProduct |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5580-5580 | OakWoodArtifact e' uma sub-classe de WoodenArtifact |