No TPTP formula. May not be expressible in strict first order. | Economy.kif 5572-5572 | WoodenArtifact est une sous-classe de WoodProduct |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5580-5580 | OakWoodArtifact est une sous-classe de WoodenArtifact |
![]() |